Daniel Marjamäki
|
921997c9e9
|
itc.py; false negative is fixed
|
2020-07-03 17:50:56 +02:00 |
|
Daniel Marjamäki
|
d606eb5ed9
|
Bump simplecpp
|
2020-07-03 11:42:58 +02:00 |
|
Daniel Marjamäki
|
8ab305d3c9
|
Revert "Bump simplecpp"
This reverts commit eec622b515.
|
2020-07-02 21:31:23 +02:00 |
|
Daniel Marjamäki
|
eec622b515
|
Bump simplecpp
|
2020-07-02 18:18:30 +02:00 |
orbitcowboy
|
25055cec62
|
windows.cfg: Added support for SystemParametersInfo()
|
2020-07-02 08:31:27 +02:00 |
|
orbitcowboy
|
cabafca5ae
|
windows.cfg: Added some constants from WinUser.h
|
2020-07-01 16:14:59 +02:00 |
|
orbitcowboy
|
8ab02ed97a
|
std.cfg: Improved bsearch() configuration
|
2020-07-01 15:06:00 +02:00 |
|
orbitcowboy
|
0770a6fe62
|
std.cfg: Added support for std::at_quick_exit()
|
2020-07-01 14:43:17 +02:00 |
|
orbitcowboy
|
27d6b9a57d
|
std.cfg: Formatted comments, there are no functional changes [ci skip]
|
2020-07-01 11:12:22 +02:00 |
|
orbitcowboy
|
4f191e455e
|
wxwidgets.cfg: Added support for more interfaces
|
2020-07-01 11:11:47 +02:00 |
|
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 |
|
orbitcowboy
|
0f20506063
|
wxwidgets.cfg: Added support for more interfaces
|
2020-06-30 10:28:09 +02:00 |
|
orbitcowboy
|
f5d3e6fad1
|
wxwidgets.cfg: Added support for more interfaces
|
2020-06-30 10:21:52 +02:00 |
|
orbitcowboy
|
0bd44995aa
|
wxwidgets.cfg: Added support for more interfaces
|
2020-06-30 10:15:44 +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 |
|
Paul
|
edcf668ae2
|
Update test mesg
|
2020-06-29 10:15:36 -05:00 |
|
orbitcowboy
|
7d9220e96c
|
wxwidgets.cfg: Added support for more interfaces
|
2020-06-29 15:31:03 +02:00 |
|
orbitcowboy
|
7c66dabce1
|
wxwidgets.cfg: Added support for more interfaces
|
2020-06-29 15:25:32 +02: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 |
|
Paul
|
d5b6d49d96
|
Fix issue 9578: false negative: (style) Condition '...' is always false
|
2020-06-28 15:28:08 -05: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
|
e1704f2b50
|
Bug hunting; fix juliet test cases error id
|
2020-06-28 08:16:46 +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 |