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 |
|
Daniel Marjamäki
|
ab3614b4e2
|
Bug hunting; Improved debug output for structs
|
2020-12-14 12:32:39 +01:00 |
|
Daniel Marjamäki
|
bf951ea5e6
|
Bug hunting; Fix for '*x=y'
|
2020-12-13 19:54:57 +01:00 |
|
Georgy Komarov
|
38a055d2f3
|
ExprEngine: Better debug output for exceptions (#2943)
|
2020-12-13 16:54:22 +01:00 |
|
Daniel Marjamäki
|
8f71e62fd6
|
Fix Cppcheck warning
|
2020-12-13 16:47:50 +01:00 |
|
Georgy Komarov
|
36ab23f1f7
|
ExprEngine: Handle pointers to struct as function argument (#2945)
|
2020-12-13 16:02:35 +01:00 |
|
Daniel Marjamäki
|
81c3ac738d
|
CI: Fix testrunner
|
2020-12-13 15:51:20 +01:00 |
|
Daniel Marjamäki
|
6fb1a81eae
|
Bug hunting; more debug output
|
2020-12-13 14:05:35 +01:00 |
|
Daniel Marjamäki
|
b18dc0fdbb
|
Bug hunting: Handle not better
|
2020-12-13 13:00:04 +01:00 |
|
Daniel Marjamäki
|
0ccc5c695b
|
Bug hunting: prevent recursion in analysis when code calls self
|
2020-12-13 09:33:40 +01:00 |
|
Daniel Marjamäki
|
be16b2c276
|
Bug hunting; better handling of early return
|
2020-12-13 09:13:26 +01:00 |
|
Daniel Marjamäki
|
2e96cc932d
|
ExprEngine; Improved debug output, show constraints.
|
2020-12-12 21:23:38 +01:00 |
|
Daniel Marjamäki
|
a7fb946ab8
|
ExprEngine: Clarify debug output a bit
|
2020-12-12 18:29:17 +01:00 |
|
Daniel Marjamäki
|
cba8b99095
|
ExprEngine: Catch and handle exceptions in ExprData
|
2020-12-12 17:33:21 +01:00 |
|
Daniel Marjamäki
|
d0f700305c
|
ExprEngine: Avoid analyzing unreachable execution paths
|
2020-12-12 15:22:49 +01:00 |
|
Daniel Marjamäki
|
6d7ddde1b5
|
Bug hunting; Make bughuntingUninit check a bit less noisy about const parameters
|
2020-12-08 13:34:46 +01:00 |
|
Daniel Marjamäki
|
02bb14003b
|
Bug hunting; better handling of struct member assignment in for loop
|
2020-12-07 19:58:19 +01:00 |
|
Daniel Marjamäki
|
39a9350f6e
|
Bug hunting: Better analysis of BailoutValue
|
2020-12-07 06:27:14 +01:00 |
|
Daniel Marjamäki
|
7e9cbda2d5
|
Revert "2"
This reverts commit db386b2a7f.
That commit was half-done and not intended to be merged.
|
2020-12-06 22:29:46 +01:00 |
|
Daniel Marjamäki
|
db386b2a7f
|
2
|
2020-12-06 21:45:48 +01:00 |
|
Daniel Marjamäki
|
d12732adfb
|
Bug hunting; Diagnose array index out of bounds when struct member is accessed
|
2020-12-06 17:44:07 +01:00 |
|
Daniel Marjamäki
|
3bf758a04b
|
Bug hunting; Ensure there is warning after unknown variable expression
|
2020-12-06 10:13:10 +01:00 |
|
Daniel Marjamäki
|
7324722dab
|
Bug hunting; Detect array index out of bounds in loop better
|
2020-12-05 20:39:54 +01:00 |
|
Daniel Marjamäki
|
86ceafa870
|
Fixed compiler warning; missing enum case in switch
|
2020-12-05 13:02:43 +01:00 |
|
Daniel Marjamäki
|
da4cd6a4f4
|
Bug hunting; Improved buffer overflow check
|
2020-12-05 11:47:57 +01:00 |
|
Daniel Marjamäki
|
65721dd7a9
|
Bug hunting; Better handling of constant
|
2020-10-08 17:24:35 +02:00 |
|
Daniel Marjamäki
|
b052843655
|
exprengine: Use and tweak ExprEngine::ArrayValue::MAXSIZE
|
2020-10-04 11:21:13 +02:00 |
|
Daniel Marjamäki
|
d60520137c
|
ExprEngine: Refactoring
|
2020-09-10 08:02:15 +02:00 |
|
Daniel Marjamäki
|
7c8c0ef3a2
|
Bug hunting: Avoid uninit struct member false positives
|
2020-09-09 18:26:04 +02:00 |
|
Daniel Marjamäki
|
b0b31feadd
|
fix ubsan errors
|
2020-09-05 21:09:11 +02:00 |
|
Daniel Marjamäki
|
6277eece67
|
Variable contracts
|
2020-08-24 20:57:49 +02:00 |