Philipp Kloke
|
32923b7ac5
|
Refactorization: Fixed a couple of compiler warnings about reusing variable names
|
2020-05-19 08:35:12 +02:00 |
PKEuS
|
793ed68029
|
Refactorization: Moved code from header to source
- from utils.h to new utils.cpp
- from token.h to token.cpp
- from valueflow.h to valueflow.cpp
- from errorlogger.h to errorlogger.cpp
|
2020-05-19 08:35:12 +02:00 |
Daniel Marjamäki
|
65e9f6210c
|
CLI: Tweak execution of python addons
|
2020-05-19 08:14:56 +02:00 |
Daniel Marjamäki
|
259724d6e3
|
astyle formatting
[ci skip]
|
2020-05-18 19:53:35 +02:00 |
shaneasd
|
7bfd686f04
|
Fix #9700 duplicateBranch false positive from missing scope operator :: in ast (#2646)
|
2020-05-18 19:31:13 +02:00 |
Daniel Marjamäki
|
f6f489ea49
|
Try to make AppVeyor happy
|
2020-05-18 09:51:47 +02:00 |
Daniel Marjamäki
|
aa7a4b8372
|
Try to make AppVeyor happy
|
2020-05-18 08:24:17 +02:00 |
Daniel Marjamäki
|
a0f2fda53a
|
Addons: If normal python fails, try 'python'
|
2020-05-18 07:44:46 +02:00 |
Daniel Marjamäki
|
2ef538c171
|
Tweak paths when executing addons in Cppcheck
|
2020-05-17 21:45:37 +02:00 |
Daniel Marjamäki
|
9eda399323
|
Less strict unknownMacro
|
2020-05-17 19:12:16 +02:00 |
Daniel Marjamäki
|
547d1b158e
|
Fixed #9723 (GUI: inline suppressions does not work for addons)
|
2020-05-17 16:50:13 +02:00 |
Daniel Marjamäki
|
871cf379d5
|
ExprData: Better handling of ternary operator
|
2020-05-15 21:34:52 +02:00 |
Daniel Marjamäki
|
76f4fae806
|
Bug hunting; Started to activate some itc tests for uninitialized variables
|
2020-05-15 20:58:33 +02:00 |
Daniel Marjamäki
|
57e9036186
|
Cppcheck --addon command should use python3 by default. It can be overridden if needed.
|
2020-05-15 14:33:35 +02:00 |
Daniel Marjamäki
|
e508950f4f
|
ExprEngine; Activate bug hunting analysis for uninitialized variables/data. This analysis is pretty experimental right now.
|
2020-05-15 11:25:56 +02:00 |
Daniel Marjamäki
|
275c8e84d2
|
Set development version 2.0.99
|
2020-05-15 11:15:34 +02:00 |
versat
|
2fd2edd3f9
|
astyle formatting
[ci skip]
|
2020-05-14 18:18:14 +02:00 |
Oliver Stöneberg
|
a0317477c9
|
utils.h: avoid unnecessary string creation in isStringCharLiteral() (#2638)
* utils.h: avoid unnecessary string creation in isStringCharLiteral()
reduces Ir from 541 to 63 in a test
* dmake
|
2020-05-14 14:45:35 +02:00 |
Paul Fultz II
|
d123279fc1
|
Fix issue 9709: ValueFlow: variable value is not known (#2643)
|
2020-05-14 14:10:32 +02:00 |
Daniel Marjamäki
|
0799d74071
|
Tweak Z3 version checks
|
2020-05-12 17:01:16 +02:00 |
Daniel Marjamäki
|
3e650c311b
|
Remove NEW_Z3 macro
|
2020-05-12 16:57:07 +02:00 |
Daniel Marjamäki
|
046f8eb6c6
|
ExprEngine: improved handling when lhs/rhs for && has unknown value
|
2020-05-10 22:50:23 +02:00 |
Oliver Stöneberg
|
e0e50139cb
|
cleaned up includes based on include-what-you-use (#2632)
* cleaned up includes based on include-what-you-use
* token.cpp: fixed -Wextra-semi-stmt warning
|
2020-05-10 16:45:45 +02:00 |
Daniel Marjamäki
|
dc32f428ff
|
Set Cppcheck version
|
2020-05-10 11:28:31 +02:00 |
Daniel Marjamäki
|
08ddd84780
|
Update copyright year
|
2020-05-10 11:16:32 +02:00 |
Daniel Marjamäki
|
3e0218299b
|
Revert "Update copyright year"
This reverts commit 6eec6c4bd5 .
|
2020-05-10 11:13:05 +02:00 |
Daniel Marjamäki
|
6eec6c4bd5
|
Update copyright year
|
2020-05-10 11:11:34 +02:00 |
Daniel Marjamäki
|
137f262300
|
Fix Token::isImpossibleIntValue
|
2020-05-09 10:30:19 +02:00 |
Daniel Marjamäki
|
d4169f04d5
|
Bug hunting; Avoid false warnings for impossible values
|
2020-05-08 17:42:56 +02:00 |
Daniel Marjamäki
|
ab8bf81f03
|
ValueFlow: Try to clarify debug output for impossible values
|
2020-05-08 16:13:55 +02:00 |
Daniel Marjamäki
|
02d88cb191
|
Travis: Run TestExprEngine tests
|
2020-05-08 12:21:22 +02:00 |
Daniel Marjamäki
|
4779cb124e
|
Fixed #9649 (False positive: uninitialized struct member)
|
2020-05-07 22:27:18 +02:00 |
Daniel Marjamäki
|
00d1091506
|
Tokenizer: operator handling, fix tests
|
2020-05-04 23:00:51 +02:00 |
Daniel Marjamäki
|
06cb0e99d1
|
Tokenizer: Fix syntax error when operator* is called
|
2020-05-04 21:33:30 +02:00 |
Daniel Marjamäki
|
8c57055a0b
|
Try to make Travis happy
|
2020-05-03 20:46:29 +02:00 |
Daniel Marjamäki
|
b5094f298a
|
Bug hunting; Add new 'incomplete' flag for error messages. Used when analysis is incomplete.
|
2020-05-03 17:20:38 +02:00 |
Daniel Marjamäki
|
4c63940902
|
Add bug hunting test case for CVE-2019-7156
|
2020-05-02 22:22:31 +02:00 |
Daniel Marjamäki
|
5eeeba97eb
|
SymbolDatabase: Better handling of function pointer function argument
|
2020-05-02 17:04:54 +02:00 |
Daniel Marjamäki
|
56abbc1d42
|
Fixed segmentation faults
|
2020-05-01 18:10:18 +02:00 |
Daniel Marjamäki
|
34572a40ab
|
Bug hunting: Fixed handling of switch 'case %char%'
|
2020-05-01 15:15:24 +02:00 |
Daniel Marjamäki
|
999ef06156
|
ExprEngine: Try to handle function with unknown type better
|
2020-04-30 22:10:30 +02:00 |
Daniel Marjamäki
|
b27fabaacb
|
Refactoring ExprEngine
|
2020-04-30 21:49:27 +02:00 |
Daniel Marjamäki
|
b97250e0fa
|
ExprEngine; Try to handle assignments better
|
2020-04-30 21:05:34 +02:00 |
Daniel Marjamäki
|
5a9e81897a
|
ExprEngine: Document how it works
|
2020-04-30 12:18:49 +02:00 |
Daniel Marjamäki
|
e30eabc896
|
ExprEngine: Fail to execute contract => write error message
|
2020-04-29 18:30:12 +02:00 |
Daniel Marjamäki
|
daea5e2d6c
|
Bug hunting: Do not warn about 'Division by zero' when variable is uninitialized
|
2020-04-29 11:00:33 +02:00 |
Daniel Marjamäki
|
5d67fd0e56
|
Bug hunting: Set 'inconclusive' flag for bailout values
|
2020-04-29 10:58:01 +02:00 |
Daniel Marjamäki
|
3eb19a64cb
|
Removed inline suppression, it was not a FP, use #ifdef differently
|
2020-04-28 22:29:16 +02:00 |
Daniel Marjamäki
|
13e79fdeb6
|
Temporary inline suppression to hide false positive
|
2020-04-28 22:21:07 +02:00 |
Daniel Marjamäki
|
249a101ec2
|
Travis: Fix naming
|
2020-04-28 22:18:02 +02:00 |