amai2012
|
335c5a9c5a
|
Merge pull request #785 from bartlomiejgrzeskowiak/master
#7428 assigned enhancement
|
2016-04-14 23:15:53 +02:00 |
Bartlomiej Grzeskowiak
|
7e020e1d92
|
- fix for #7428 false negative: Statement is always false
|
2016-04-14 14:50:08 +02:00 |
Roberto Martelloni
|
e89cd1b8a4
|
CWE mapping of unsafeClassCanLeak, zerodivcond, invalidPointerCast, redundantCopy, redundantAssignment, comparisonFunctionIsAlwaysTrueOrFalse, checkCastIntToCharAndBack, cstyleCast, passedByValue, clarifyCondition, exceptThrowInDestructor, exceptDeallocThrow, exceptRethrowCopy, catchExceptionByValue, fflushOnInputStream, seekOnAppendedFile, publicAllocationError
CWE mapping of unsafeClassCanLeak, zerodivcond, invalidPointerCast, redundantCopy, redundantAssignment, comparisonFunctionIsAlwaysTrueOrFalse, checkCastIntToCharAndBack, cstyleCast, passedByValue, clarifyCondition, exceptThrowInDestructor, exceptDeallocThrow, exceptRethrowCopy, catchExceptionByValue, fflushOnInputStream, seekOnAppendedFile, publicAllocationError
|
2016-04-12 19:29:40 +02:00 |
Daniel Marjamäki
|
529c853d84
|
Makefile: Set debug mode
|
2016-04-08 20:49:18 +02:00 |
Daniel Marjamäki
|
f0b9d5c216
|
1.73: Update Makefile for release
|
2016-04-08 20:47:43 +02:00 |
Daniel Marjamäki
|
b6d3aefba6
|
1.73: Set versions
|
2016-04-08 20:46:59 +02:00 |
Daniel Marjamäki
|
00cc0e0955
|
Update AUTHORS
|
2016-04-08 20:42:48 +02:00 |
Matthias Krüger
|
b42feb7b88
|
fix testrunner (sample was not updated in f5e8a72dc2 ).
|
2016-04-08 12:09:16 +02:00 |
amai2012
|
f5e8a72dc2
|
#7438 Incorrect alloca() avoidance suggestion
|
2016-04-08 11:21:53 +02:00 |
amai2012
|
9f4d4bdde7
|
#6167 Refactoring: rename test functions. Rename TestTokenizer::removeCast*. TestTokenizer::varid* doesn't exist (anymore?).
|
2016-03-27 17:36:07 +02:00 |
Robert Reif
|
47634a0ada
|
Fixed #7420 ((debug) Executable scope 'foo' with unknown function.)
|
2016-03-22 14:10:20 +01:00 |
Daniel Marjamäki
|
ac8341e3de
|
keep type suffixes after constant folding using bit operations
|
2016-03-21 21:20:02 +01:00 |
Daniel Marjamäki
|
4e4873772d
|
Fixed #7395 (ValueType: Result type of assignment operators)
|
2016-03-21 19:51:09 +01:00 |
PKEuS
|
19c0bccfee
|
Ran lupdate gui.pro, updated german translation
|
2016-03-20 10:34:55 +01:00 |
Daniel Marjamäki
|
072120d19f
|
TemplateSimplifier::templateParameters: Handling r-value arguments
|
2016-03-18 11:09:41 +01:00 |
Robert Reif
|
100c4276ea
|
Fixed #7424 (value type: wrong sign)
|
2016-03-18 10:30:57 +01:00 |
amai2012
|
ea889acfdc
|
Merge pull request #782 from JIghtuse/htmlreport_tweaks
htmlreport tweaks and enhancements
|
2016-03-13 19:39:33 +01:00 |
Boris Egorov
|
cbb4b1bb22
|
htmlreport: Add checkboxes to toggle error visibility by id
|
2016-03-11 11:20:44 +06:00 |
Boris Egorov
|
e4f81ba755
|
htmlreport: Few style fixes
* Fix wrong indentation
* Use single quotes for consistency
* It is fine to substitute %s with empty str
|
2016-03-11 11:12:52 +06:00 |
Boris Egorov
|
ab75b047b0
|
htmlreport: Do not recalculate stat counters
|
2016-03-11 10:55:35 +06:00 |
Dmitry-Me
|
2b1ff6df28
|
Merge pull request #781 from Dmitry-Me/mutuallyExclusiveConditions
These conditions are mutually exclusive
|
2016-03-03 22:09:04 +03:00 |
Dmitry-Me
|
12a5f2509b
|
These conditions are mutually exclusive
|
2016-03-03 18:01:15 +03:00 |
Dmitry-Me
|
180e46ff21
|
Merge pull request #780 from Dmitry-Me/reduceVariableScope5
Reduce variable lifetime
|
2016-03-03 07:57:51 +03:00 |
Dmitry-Me
|
3bcd0e0535
|
Reduce variable lifetime
|
2016-03-02 19:07:20 +03:00 |
amai2012
|
9700dfead0
|
Testcase succeeds on Win32-VC-32bit, only 64bit needs to be fixed.
|
2016-03-01 22:32:27 +01:00 |
Daniel Marjamäki
|
253bfe432c
|
Fixed #7410 (Tokenizer: function pointer with throw())
|
2016-02-29 08:02:02 +01:00 |
Daniel Marjamäki
|
c5c376513b
|
Fixed #7102 (Preprocessor: skip __cplusplus sections in headers when .c file is checked)
|
2016-02-29 07:34:06 +01:00 |
Matthias Krüger
|
542d610d4e
|
htmlreport: add support for CWE ids
|
2016-02-28 10:08:54 +01:00 |
Alexander Mai
|
0533d7bf9c
|
Run astyle + minor refactoring
|
2016-02-27 16:03:50 +01:00 |
PKEuS
|
1db36c3b83
|
Merge pull request #779 from boos/cwe-mapping-1
Mapped various errors, warnings, styles, etc to their CWEs ID
|
2016-02-27 08:23:05 +01:00 |
Roberto Martelloni
|
d3645d874e
|
Mapped toomanyconfigs ,AssignmentAddressToInteger
,AssignmentIntegerToAddress ,CastIntegerToAddressAtReturn
,CastAddressToIntegerAtReturn ,assertWithSideEffect ,assignmentInAssert
,uselessAssignmentArg ,uselessAssignmentPtrArg
,comparisonOfFuncReturningBoolError
,comparisonOfTwoFuncsReturningBoolError ,comparisonOfBoolWithBoolError
,incrementboolean ,comparisonOfBoolWithInt ,compareBoolExpressionWithInt
,negativeIndex ,pointerOutOfBounds ,arrayIndexThenCheck
,possibleBufferAccessOutOfBounds ,argumentSize
,arrayIndexOutOfBoundsCond ,noConstructor ,copyCtorPointerCopying
,noCopyConstructor ,uninitMemberVar ,operatorEqVarError
,unusedPrivateFunction ,memsetClassFloat ,mallocOnClassWarning
,operatorEq ,thisSubtraction ,operatorEqRetRefThis ,operatorEqToSelf
,useInitializationList ,duplInheritedMember ,assignIfError
,comparisonError ,multiCondition ,mismatchingBitAnd
,oppositeInnerCondition ,incorrectLogicOperator ,redundantCondition
,moduloAlwaysTrueFalse to their CWEs ids.
|
2016-02-26 23:53:52 +00:00 |
PKEuS
|
6409f0acb5
|
Merge pull request #778 from HeisSpiter/master
windows.cfg: Add CoTaskMemAlloc() and CoTaskMemFree() functions
|
2016-02-20 22:05:01 +01:00 |
Pierre Schweitzer
|
ade7138358
|
windows.cfg: Add CoTaskMemAlloc() and CoTaskMemFree() functions
|
2016-02-20 21:44:03 +01:00 |
Alexander Mai
|
41dee7f970
|
#7399 CMake error: Cannot specify link libraries for target 'testrunner' (reported by user dbuchholz). Add comment to mathlib.h
|
2016-02-19 21:40:31 +01:00 |
Alexander Mai
|
5c2960713f
|
Correct false positives compareBoolExpressionWithInt (0U)
|
2016-02-19 21:38:54 +01:00 |
Robert Reif
|
0fc59d0228
|
#7069 False positive invalidPrintfArgType_uint - %lu with 0ul
|
2016-02-19 10:12:47 +01:00 |
Daniel Marjamäki
|
648d492f94
|
daca2: don't skip insighttoolkit, it does not hang as far as I see.
|
2016-02-15 16:56:23 +01:00 |
Daniel Marjamäki
|
d964825c9f
|
ValueType: Add debug output that is shown when --verbose is used
|
2016-02-15 16:18:24 +01:00 |
Daniel Marjamäki
|
1c5eaf8cf9
|
TestSimplifyTemplate: fix syntax /classname/class/
|
2016-02-14 13:32:58 +01:00 |
Alexander Mai
|
17bb07d522
|
#6913 max-configs=1 buggs out includefile resolving in case of circular dependency. Use simplified paths for internal list of includes parsed already
|
2016-02-14 11:51:18 +01:00 |
Daniel Marjamäki
|
a892e6eddc
|
daca2: do not skip boost
|
2016-02-12 12:08:39 +01:00 |
Daniel Marjamäki
|
6c324013e7
|
Use MAXTIME in templatesimplifier
|
2016-02-12 12:05:32 +01:00 |
Daniel Marjamäki
|
087b233ffd
|
Daca2: don't skip flite anymore. Analysis without MAXTIME is still very slow.
|
2016-02-11 16:16:09 +01:00 |
Daniel Marjamäki
|
cef6b35bb8
|
Improve MAXTIME handling
|
2016-02-11 16:10:52 +01:00 |
Dmitry-Me
|
1f27c4b76b
|
Merge pull request #771 from Dmitry-Me/charUsedAsArrayIndex
Portability warning when 'char' type is used as array index
|
2016-02-10 20:11:38 +03:00 |
Daniel Marjamäki
|
3da997e163
|
astyle formatting
[ci skip]
|
2016-02-08 10:44:04 +01:00 |
Daniel Marjamäki
|
1ab5805d98
|
Fixed #6616 (valueFlowForward: for loop, variable in 3rd expression is changed in loop body)
|
2016-02-08 10:43:41 +01:00 |
Daniel Marjamäki
|
ec9facb701
|
rundaca: allow that start folder is set on command line, can be used when restarting daca2.
|
2016-02-08 09:28:02 +01:00 |
Dmitry-Me
|
c3399493ef
|
Portability warning when 'char' type is used as array index
|
2016-02-08 10:08:35 +03:00 |
Daniel Marjamäki
|
c63d5cb1ae
|
CheckLeakAutoVar: fix in VarInfo::erase for referenced.
|
2016-02-07 19:54:32 +01:00 |