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 |
|
Oliver Stöneberg
|
a2a9c90142
|
added some missing copyright headers (#3758)
|
2022-01-26 19:02:20 +01:00 |
Armin Müller
|
5a05631c84
|
Typos found by running "codespell" (#3702)
|
2022-01-13 17:24:26 +01:00 |
Paul Fultz II
|
1682344a80
|
Fix 10678: FP nullPointerArithmeticRedundantCheck in while loop (#3674)
|
2022-01-04 21:19:45 +01:00 |
|
Paul Fultz II
|
0be6e27231
|
Fix 10640: FN nullPointerRedundantCheck (#3607)
* Fix 10640: FN nullPointerRedundantCheck
* Format
|
2021-12-06 20:06:48 +01:00 |
|
Paul Fultz II
|
12e731ad49
|
Fix 10605: FP containerOutOfBounds with empty() check (#3572)
|
2021-11-25 22:34:00 +01:00 |
|
Paul Fultz II
|
771188238c
|
Fix 10574: ValueFlow: conditional values in constructor initializer list (#3556)
|
2021-11-11 08:01:10 +01:00 |
|
Paul Fultz II
|
035c70c441
|
Fix 10578: Value not impossible after check (#3549)
|
2021-11-07 18:19:56 +01:00 |
|
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 |