orbitcowboy
|
4a3a287248
|
Improved test case for ticket 1586
|
2022-01-08 18:39:19 +01:00 |
|
orbitcowboy
|
89e60af516
|
Ticket #1586 - Added regression test
|
2022-01-08 17:45:45 +01:00 |
chrchr-github
|
6c55f9cf88
|
Add test for #10133 (#3675)
|
2022-01-06 15:19:10 +01:00 |
|
chrchr-github
|
c05e2cc6c4
|
Fix #10154 False positive: objectIndex (#3666)
|
2022-01-04 10:37:16 +01:00 |
|
chrchr-github
|
e6091cbe54
|
Add tests for #4647, #5979, #8763, #10101 (#3648)
|
2021-12-20 13:12:19 +01:00 |
Paul Fultz II
|
e7db974606
|
Fix 10621: FP arrayIndexOutOfBoundsCond with multiple index checks (#3640)
|
2021-12-17 21:48:29 +01:00 |
|
Paul Fultz II
|
4fb43a3f56
|
Fix 10643: FP: (error) Array 'buf[64]' accessed at index -1, which is out of bounds. (#3639)
* Fix 10643: FP: (error) Array 'buf[64]' accessed at index -1, which is out of bounds.
* Format
|
2021-12-17 10:05:57 +01:00 |
|
Paul Fultz II
|
a0d633945e
|
Fix 10621: FP arrayIndexOutOfBoundsCond with multiple index checks (#3597)
* Fix 10621: FP arrayIndexOutOfBoundsCond with multiple index checks
* Format
|
2021-12-04 08:54:04 +01:00 |
|
chrchr-github
|
6f2000a99b
|
Add test for #9126 (#3592)
|
2021-12-01 18:24:25 +01:00 |
|
chrchr-github
|
ca311ebcdf
|
ASSERT() on calls to Tokenizer::tokenize() in test code (#3501)
|
2021-11-29 07:34:39 +01:00 |
|
chrchr-github
|
cea649761c
|
Fix FN buffer overrun with array of pointers (#3582)
|
2021-11-27 12:15:36 +01:00 |
|
Paul Fultz II
|
33ad30f4da
|
Fix 10617, 9824: conditions in expanded macro (#3578)
|
2021-11-25 18:40:15 +01:00 |
|
chrchr-github
|
b211139dbd
|
Add test for #10092 (#3571)
|
2021-11-20 08:52:51 +01:00 |
Daniel Marjamäki
|
f701a9361d
|
chmod; Use 644 for source files
|
2021-11-17 08:25:25 +01:00 |
|
Paul Fultz II
|
8bff45281d
|
Fix 10599: regression- segmentation fault on template code (#3565)
|
2021-11-16 06:49:13 +01:00 |
|
chrchr-github
|
49d3e07b59
|
Add test case for #10137 (#3558)
|
2021-11-11 20:25:10 +01:00 |
|
chrchr-github
|
0d1d3b4ed0
|
Add regression test for #10458 (#3555)
|
2021-11-11 07:59:14 +01:00 |
|
Daniel Marjamäki
|
a9a093e7cc
|
Fixed #10367 (False positive; pointer out of bounds argv-1)
|
2021-09-15 08:29:10 +02:00 |
|
Paul Fultz II
|
d4174a31ba
|
Fix 10414: FP 'The address of local variable 'single_value' might be accessed at non-zero index.' (regression) (#3447)
|
2021-09-06 07:15:46 +02:00 |
|
Paul Fultz II
|
98e22f6162
|
Fix 10413: FP arrayIndexOutOfBoundsCond after check (#3446)
|
2021-09-06 07:15:24 +02:00 |
|
Daniel Marjamäki
|
06249c08f3
|
argumentSize: Clarify error message
|
2021-08-29 15:38:58 +02:00 |
|
orbitcowboy
|
98a84b62a3
|
#2019: Added regression test
|
2021-08-22 20:01:25 +02:00 |
|
Daniel Marjamäki
|
db57efa486
|
CheckBufferOverrun: Reimplement CheckBufferOverrun::argumentSize check
|
2021-08-22 16:37:41 +02:00 |
|
Paul Fultz II
|
e0de48bb1d
|
Fix 7524: ValueFlow: false path for 'x<3' (#3393)
|
2021-08-16 09:19:07 +02:00 |
|
Paul Fultz II
|
7f358b2bed
|
Format with uncrustify (#3388)
|
2021-08-07 20:51:18 +02:00 |
|
Daniel Marjamäki
|
5e9feb7db1
|
astyle formatting
|
2021-08-04 20:32:30 +02:00 |
|
Paul Fultz II
|
6736ac7e3a
|
Revert "Formatted the code [ci skip]" (#3380)
This reverts commit 7a6d7f7c2d.
|
2021-08-03 17:53:30 +02:00 |
|
orbitcowboy
|
7a6d7f7c2d
|
Formatted the code [ci skip]
|
2021-08-03 06:33:54 +02:00 |
|
chrchr-github
|
ba00046732
|
Add test case for ticket #6884 (#3375)
* Add test case for ticket #9808
* Add test case for ticket #6884
|
2021-08-02 13:21:18 +02:00 |
Armin Müller
|
fc90598077
|
Typos found by running "codespell" (#3324)
|
2021-07-02 17:41:51 +02:00 |
|
Paul Fultz II
|
668b88d7c0
|
Fix 10284: False positive; valueFlowBeforeCondition does not seem to care about increment (#3287)
|
2021-06-04 21:40:57 +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 |
|
Daniel Marjamäki
|
3a498de306
|
extracttests; do not extract TestBufferOverrunterminateStrncpy tests
|
2021-05-24 13:17:29 +02:00 |
|
Daniel Marjamäki
|
5f6b56ada2
|
buffer overrun; Fixed false negative for dynamically allocated float buffer
|
2021-05-22 15:39:20 +02:00 |
|
Daniel Marjamäki
|
9a9f14bd8a
|
Buffer overflow; Fixed FPs when array size is 1
|
2021-05-22 12:13:39 +02:00 |
|
Paul Fultz II
|
1e3ab460a3
|
Fix 10254: false positive: arrayIndexOutOfBounds in inline function (#3266)
|
2021-05-22 08:20:09 +02:00 |
|
Daniel Marjamäki
|
2c155a7a78
|
Uninitialized variables; use AST
|
2021-05-16 11:58:51 +02:00 |
|
Daniel Marjamäki
|
e73057eb44
|
Fixed #10275 (ValueFlow: condition 'x>=0 && x < 10')
|
2021-05-16 10:34:22 +02:00 |
|
Daniel Marjamäki
|
2c10e0747a
|
extracttests: ensure error comment is written on proper line
|
2021-05-16 08:40:04 +02:00 |
|
Daniel Marjamäki
|
a07ea7e9e9
|
testbufferoverrun: refactor TODO test cases. Use TODO_ASSERT_EQUALS.
|
2021-05-15 21:08:07 +02:00 |
|
Daniel Marjamäki
|
a2ff7752b4
|
testbufferoverrun; refactor TODO test cases
|
2021-05-15 20:42:57 +02:00 |
|
Daniel Marjamäki
|
a40b85ccc6
|
testbufferoverrun: refactor TODO test case for strcat
|
2021-05-15 20:37:16 +02:00 |
|
Daniel Marjamäki
|
b8314289c6
|
testbufferoverrun; fixed TODO test cases for pointer arithmetic overflows
|
2021-05-15 20:32:46 +02:00 |
|
Daniel Marjamäki
|
680a1ee1b9
|
testbufferoverrun; remove TODO strncat/strcat test cases
|
2021-05-15 20:12:36 +02:00 |
|
Daniel Marjamäki
|
26e9525683
|
testbufferoverrun; test case cleanup, ensure there is not uninitialized reads etc
|
2021-05-15 15:35:14 +02:00 |
|
Paul Fultz II
|
eb96e4980e
|
Fix issue 10268: ValueFlow; Wrong value in for loop (#3257)
|
2021-05-15 08:39:20 +02:00 |
|
Daniel Marjamäki
|
d549770b5b
|
updated extracttests.py. fix syntax errors in test cases.
|
2021-05-13 20:21:02 +02:00 |
|
orbitcowboy
|
e869452240
|
#10244: Fixed false negative: bufferAccessOutOfBounds
|
2021-04-13 16:40:38 +02:00 |
Oliver Stöneberg
|
6397e29f84
|
cleaned up includes based on include-what-you-use (#3141)
|
2021-04-03 21:30:50 +02:00 |
|
orbitcowboy
|
e23a967215
|
#4750 Added a regression test
|
2021-03-28 09:29:46 +02:00 |