Daniel Marjamäki
|
37d373999f
|
switch in forwardanalyzer
|
2021-07-01 21:09:57 +02:00 |
Paul Fultz II
|
dd178c3ad9
|
Fix 10314: Possible nullPointerRedundantCheck false positive (#3298)
|
2021-06-19 13:59:48 +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
|
548ec10824
|
Fix issue 10306: FP knownConditionTrueFalse with modulo result converted to bool (#3282)
|
2021-06-03 07:26:36 +02:00 |
|
Paul Fultz II
|
ab50a75d8a
|
Fix 10289: ValueFlow; Wrong known value 'size_t - uint16_t > 0' (#3273)
|
2021-05-24 08:28:21 +02:00 |
|
Paul Fultz II
|
47a4144b47
|
Fix 10288: ValueFlow; False positives because of wrong known value when there is sign cast (#3268)
|
2021-05-23 10:20:29 +02:00 |
|
Paul Fultz II
|
a772d652d8
|
Fix issue 9932: FP: containerOutOfBounds (#3217)
* Fix issue 9932: FP: containerOutOfBounds
|
2021-04-18 10:43:38 +02:00 |
|
Paul Fultz II
|
255f273c46
|
Fix issue 10088: ValueFlow: Array size, wrong known value (#3204)
|
2021-04-09 07:43:54 +02:00 |
|
Paul Fultz II
|
f605f71e49
|
Fix issue 10225: false positive: knownConditionTrueFalse (#3196)
|
2021-04-05 10:20:14 +02:00 |
|
Daniel Marjamäki
|
44f914eaee
|
astyle formatting
ci skip
|
2021-04-04 18:20:32 +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
|
182ae75290
|
Fix issue 10216: FP containerOutOfBounds with std::array initialized with = {} (#3190)
|
2021-03-31 22:07:54 +02:00 |
|
Paul Fultz II
|
5077663684
|
Fix issue 9979: false positive: containerOutOfBounds with conditional resize (#3136)
|
2021-03-30 14:02:28 +02:00 |
|
Paul Fultz II
|
9de976b243
|
Fix issue 10194: hang with followAllReferences() (#3189)
* Decrease depth faster when there is multiple returns
|
2021-03-30 11:22:56 +02:00 |
|
Daniel Marjamäki
|
42437277dc
|
Update Copyright year
|
2021-03-21 20:58:32 +01:00 |
shaneasd
|
02ac2b08a0
|
Fix some warnings (#3096)
|
2021-02-23 08:19:05 +01:00 |
PKEuS
|
cf1937294a
|
Refactorization: Removed unnecessary \n and spaces in strings
Merged from LCppC.
|
2021-02-20 12:58:42 +01:00 |
|
Paul Fultz II
|
51f93400d1
|
Fix issue 10166: FP uninitvar with break from infinite loop (#3124)
|
2021-02-11 08:07:12 +01:00 |
|
Daniel Marjamäki
|
fbf63b932e
|
astyle formatting
[ci skip]
|
2021-02-10 11:42:00 +01:00 |
|
Paul Fultz II
|
8569a970b4
|
Fix issue 10147: False positive: Out of bounds access in expression 'v[0]' because 'v' is empty. (#3123)
|
2021-02-10 08:11:06 +01:00 |
|
Paul Fultz II
|
0e871c178f
|
Fix issue 10141: Errors with ref assignment (duplicateValueTenary and knownEmptyContainer) (#3093)
|
2021-02-09 15:27:46 +01:00 |
|
Paul Fultz II
|
cf8a5d9a22
|
Fix issue 10111: FP knownConditionTrueFalse (#3110)
|
2021-02-03 10:21:47 +01:00 |
|
Paul Fultz II
|
913dbeb8d8
|
Fix FP when inserting a range into a container (#3108)
|
2021-02-02 14:57:48 +01:00 |
|
Paul Fultz II
|
e17d22eb87
|
Fix issue 10134: False positive: value is not known. Early return. (#3086)
|
2021-01-28 12:37:56 +01:00 |
Ken-Patrick Lehrmann
|
00707455be
|
10110: Fix FP knownConditionTrueFalse (#3053)
|
2021-01-25 17:23:47 +01:00 |
|
Paul Fultz II
|
d80f2fb46f
|
Reapply f1cc3ad and fix performance regression (#3076)
|
2021-01-23 08:47:39 +01:00 |
|
Daniel Marjamäki
|
0fa89ff2ba
|
Revert 14365ffc7 and f1cc3ada8, there was a performance regression
|
2021-01-22 10:51:46 +01:00 |
|
Paul Fultz II
|
f1cc3ada86
|
Refactor valueFlowTerminatingCondition to handle inner conditions and complex conditions (#3060)
|
2021-01-21 20:18:53 +01:00 |
|
Paul Fultz II
|
25ada657da
|
Fix issue 9030: ValueFlow: Possible value after conditional assignment in for loop (#3059)
|
2021-01-18 10:12:07 +01:00 |
|
Paul Fultz II
|
65395aeaa1
|
Add regression test for 7013: valueFlowAfterCondition: false positive below overspecified code (#3055)
|
2021-01-17 16:29:11 +01:00 |
|
Paul Fultz II
|
b571e9fe0b
|
Fix issue 10106: FP: nullPointerRedundantCheck (#3044)
|
2021-01-13 12:36:26 +01:00 |
|
Paul Fultz II
|
b469da1069
|
Fix issue 8253: False negative: Comparison is always true (early return) (#3043)
|
2021-01-13 12:35:43 +01:00 |
|
Paul Fultz II
|
678ee00fe9
|
Infer variables from conditions in valueFlowSubfunction (#3037)
|
2021-01-11 08:00:13 +01:00 |
|
Paul Fultz II
|
a3617fe573
|
Fix issue 10102: False positive: knownConditionTrueFalse in for loop (#3038)
|
2021-01-11 07:56:16 +01:00 |
|
Paul Fultz II
|
bc3f5554a4
|
Fix issue 8871: improve check: mismatching container size conditions (#2988)
|
2021-01-10 13:30:00 +01:00 |
|
Paul Fultz II
|
c267d85640
|
Add generic valueflowBeforeCondition (#3001)
|
2021-01-08 22:55:04 +01:00 |
Rikard Falkeborn
|
d19454b935
|
Refactoring: Convert ValueType to enum class (#3005)
|
2021-01-02 09:30:00 +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
|
a770342593
|
Fix crash in getInitListSize (#2960)
|
2020-12-19 12:23:19 +01:00 |
|
Daniel Marjamäki
|
1744cbaf66
|
astyle formatting
[ci skip]
|
2020-12-19 08:56:46 +01:00 |
|
Paul Fultz II
|
626dcd0eba
|
Fix issue 10037: False positive when passing variables to functions by address (#2957)
|
2020-12-19 08:29:37 +01:00 |
|
Paul Fultz II
|
b044f9ba96
|
Fix issue 9996: false negative: containerOutOfBounds with std::vector::front() and c++11 braced initializer (#2958)
|
2020-12-18 07:14:11 +01:00 |
|
Daniel Marjamäki
|
75f2ab20e8
|
Bug hunting; void* => might point at uninitialized data
|
2020-12-17 07:32:53 +01:00 |
|
Paul Fultz II
|
c9d2e55ea9
|
Fix issue 10035: FP: knownConditionTrueFalse when bool updated in for loop (#2953)
|
2020-12-16 17:25:21 +01:00 |
|
Rikard Falkeborn
|
324e267559
|
getSizeOf: Handle long double (#2888)
|
2020-11-11 22:51:17 +01:00 |
|
Daniel Marjamäki
|
4330a43acb
|
Fixed #9933 (FP: uninitvar when reading to struct)
|
2020-11-11 22:47:23 +01:00 |
|
Paul Fultz II
|
bd7e915c20
|
Add generic reverse valueflow (#2878)
|
2020-11-10 16:00:55 +01:00 |
|
Paul Fultz II
|
64638d82bb
|
Fix issue 9945: FP: containerOutOfBounds (#2845)
|
2020-10-22 07:41:52 +02:00 |
|
Paul Fultz II
|
047c3ed6ba
|
Fix issue 9935: FP: knownConditionTrueFalse value flow doesn't account for virtual functions (#2839)
|
2020-10-09 17:21:27 +02:00 |
|
Paul
|
828a5e2326
|
Fix issue 9930: valueFlowLifetime hang
|
2020-10-03 11:01:53 +02:00 |