Daniel Marjamäki
|
3989408738
|
Update copyright year
|
2022-02-05 11:45:17 +01:00 |
Oliver Stöneberg
|
171da2e6f9
|
avoid dependency on transitive includes - based on include-what-you-use (#3757)
|
2022-01-27 19:03:20 +01:00 |
|
Daniel Marjamäki
|
3524a0a3eb
|
exprengine: reduce max buffer size to int_max
|
2022-01-03 20:55:46 +01:00 |
|
Daniel Marjamäki
|
0cba2962ba
|
exprengine: fix appveyor failure
|
2022-01-03 20:39:15 +01:00 |
|
Daniel Marjamäki
|
d53352b2c2
|
exprengine: use MAX_BUFFER_SIZE constant
|
2022-01-03 19:55:44 +01:00 |
|
Daniel Marjamäki
|
33446d0c75
|
exprengine; add CONTRACT #define so contract-handling can be enabled/disabled
|
2022-01-03 17:10:18 +01:00 |
|
Daniel Marjamäki
|
33305ef4ec
|
exprengine: better checking for uninit variables
|
2022-01-03 12:47:13 +01:00 |
|
Daniel Marjamäki
|
b872639e31
|
fix klocwork warning; pointer is checked and then dereferenced. FN ticket: #10570
|
2021-10-29 19:23:01 +02:00 |
|
Daniel Marjamäki
|
87d1ba4c08
|
klocwork; fixed dereference before check. FN ticket: #10574
|
2021-10-28 17:20:45 +02:00 |
|
Oliver Stöneberg
|
cc1a18806c
|
use -Weverything for clang in CMake / fixed some warnings (#3519)
|
2021-10-24 11:06:48 +02:00 |
chrchr-github
|
05acc13582
|
Shadow variables, const, rename function (#3456)
|
2021-09-15 20:28:58 +02:00 |
Paul Fultz II
|
7f358b2bed
|
Format with uncrustify (#3388)
|
2021-08-07 20:51:18 +02:00 |
|
Daniel Marjamäki
|
9fb33e6a3c
|
Try to solve self check warning to make CI happy
|
2021-07-11 11:37:41 +02:00 |
|
Oliver Stöneberg
|
6397e29f84
|
cleaned up includes based on include-what-you-use (#3141)
|
2021-04-03 21:30:50 +02:00 |
|
Daniel Marjamäki
|
42437277dc
|
Update Copyright year
|
2021-03-21 20:58:32 +01:00 |
PKEuS
|
141d2ac215
|
Refactorization: Improved internal implementation of severity and certainty levels
Backported from LCppC.
|
2021-02-24 22:00:06 +01:00 |
Ken-Patrick Lehrmann
|
56124f0c5d
|
Skip calculateWarningHash if we are not in bugHunting (#3047)
|
2021-01-13 18:38:00 +01:00 |
|
Oliver Stöneberg
|
ac7647fcd8
|
some self-check suppression cleanups (#3032)
|
2021-01-09 20:32:38 +01:00 |
|
Paul Fultz II
|
c267d85640
|
Add generic valueflowBeforeCondition (#3001)
|
2021-01-08 22:55:04 +01:00 |
|
Oliver Stöneberg
|
96704c9971
|
fixed and enabled some more clang-tidy warnings (#3007)
|
2021-01-05 17:51:32 +01:00 |
|
Oliver Stöneberg
|
fbf5858f76
|
fixed and enabled several clang-tidy warnings (#2816)
|
2021-01-02 19:10:25 +01:00 |
Georgy Komarov
|
1c12b4fd78
|
ExprEngine: Handling cases when for condition is always false (#2984)
|
2020-12-26 21:29:50 +01:00 |
|
Oliver Stöneberg
|
fa8a836925
|
fixed some clang warnings (#2980)
|
2020-12-26 13:46:28 +01:00 |
|
Daniel Marjamäki
|
d1139db960
|
astyle formatting
[ci skip]
|
2020-12-22 21:30:15 +01:00 |
|
Daniel Marjamäki
|
e4766c73dc
|
ExprEngine; Use 60s as default maxtime processing a function, the analysis time will be somewhat reasonable
|
2020-12-22 21:09:24 +01:00 |
|
Georgy Komarov
|
259f562e73
|
ExprEngine: Add condition branches for the while loops (#2970)
|
2020-12-22 20:21:57 +01:00 |
|
Daniel Marjamäki
|
a9e7974963
|
ExprEngine: use 'real' instead of 'fpa' values in latest Z3 for floats
|
2020-12-22 18:05:21 +01:00 |
|
Daniel Marjamäki
|
315892d991
|
ExprEngine; add a 'stupid' handling of floating point promotions for integers
|
2020-12-22 17:15:11 +01:00 |
|
Daniel Marjamäki
|
1812951640
|
ExprEngine; Fix problem when float suffix is used
|
2020-12-22 15:17:36 +01:00 |
|
Daniel Marjamäki
|
347fccb207
|
ExprEngine; Avoid overspecified constraints
|
2020-12-22 11:10:01 +01:00 |
|
Georgy Komarov
|
0731df7d2d
|
ExprEngine: Add FP and String literals in determining that condition can (#2969)
|
2020-12-22 09:25:54 +01:00 |
|
Daniel Marjamäki
|
fcb496fb40
|
Fixed compiler error
|
2020-12-22 08:17:14 +01:00 |
|
Daniel Marjamäki
|
f6447cc546
|
ExprEngine; Wrap z3 interface that is not the same in different z3 versions
|
2020-12-22 08:13:40 +01:00 |
|
Daniel Marjamäki
|
c3e798968c
|
ExprEngine; Fix floating point comparison
|
2020-12-21 13:28:10 +01:00 |
|
Georgy Komarov
|
86f1ee5267
|
ExprEngine: Add workarounds for z3 bugs with FP comparisson (#2965)
|
2020-12-21 12:32:26 +01:00 |
|
Daniel Marjamäki
|
5701f6d368
|
ExprEngine: Added ifIntRangeAlwaysFalse and ifIntRangeAlwaysTrue tests
|
2020-12-20 19:04:46 +01:00 |
|
Daniel Marjamäki
|
229e39e7de
|
Revert "ExprEngine: Fixed float value"
This reverts commit 1f9edc6a66.
|
2020-12-20 16:36:22 +01:00 |
|
Daniel Marjamäki
|
40e24cf417
|
Revert "ExprEngine; Try to fix assertion failure for floats"
This reverts commit aaabc74b9f.
|
2020-12-20 16:36:11 +01:00 |
|
Daniel Marjamäki
|
aaabc74b9f
|
ExprEngine; Try to fix assertion failure for floats
|
2020-12-20 16:31:53 +01:00 |
|
Daniel Marjamäki
|
1f9edc6a66
|
ExprEngine: Fixed float value
|
2020-12-20 15:22:11 +01:00 |
|
Daniel Marjamäki
|
1ce5beb45f
|
ExprEngine; refactoring if()
|
2020-12-20 14:51:03 +01:00 |
|
Daniel Marjamäki
|
62a11f6490
|
Bug hunting; Fixed timeout
|
2020-12-18 20:41:10 +01:00 |
|
Daniel Marjamäki
|
1b0ca0811f
|
Bug hunting; option to set function analysis max time
|
2020-12-18 19:59:10 +01:00 |
|
Daniel Marjamäki
|
0b98053790
|
Fixed Cppcheck warning; Redundant assignment
|
2020-12-17 15:29:15 +01:00 |
|
Daniel Marjamäki
|
75f2ab20e8
|
Bug hunting; void* => might point at uninitialized data
|
2020-12-17 07:32:53 +01:00 |
|
Daniel Marjamäki
|
8619bfe957
|
Bug hunting; Remove old value from array when it is overwritten
|
2020-12-16 19:06:20 +01:00 |
|
Daniel Marjamäki
|
ecfabbcdbb
|
Fix Cppcheck warning nullPointerRedundantCheck
|
2020-12-15 07:11:13 +01:00 |
|
Daniel Marjamäki
|
82635417d2
|
Bug hunting; Fixed array init
|
2020-12-14 22:15:10 +01:00 |
|
Daniel Marjamäki
|
4e90356a76
|
Bug hunting; Code cleanup
|
2020-12-14 18:04:12 +01:00 |
|
Daniel Marjamäki
|
116119083b
|
Bug hunting; Better result from function that returns unknown pointer result
|
2020-12-14 17:53:28 +01:00 |