Paul Fultz II
|
01e14a12f1
|
Fix 10755: Assertion "!maxValue->isKnown()" from valueFlowInferCondition (#3739)
* Fix 10755: Assertion "!maxValue->isKnown()" from valueFlowInferCondition
* Format
|
2022-01-22 12:25:20 +01:00 |
|
Paul Fultz II
|
0737cc4d8c
|
Fix 10708: Assertion "!maxValue->isKnown()" from valueFlowInferCondition (#3736)
* Fix 10708: Assertion "!maxValue->isKnown()" from valueFlowInferCondition
* Format
|
2022-01-21 09:56:24 +01:00 |
Oliver Stöneberg
|
55ff684f34
|
added unusedFunction self check to CI / cleanups (#3526)
|
2022-01-18 22:02:25 +01:00 |
|
Paul Fultz II
|
4af98f21d6
|
Fix 10588: crash (#3691)
|
2022-01-16 12:33:31 +01:00 |
|
Paul Fultz II
|
fe7595cd9d
|
Fix 10677: crash during valueFlowInferCondition (#3687)
|
2022-01-09 22:43:08 +01:00 |
|
Paul Fultz II
|
50862d1ace
|
Fix 10665: Crash in ExpressionAnalyzer (#3661)
|
2022-01-02 08:09:23 +01:00 |
|
Paul Fultz II
|
d2926bfa96
|
ValueFlow: Propagate const variables more aggressively (#3606)
* ValueFlow: Propagate const variables more aggressively
* Format
* Fix incorrect addition
|
2021-12-06 09:16:42 +01:00 |
chrchr-github
|
ca311ebcdf
|
ASSERT() on calls to Tokenizer::tokenize() in test code (#3501)
|
2021-11-29 07:34:39 +01:00 |
|
Paul Fultz II
|
143ddf2758
|
Fix 10595: FN: std::vector() reserve() (#3581)
* Fix 10595: FN: std::vector() reserve()
* Format
|
2021-11-26 09:50:02 +01:00 |
|
chrchr-github
|
ed050659a3
|
Add test cases, todos for #9790, #10358, #10462 (#3564)
* Add test cases, todos
* Format
* Remove dupes
* Format
|
2021-11-23 23:07:15 +01:00 |
Daniel Marjamäki
|
f701a9361d
|
chmod; Use 644 for source files
|
2021-11-17 08:25:25 +01:00 |
|
Paul Fultz II
|
a0d3c2c719
|
Handle for loop conditions in afterCondition (#3561)
|
2021-11-14 18:30:36 +01:00 |
|
Paul Fultz II
|
771188238c
|
Fix 10574: ValueFlow: conditional values in constructor initializer list (#3556)
|
2021-11-11 08:01:10 +01:00 |
|
chrchr-github
|
b4561229cb
|
Partial fix for #10358: set value for int s = int(4); (#3523)
|
2021-11-08 20:28:55 +01:00 |
|
Paul Fultz II
|
035c70c441
|
Fix 10578: Value not impossible after check (#3549)
|
2021-11-07 18:19:56 +01:00 |
|
Daniel Marjamäki
|
0f259a5dc6
|
Fixed #10222 (regression: arrayIndexOutOfBounds)
|
2021-11-03 20:16:44 +01:00 |
|
chrchr-github
|
728531aba1
|
Add test cases for ValueFlow issue with cast/switch (#3527)
|
2021-10-28 19:49:42 +02:00 |
|
Paul Fultz II
|
48fc70b810
|
Dont stop analysis when an unrelated class variable is changed (#3518)
|
2021-10-23 14:47:10 +02:00 |
|
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
|
6b9ef1fc58
|
Propagate symbolic values for identity operators (#3497)
|
2021-10-14 16:46:36 +02:00 |
|
chrchr-github
|
c4c12df372
|
Fix escape sequences in test cases (#3499)
|
2021-10-11 19:16:51 +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 |
|
chrchr-github
|
f3e1f0d41b
|
Fix #10238: char* confused with char (#3484)
|
2021-10-05 18:04:48 +02:00 |
|
chrchr-github
|
428144c53c
|
Fix #10513: vector constructed from pointers (#3473)
|
2021-10-04 07:55:17 +02:00 |
|
Daniel Marjamäki
|
eb50d19657
|
Uninitvar: Moved testcases for avoiding extra warnings from TestValueFlow to TestUninitVar
|
2021-10-03 22:15:35 +02:00 |
|
Daniel Marjamäki
|
f3d9755e65
|
UninitVar: too many warnings (pointer dereference)
|
2021-10-03 18:12:29 +02:00 |
|
Daniel Marjamäki
|
9f2ddf1623
|
UninitVar: too many warnings (function/cast operand)
|
2021-10-03 14:47:57 +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
|
b0b3f7ec2d
|
Fix 10464: FP: knownConditionTrueFalse (#3452)
|
2021-09-09 07:49:56 +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
|
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
|
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 |
|
Paul Fultz II
|
8aa37218c2
|
Fix 10400: FP nullPointer - for loop condition (#3417)
|
2021-08-25 20:33:41 +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 |
|
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 |
|
Paul Fultz II
|
e62cdbb664
|
Deduce symbolic values from conditions (#3406)
|
2021-08-19 22:01:55 +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
|
0f897acecd
|
Fix FP in solveExpr when using symbolic values (#3391)
|
2021-08-09 20:41:10 +02:00 |
|
Paul Fultz II
|
7f358b2bed
|
Format with uncrustify (#3388)
|
2021-08-07 20:51:18 +02:00 |