Paul Fultz II
|
5e9bc48d26
|
Evaluate symbolic values (#3495)
|
2021-10-11 19:10:37 +02:00 |
|
Paul Fultz II
|
7f358b2bed
|
Format with uncrustify (#3388)
|
2021-08-07 20:51:18 +02:00 |
|
Paul Fultz II
|
08041e3a0b
|
Refactor: Assert an expression has an id and fix assertion failures (#3377)
* Fix 10390: FP: knownConditionTrueFalse
* Assert expression has an ID
* Fix assertion errors
* Format
|
2021-08-03 06:31:52 +02:00 |
|
Paul Fultz II
|
3a7ba3cd29
|
Add symbolic values to ValueFlow (#3367)
|
2021-07-30 21:29:35 +02:00 |
|
Paul Fultz II
|
59a1c1a9d8
|
Refactor: Remove variable analyzer (#3339)
|
2021-07-18 07:46:31 +02:00 |
|
Paul Fultz II
|
f3a33ea330
|
Fix 10294: ValueFlow: Wrong <Uninit> value below loop (#3291)
|
2021-06-09 09:20:43 +02:00 |
|
Paul Fultz II
|
b23c5aa742
|
Fix 10023: ValueFlow; Wrong result of post-increment in reverse analysis (#3289)
|
2021-06-04 17:20:21 +02:00 |
|
Paul Fultz II
|
e65ea8575f
|
Fix issue 10207: FP: derefInvalidIteratorRedundantCheck with ternary operator (#3197)
|
2021-04-05 11:10:43 +02:00 |
Oliver Stöneberg
|
6397e29f84
|
cleaned up includes based on include-what-you-use (#3141)
|
2021-04-03 21:30:50 +02:00 |
|
Paul Fultz II
|
b0ac92ce8f
|
Report an error if analysis becomes cyclic (#3173)
|
2021-03-20 14:02:07 +01:00 |
|
Paul Fultz II
|
0619b873d0
|
Fix issue 10178: FP: nullPointerRedundantCheck with ternary and null condition first (#3134)
|
2021-02-17 12:09:11 +01:00 |
Daniel Marjamäki
|
987c8a854e
|
astyle formatting
[ci skip]
|
2021-01-25 22:51:50 +01:00 |
|
Paul Fultz II
|
c860de8565
|
Fix issue 8143: valueFlowCondition: before and inside while (#3045)
|
2021-01-23 17:52:01 +01:00 |
|
Paul Fultz II
|
c267d85640
|
Add generic valueflowBeforeCondition (#3001)
|
2021-01-08 22:55:04 +01:00 |
Ken-Patrick Lehrmann
|
f1169bf2b4
|
10062: Fix FP due to assignment in reverseanalyzer (#2983)
reverseanalyzer has a special process for assignments, and would not see
a stop condition on a rhs of an assignment.
|
2020-12-27 10:14:46 +01:00 |
|
Paul Fultz II
|
bd22070df5
|
Fix issue 10027: Segmentation fault in ValueFlowAnalyzer::analyze (#2987)
|
2020-12-26 21:26:39 +01:00 |
|
Paul Fultz II
|
2541b6034f
|
Fix issue 10049: False positive: generic reverse valueflow analysis (#2959)
|
2020-12-19 08:28:58 +01:00 |
|
Paul Fultz II
|
da1375c9a3
|
Fix issue 10024: FP: nullPointerRedundantCheck when using a goto statement (#2947)
|
2020-12-14 11:13:47 +01:00 |
|
Paul Fultz II
|
f6399c4cba
|
Fix issue 9980: FP nullPointerRedundantCheck - condition after while loop (#2912)
|
2020-11-20 09:36:09 +01:00 |
|
Daniel Marjamäki
|
3c207da910
|
Code cleanup. Fix gcc warning.
|
2020-11-18 15:43:09 +01:00 |
|
Daniel Marjamäki
|
7182da5c8e
|
astyle formatting
|
2020-11-11 09:17:54 +01:00 |
|
Paul Fultz II
|
bd7e915c20
|
Add generic reverse valueflow (#2878)
|
2020-11-10 16:00:55 +01:00 |