chrchr-github
|
c88dceff95
|
Partial fix for #10358: set value for int s{ 4 }; (#3506)
|
2021-10-15 20:05:42 +02:00 |
Paul Fultz II
|
89515600e4
|
Fix 10538: FN: nullPointer (std::swap pointers) (#3504)
|
2021-10-15 10:58:16 +02:00 |
|
Paul Fultz II
|
130d1abbce
|
Fix 10210: FN: nullPointerRedundantCheck regression in member function (#3512)
|
2021-10-15 10:57:40 +02:00 |
|
Paul Fultz II
|
f1f86db0da
|
Fix 10544: FP knownConditionTrueFalse with loop after check (#3508)
|
2021-10-14 16:47:15 +02:00 |
|
Paul Fultz II
|
6b9ef1fc58
|
Propagate symbolic values for identity operators (#3497)
|
2021-10-14 16:46:36 +02:00 |
Oliver Stöneberg
|
99db1f3f22
|
fixed some compiler warnings (#3502)
|
2021-10-13 12:10:26 +02:00 |
|
Paul Fultz II
|
52e4bec50a
|
Fix 10537: FN: knownConditionTrueFalse (std::string::c_str() never returns nullptr) (#3498)
|
2021-10-11 19:16:12 +02:00 |
|
Paul Fultz II
|
5e9bc48d26
|
Evaluate symbolic values (#3495)
|
2021-10-11 19:10:37 +02:00 |
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 |