7ab22c7176
ExprEngine: Use smt solver Z3
2019-10-02 17:59:04 +02:00
4ba00d0694
Fix #9381 (alias in namespace not replaced in method declaration) ( #2232 )
2019-10-02 08:11:04 +02:00
87ece5856a
Fix Cppcheck internal warning
2019-10-01 21:37:43 +02:00
cf965b72b5
SymbolDatabase: look for functions in anonymous namespaces in the findFunction
2019-10-01 19:09:34 +02:00
07b337c580
Removed extra zero division heuristics, they seem redundant as ValueType is used
2019-10-01 17:33:58 +02:00
e51f75ca40
wxwidgets.cfg: Added support for more interfaces, found by daca@home.
2019-10-01 08:43:17 +02:00
f05e21efa8
Formatted the code, there are no functional changes [ci skip].
2019-10-01 08:39:08 +02:00
35e0dd9372
wxwidgets.cfg: Added support for functions from <wx/stopwatch.h>
2019-10-01 08:38:16 +02:00
166bd2bafc
Fix issue 2153: valueFlowAfterCondition: struct member ( #2228 )
...
* Fix issue 2153: valueFlowAfterCondition: struct member
* Fix null pointer dereference
* Formatting
* Check for another null pointer
* Initialize variables
* Remove redundant condition
* Format
* Add missing initialization to copy constructor
* Format
2019-09-30 21:04:43 +02:00
b4af8bdc2e
Typos found by running "codespell" ( #2227 )
2019-09-29 21:23:19 +02:00
1ccc303602
ExprEngine: Simplify array value if possible, ensure each array data has a unique name
2019-09-29 21:20:57 +02:00
03ff32993e
Fixed Cppcheck warning
2019-09-29 17:32:26 +02:00
1979b64170
ExprEngine: Bailout when for|while|switch is seen
2019-09-29 17:28:12 +02:00
eb8908cd3e
PodType: Add test
2019-09-29 17:02:14 +02:00
69a54b0ee9
Library: added 'stdtype' attribute in <podtype> element so we can configure standard types better
2019-09-29 16:48:25 +02:00
40c3e68e07
ExprEngine: Add --debug-verify, fixed handling of global arrays
2019-09-29 15:00:54 +02:00
60e1cf8b8d
ExprEngine: Fix NULL pointer dereference tests
2019-09-29 08:26:09 +02:00
bf8f96255b
donate-cpu.py: Add internal timing information of Cppcheck to output ( #2217 )
...
* donate-cpu.py: Add internal timing information of Cppcheck to output
The option "--showtime=top5" is added to the Cppcheck command line.
The timing output is collected and only for HEAD it is shown in the new
category "head-timing-info" in the results output.
The timing output is indented with one white space, so even in the
unlikely case that a function is named "head result:" or "diff:" it does
not break the parser in the server.
* donate-cpu.py: Also print the "old" timing information for comparison
2019-09-28 22:09:58 +02:00
2dc477571c
Fix gcc compiler warnings
2019-09-28 20:50:56 +02:00
a09fe763d9
Try to make Travis happy
2019-09-28 20:43:55 +02:00
1fa4df419a
avoid some unnecessary copies in emplace_back() calls ( #2194 )
2019-09-28 20:22:46 +02:00
846f356db4
misra.py: Fix Rule 4.1 ( #2216 )
...
* misra.py: Use standard string module
* misra.py: Fixup R4.1
References:
* https://trac.cppcheck.net/ticket/9370
* https://sourceforge.net/p/cppcheck/discussion/development/thread/7274ed3842/?limit=25#799a
* Add more examples from @matzeschmid PR
* Add more out-of-bounds tests
* Fix R4.1.
* Compress hex condition
* Add more test cases
* Fix python3 zip import
2019-09-28 20:16:10 +02:00
3f587bef65
ExprEngine: Add some CWE476 (Null pointer dereference) checks
2019-09-28 19:28:12 +02:00
1acd78a038
ExprEngine: Translate uninitialized values to value ranges
2019-09-28 16:16:36 +02:00
2e5d663ae9
ExprEngine: Handle void* -> int* casts better
2019-09-28 15:40:00 +02:00
4138bf7fb3
SymbolDatabase: Better handling when return type of function is PodType
2019-09-28 14:57:41 +02:00
6a5b590d7f
wxwidgets.cfg: Added support for more interfaces, found by daca@home.
2019-09-28 14:55:39 +02:00
ec7c774a10
ExprEngine: Adjust the command line in test/verify/juliet.py
2019-09-28 12:10:01 +02:00
4540846325
ExprEngine: Added a testscript that uses the juliet testsuite
2019-09-28 12:00:41 +02:00
f6c0550c41
ExprEngine: Do not bailout if function type is not known if the result is not used anyway
2019-09-28 11:55:06 +02:00
b2239f04ba
ExprEngine: Improve 'division by zero' warning
2019-09-28 11:03:20 +02:00
0de3e76b2d
ExprEngine: Clarify when analysis is aborted
2019-09-28 10:59:28 +02:00
a3cad7fa51
Fix Coverity warning CID 1405837; negative bit shift
2019-09-28 06:34:51 +02:00
6453a85363
Fix the following compilation error on VC142 : ( #2224 )
...
Error C2039 'inserter': is not a member of 'std' cppcheck C:\Users\simon\__Si\git_projects\cppcheck\lib\astutils.cpp 1229
2019-09-28 06:24:32 +02:00
8b8701d078
ExprEngine: Cleanup output when variable declaration and initialization is separated
2019-09-27 21:03:47 +02:00
398cfc1f5a
ExprEngine: Create array value in struct
2019-09-27 18:58:49 +02:00
ff7dba91e1
posix.cfg: Added support for more interfaces, found by daca@home.
2019-09-27 17:07:16 +02:00
2b4fe66908
Try to make Travis happy
2019-09-27 16:13:43 +02:00
4cb9bb53eb
wxwidgets.cfg: Added support for more interfaces.
2019-09-27 16:00:43 +02:00
f7a8075001
ExprEngine: Disable integerOverflow check
2019-09-27 15:07:56 +02:00
7ea8b69235
ExprEngine: Robustness
2019-09-27 14:36:33 +02:00
69016e38bc
ExprEngine: Add a temporary overflow check
2019-09-27 14:20:17 +02:00
8ccbdfe725
ExprEngine: Better output
2019-09-27 13:30:09 +02:00
71aa9a531a
ExprEngine: Create symbolic expression for string arguments
2019-09-27 13:12:16 +02:00
7f64faae99
Virtual Destructors: Base class must have virtual destructor no matter if derived class has a destructor or not. There is UB according to paragraph 3 in [expr.delete].
2019-09-27 09:55:56 +02:00
b823064cce
wxwidgets.cfg: Added support for more interfaces.
2019-09-27 09:15:48 +02:00
db929a57e2
wxwidgets.cfg: Added support for more interfaces.
2019-09-27 09:13:02 +02:00
44add0b46a
gtk.cfg: Added support for more macros found by daca@home
2019-09-27 08:50:28 +02:00
0111b4afdc
Silence unused variable warning ( #2223 )
2019-09-27 08:19:45 +02:00
350363616c
Fix Cppcheck naming convention
2019-09-27 08:17:46 +02:00
Daniel Marjamäki
IOBYTE
orbitcowboy
Paul Fultz II
Armin Müller
Sebastian
Oliver Stöneberg
Georgy Komarov
SimonCornell1
Rikard Falkeborn