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
dffae8f7d9
Try to make Travis happy
2019-09-26 21:43:29 +02:00
371babc322
ExprEngine: Improved handling of structs
2019-09-26 21:35:29 +02:00
f47aaed21e
ExprEngine: Improve output
2019-09-26 21:00:36 +02:00
f1b42fe05c
ExprEngine: Extend output
2019-09-26 20:49:03 +02:00
70059e713a
Format rules files as well
2019-09-26 19:58:39 +02:00
2e1cbbeb14
ExprEngine: Fix output for StructValue
2019-09-26 19:39:30 +02:00
3b63f42515
qt.cfg: Add configurations for functions of class QSqlQuery
...
Reference: https://doc.qt.io/qt-5/qsqlquery.html
2019-09-26 16:20:19 +02:00
d0968a1377
Warn about unknown macro causing template syntax error ( #2222 )
2019-09-26 16:01:01 +02:00
cd816f42eb
ExprEngine: fix code for float comparisons
2019-09-26 12:13:14 +02:00
b55c587ab2
astyle formatting
...
[ci skip]
2019-09-26 10:32:49 +02:00
597d0fa35b
Support expression in valueFlowAfterCondition ( #2219 )
...
* Add valueFlowForwardExpression function to forward values of an expression
* Use token for expression
* Fix name in bailout message
* Handle expressions
* Add more tests for more expressions
* Add more tests
* Solve the expression if possible
* Formatting
2019-09-26 10:32:25 +02:00
4475c4c7e2
template simplifier: fix syntax error ( #2218 )
2019-09-26 10:31:19 +02:00
d7d22f51b7
ExprEngine: Minor output cleanup
2019-09-26 10:07:31 +02:00
c5302d20a3
ExprEngine: ConditionalValues, output symbolic expressions
2019-09-26 10:03:58 +02:00
c2a6053d7f
gtk.cfg: Added support for more interfaces.
2019-09-26 08:24:49 +02:00
aabe3a70e1
bump simplecpp
2019-09-25 20:19:26 +02:00
4dbf006dc7
Fix severity of c++14 shifts with too many bits ( #2213 )
...
For c++14, shifting a variable with a value larger than or equal to the
number of bits in the variable is undefined. Left-shifting with a value
equal to the number of bits of the variable is implementation defined.
See also trac ticket #9306 .
2019-09-25 20:16:04 +02:00
9e76630a4b
ExprEngine: Restructure handling of arrays to handle dynamic buffers better
2019-09-25 18:33:21 +02:00
eac040a00b
Various clang-tidy fixes ( #2192 )
...
* use range loops
* removed redundant string initializations
* use nullptr
* use proper boolean false
* removed unnecessary continue from end of loop
* removed unnecessary c_str() usage
* use emplace_back()
* removed redundant void arguments
2019-09-25 15:25:19 +02:00
ca5f2562fc
Fix false negatives in checkIncrementBoolean ( #2210 )
...
Detect incrementing boolean expressions involving pointer dereferences,
array element accesses, etc.
2019-09-25 13:07:39 +02:00
0fadae78d3
boost.cfg: Add configuration and tests for boost::bind() ( #2206 )
2019-09-25 12:49:05 +02:00
12f93b63a8
template simplifier: fix simplification of "< %num% %comp% %num% >" ( #2214 )
...
* template simplifier: fix simplification of "< %num% %comp% %num% >"
* fix test to not fail on 32 bit platforms
2019-09-25 12:06:29 +02:00
0011fb5a36
ExprEngine: Temporary hardcoding for calloc
2019-09-24 22:22:16 +02:00
7cf8327b31
ExprEngine: Sign extension in truncateValue
2019-09-24 20:31:12 +02:00
0471e74489
ExprEngine: Handle char literals
2019-09-24 20:11:07 +02:00
3b3ff2bb62
misra-test.c: Rule 4.1: Add another compliant test example ( #2212 )
2019-09-24 20:05:57 +02:00
1769af4a6c
ExprEngine: Passing variable address to function
2019-09-24 19:53:33 +02:00
Daniel Marjamäki
SimonCornell1
orbitcowboy
Rikard Falkeborn
amai2012
versat
IOBYTE
Paul Fultz II
Oliver Stöneberg
Tyson Nottingham