Daniel Marjamäki
|
6bd5f79451
|
Revert "Fix 8629: false negative: (style) Condition '...' is always true (#3492)"
This reverts commit b9be38aaec.
|
2021-10-10 21:21:21 +02:00 |
Paul Fultz II
|
b9be38aaec
|
Fix 8629: false negative: (style) Condition '...' is always true (#3492)
|
2021-10-09 16:20:38 +02:00 |
|
Paul Fultz II
|
bc90ae889d
|
Fix 10543: FP knownConditionTrueFalse with static variable (#3491)
|
2021-10-09 16:20:04 +02:00 |
|
Paul Fultz II
|
a1e0ef9b38
|
Refactor: Use interval analysis for symbolic values for inferCondtion (#3488)
|
2021-10-09 16:19:06 +02:00 |
|
Paul Fultz II
|
25eb0ab5bc
|
Find dangling pointers to unique_ptr (#3486)
|
2021-10-06 08:46:25 +02:00 |
|
Paul Fultz II
|
3cb252bd99
|
Fix 9873: False negative: null pointer when checking raw pointer (#3485)
|
2021-10-06 08:39:58 +02:00 |
chrchr-github
|
f3e1f0d41b
|
Fix #10238: char* confused with char (#3484)
|
2021-10-05 18:04:48 +02:00 |
|
Paul Fultz II
|
8668d445c7
|
Add support for string_view (#3480)
|
2021-10-05 08:28:19 +02:00 |
|
Paul Fultz II
|
c7e13d0e0b
|
Forward container size values in subfunctions (#3483)
|
2021-10-05 08:22:19 +02:00 |
KenPatrickLehrmann
|
61cddabe74
|
Fix FP due to namespace scope (#3475)
|
2021-10-04 23:16:16 +02:00 |
|
chrchr-github
|
428144c53c
|
Fix #10513: vector constructed from pointers (#3473)
|
2021-10-04 07:55:17 +02:00 |
|
Paul Fultz II
|
7621fee3d4
|
Refactor: Use ValueFlow::Value for ProgramMemory execute instead of integers (#3477)
|
2021-10-04 07:53:58 +02:00 |
|
chrchr-github
|
609e20d9d8
|
ValueFlow: string can be constructed from init list (#3459)
|
2021-10-02 23:09:49 +02:00 |
|
Paul Fultz II
|
255dc0484a
|
Fix 10331: wrong conditional value after assignment+return (#3461)
|
2021-09-21 19:25:41 +02:00 |
|
Paul Fultz II
|
9e9a982c6c
|
Fix 10468: False positive; uninitialized variable. Loop is always executed at least once (#3462)
|
2021-09-18 22:23:05 +02:00 |
|
Paul Fultz II
|
9ece849d80
|
Fix 10467: FP mismatchingContainers with array of vectors (#3453)
|
2021-09-09 20:43:46 +02:00 |
|
Paul Fultz II
|
b0b3f7ec2d
|
Fix 10464: FP: knownConditionTrueFalse (#3452)
|
2021-09-09 07:49:56 +02:00 |
|
Paul Fultz II
|
98e22f6162
|
Fix 10413: FP arrayIndexOutOfBoundsCond after check (#3446)
|
2021-09-06 07:15:24 +02:00 |
|
Paul Fultz II
|
0335671b35
|
Fix 10450: regression, FP : Iterator 'iter' from different container 'l' are used together (#3436)
|
2021-09-05 07:35:33 +02:00 |
|
Paul Fultz II
|
ccb31d8510
|
Fix 10460: FP knownConditionTrueFalse 'fabs(x)<1/(double)16' is always false (#3445)
|
2021-09-05 07:10:58 +02:00 |
|
Paul Fultz II
|
928efe77fc
|
Fix 9765: FP: knownConditionTrueFalse handling of template function with ternary operator (#3443)
|
2021-09-04 19:55:36 +02:00 |
|
Paul Fultz II
|
28bc717cbe
|
Fix 10163: false positive: lifetime for r is not same as for seq 'for (auto& r: seq)' (#3442)
|
2021-09-04 19:53:14 +02:00 |
|
Paul Fultz II
|
9eb5eadd35
|
Fix 9777: False Positive: Condition is always true with reset/release on unique_ptr (#3440)
|
2021-09-04 19:06:13 +02:00 |
|
Paul Fultz II
|
8a708e556c
|
Fix 10456: FP identicalConditionAfterEarlyExit with variable captured by reference (#3439)
|
2021-09-04 19:05:41 +02:00 |
|
Paul Fultz II
|
7ce17f076a
|
Fix 10318: iterator converted to type, wrong scope check (#3433)
|
2021-08-31 09:48:23 +02:00 |
|
Paul Fultz II
|
4566e0e439
|
Fix 10148: False positive: knownConditionTrueFalse in for loop due to &= (#3425)
|
2021-08-28 09:28:29 +02:00 |
|
Paul Fultz II
|
740becbddf
|
Fix 10348: FP knownConditionTrueFalse with condition variable in do ... while loop (#3422)
|
2021-08-27 05:46:57 +02:00 |
|
Paul Fultz II
|
712ff1c073
|
Fix 10436: hang: valueFlowSubFunction 'ispunct(c)..' (#3423)
|
2021-08-27 05:46:33 +02:00 |
|
Paul Fultz II
|
1cd9d0479d
|
Fix 10433: assertion failure in ValueFlow (Interval::fromValues) (#3419)
|
2021-08-26 07:46:40 +02:00 |
|
Daniel Marjamäki
|
11916171fe
|
Fix crash in programmemory, crash found in daca@home package system-root
|
2021-08-25 06:56:19 +02:00 |
|
Paul Fultz II
|
f7ddd7a35d
|
Fix 10430: FP knownConditionTrueFalse with bool from unsigned char (#3416)
|
2021-08-25 04:51:54 +02:00 |
|
Paul Fultz II
|
8ddc5764f8
|
Fix 10425: False positive: returnDanglingLifetime when taking address of captured variable (#3415)
|
2021-08-25 04:06:03 +02:00 |
|
Daniel Marjamäki
|
37ef29889b
|
Fix 10424: ExpressionAnalyzer assertion failure in librevisa
|
2021-08-24 16:06:51 +02:00 |
|
Paul Fultz II
|
524db1c756
|
Fix 10420: assertion error when analysing juce (#3413)
|
2021-08-23 11:12:42 +02:00 |
|
Paul Fultz II
|
865163b2ba
|
Add library configurations for free functions like std::size, std::empty, etc (#3410)
|
2021-08-23 09:03:48 +02:00 |
|
Daniel Marjamäki
|
165d48c846
|
fix gcc compiler warnings
|
2021-08-22 18:06:54 +02:00 |
|
Paul Fultz II
|
a0c37ceba2
|
Fix FP: Set correct bounds for interval (#3411)
|
2021-08-21 21:17:05 +02:00 |
|
Paul Fultz II
|
d30f42e0da
|
Fix FP when calling a function in a condition (#3412)
|
2021-08-21 18:52:11 +02:00 |
|
Paul Fultz II
|
e62cdbb664
|
Deduce symbolic values from conditions (#3406)
|
2021-08-19 22:01:55 +02:00 |
|
Paul Fultz II
|
e0de48bb1d
|
Fix 7524: ValueFlow: false path for 'x<3' (#3393)
|
2021-08-16 09:19:07 +02:00 |
|
Daniel Marjamäki
|
6a565f9e2f
|
cleanup unused function
|
2021-08-15 11:01:14 +02:00 |
|
Paul Fultz II
|
be978b35cf
|
Add more ValueFlow info in the xml dumps (#3402)
|
2021-08-15 08:02:31 +02:00 |
|
Paul Fultz II
|
f81ddd2daa
|
Fix 10408: FP nullPointer on 'return x.release()' (#3404)
|
2021-08-15 07:43:50 +02:00 |
|
Paul Fultz II
|
c92dab1329
|
Fix 10406: FP danglingLifetime with pointer-to-pointer (#3401)
|
2021-08-14 21:37:17 +02:00 |
|
Paul Fultz II
|
b9ac48c90a
|
Fix 10409: FP 'Condition 's.size()<3' is always false' (#3396)
|
2021-08-14 06:48:38 +02:00 |
|
Paul Fultz II
|
69eaa9dfd9
|
Refactor: ConditionHandler cleanup (#3394)
|
2021-08-11 08:37:37 +02:00 |
|
Paul Fultz II
|
0f897acecd
|
Fix FP in solveExpr when using symbolic values (#3391)
|
2021-08-09 20:41:10 +02:00 |
|
Paul Fultz II
|
a218ea3b23
|
Fix 10404: FP knownConditionTrueFalse after subtraction (#3390)
|
2021-08-09 07:45:41 +02:00 |
|
Daniel Marjamäki
|
5f81b03df1
|
valueflow; Remove unused function, fixing gcc warning
|
2021-08-08 21:25:47 +02:00 |
|
Daniel Marjamäki
|
fa398a6ba1
|
valueflow: remove not needed INDENT-OFF and INDENT-ON
|
2021-08-08 21:22:42 +02:00 |