Daniel Marjamäki
|
d2b2bae7bf
|
Fixed #7733 (False positive: scope of the variable can be reduced (variable is used in hidden code))
|
2020-07-01 08:24:52 +02:00 |
Daniel Marjamäki
|
f56a17bf3d
|
Fixed #8858 (FP: identicalConditionAfterEarlyExit when there is #if)
|
2020-07-01 07:48:32 +02:00 |
Daniel Marjamäki
|
ddd21a260f
|
Fixed #6978 (False positive: unusedLabel shown for labels that are used in some preprocessor configurations)
|
2020-06-30 18:26:24 +02:00 |
Daniel Marjamäki
|
0583763cc6
|
Fixed #3088 (False positive: Dont report "struct or union member is never used" for structs with __attribute__((packed)) or #pragma pack(push))
|
2020-06-30 11:00:40 +02:00 |
Daniel Marjamäki
|
1567ccf97b
|
Merge pull request #2700 from pfultz2/afterConditionFunction
Extend scope of afterCondition until end of function
|
2020-06-30 08:28:08 +02:00 |
Paul
|
c76c03c711
|
Replace noreturn with macro
|
2020-06-29 15:54:51 -05:00 |
Paul
|
67e06c18a9
|
Use the already available function scope
|
2020-06-29 15:36:01 -05:00 |
Paul
|
a412e3e1f1
|
Mark syntax error functions as noreturn
|
2020-06-29 15:33:25 -05:00 |
Paul
|
600919f624
|
Remove redundant conditions
|
2020-06-29 15:13:06 -05:00 |
Daniel Marjamäki
|
f34ff9325a
|
Fixed testrunner
|
2020-06-29 21:53:14 +02:00 |
Daniel Marjamäki
|
a0770f05e1
|
Reuse 'extractForLoopValues' in ValueFlow
|
2020-06-29 21:01:43 +02:00 |
Paul
|
07d8cb4f01
|
Extend scope of afterCondition until end of function
|
2020-06-29 11:55:59 -05:00 |
Daniel Marjamäki
|
a49d277e0d
|
Fixed #6471 (FP functionConst - member function modifying member variable after cast (inconclusive))
|
2020-06-29 13:09:01 +02:00 |
Daniel Marjamäki
|
5164d87a2e
|
Bug hunting; Fixed false positives for containers
|
2020-06-28 22:49:51 +02:00 |
Daniel Marjamäki
|
b5cd96cbda
|
ExprEngine; Rename variable
|
2020-06-28 21:36:56 +02:00 |
Daniel Marjamäki
|
ad5e4fef1f
|
Bug hunting; improved handling of 'malloc' in uninit checker
|
2020-06-28 21:20:59 +02:00 |
Daniel Marjamäki
|
6c588cc3ef
|
Library: Refactoring <alloc> init attribute
|
2020-06-28 21:01:43 +02:00 |
Daniel Marjamäki
|
0e736e0c29
|
Rename BugHuntingException to ExprEngineException
|
2020-06-28 17:39:14 +02:00 |
Daniel Marjamäki
|
d4bd3016da
|
ExprEngine; Improved handling of for loop, loop variable
|
2020-06-28 17:28:40 +02:00 |
Daniel Marjamäki
|
c42c751d61
|
ExprEngine; Fixed testing
|
2020-06-28 13:41:27 +02:00 |
Daniel Marjamäki
|
f85cdd3f77
|
ExprEngine: DataIndex update to get better debug output
|
2020-06-28 10:52:50 +02:00 |
Daniel Marjamäki
|
bcaf792e30
|
Bug hunting; Fix FP for struct with uninitialized members passed to function in C
|
2020-06-27 22:11:12 +02:00 |
Daniel Marjamäki
|
c7a8f5217f
|
ExprEngine; Fixed Cppcheck warning
|
2020-06-27 21:54:38 +02:00 |
Daniel Marjamäki
|
cd49eb0978
|
Fix Cppcheck warnings
|
2020-06-27 20:59:10 +02:00 |
Daniel Marjamäki
|
d353a4ecba
|
ExprEngine; copy Data => copy arrays
|
2020-06-27 18:09:43 +02:00 |
Daniel Marjamäki
|
e6aa96d90f
|
Bug hunting; Improved uninit checking
|
2020-06-27 14:59:02 +02:00 |
Daniel Marjamäki
|
303cadf99f
|
Bug hunting; Improved uninitData warning when unknown function is not configured
|
2020-06-27 14:29:29 +02:00 |
Daniel Marjamäki
|
e19ef6ac62
|
Bug hunting; Improved uninit checking for function calls with constant parameter
|
2020-06-27 14:15:53 +02:00 |
Daniel Marjamäki
|
d303510c78
|
Use value temp.maxTemplateRecursion
|
2020-06-27 12:57:09 +02:00 |
Daniel Marjamäki
|
ff5a717fc6
|
Bug hunting; Avoid false positives for const parameter data
|
2020-06-27 12:17:11 +02:00 |
Daniel Marjamäki
|
57187ef876
|
ImportProject: Read max template recursion configuration value
|
2020-06-27 10:34:02 +02:00 |
Daniel Marjamäki
|
b09bcdc38c
|
Use ValueFlow for compareBoolExpressionWithInt
|
2020-06-27 08:13:22 +02:00 |
Daniel Marjamäki
|
0352a5d32f
|
astyle formatting
[ci skip]
|
2020-06-27 07:34:48 +02:00 |
Daniel Marjamäki
|
1ad70bbeb8
|
Merge pull request #2697 from pfultz2/unique_lock
Extend mutex checking for more locking patterns
|
2020-06-27 07:32:26 +02:00 |
Daniel Marjamäki
|
c3749625f3
|
Merge pull request #2688 from jpyllman/fix_chklibfunc
not report locally declared functions as missing configuration of --check-library
|
2020-06-27 06:53:09 +02:00 |
Daniel Marjamäki
|
72bdeb9307
|
Merge pull request #2698 from pfultz2/const-param-casts
Fix issue 9778: False positive: constParameter when returning non-const reference cast
|
2020-06-27 06:45:30 +02:00 |
Paul
|
cf475fab51
|
Fix issue 9778: False positive: constParameter when returning non-const reference cast
|
2020-06-26 15:47:59 -05:00 |
Daniel Marjamäki
|
f5ace9ffbe
|
SymbolDatabase; Improved ValueType when container methods items
|
2020-06-26 22:47:28 +02:00 |
Paul
|
82b91869ee
|
Extend mutex checking for more locking patterns
|
2020-06-26 15:06:20 -05:00 |
Daniel Marjamäki
|
c5f9e85ee7
|
GUI: Add configuration for max recursion in template instantiation
|
2020-06-26 17:12:02 +02:00 |
Daniel Marjamäki
|
f569bc79f5
|
Merge pull request #2694 from pfultz2/pch
Add option to disable pch since its broken with ccache
|
2020-06-26 16:45:38 +02:00 |
Daniel Marjamäki
|
98bf0d41aa
|
TemplateSimplifier; Clarify information message when max recursion limit is reached
|
2020-06-26 12:59:40 +02:00 |
Daniel Marjamäki
|
262f44e76a
|
astyle formatting
[ci skip]
|
2020-06-26 12:56:56 +02:00 |
Daniel Marjamäki
|
cb8396aaf8
|
Merge pull request #2696 from pfultz2/getTokenArgumentFunction-ast
Fix issue 9710 and 9767: Use AST to get function from argument
|
2020-06-26 09:50:18 +02:00 |
Paul
|
1bef6ed268
|
Another check for null
|
2020-06-25 19:12:01 -05:00 |
Paul
|
263a0364cc
|
Avoid null pointer dereference
|
2020-06-25 17:23:42 -05:00 |
Paul
|
720d882b69
|
Remove known arg
|
2020-06-25 17:20:20 -05:00 |
Paul
|
60c42b17a6
|
Fix known conditions
|
2020-06-25 15:46:30 -05:00 |
Daniel Marjamäki
|
af6e76d623
|
Fixed #9787 (Better handling of user defined literals)
|
2020-06-25 22:06:34 +02:00 |
Paul
|
1676ad5f45
|
Fix issue 9710 and 9767: Use AST to get function from argument
|
2020-06-25 12:54:46 -05:00 |