Daniel Marjamäki
|
164c6b3441
|
Bug hunting; Detect array index out of bounds for multi dimensional arrays also
|
2020-12-18 21:32:23 +01:00 |
|
Daniel Marjamäki
|
99cb65b4b2
|
Bug hunting; Clarify bughuntingUninit output for non-const parameters
|
2020-12-08 11:16:38 +01:00 |
|
Daniel Marjamäki
|
bcc7945540
|
Bug hunting; Separate bughuntingUninit warnings for arguments with separate id
|
2020-12-08 10:28:40 +01:00 |
|
Daniel Marjamäki
|
089f193d6c
|
Bug hunting; Fix test CVE-2019-19334
|
2020-12-05 18:52:18 +01:00 |
|
Daniel Marjamäki
|
46454b1795
|
CI: Fixed TestBughuntingChecks
|
2020-12-05 14:56:06 +01:00 |
|
Daniel Marjamäki
|
bdfac5db09
|
Bug hunting: Fixed test case CVE-2019-19334
|
2020-12-05 13:51:12 +01:00 |
|
Daniel Marjamäki
|
da4cd6a4f4
|
Bug hunting; Improved buffer overflow check
|
2020-12-05 11:47:57 +01:00 |
|
Daniel Marjamäki
|
396c353d3c
|
bug hunting: Add array index check
|
2020-12-05 11:46:07 +01:00 |
|
Daniel Marjamäki
|
687b44dbb7
|
Token: add flag for splitted variable declaration with initialization
|
2020-09-09 16:22:47 +02:00 |
|
Daniel Marjamäki
|
07f6876dc8
|
Bug hunting; avoid uninit var fp for struct variables
|
2020-09-07 21:19:07 +02:00 |
|
Daniel Marjamäki
|
acfff072ae
|
Bug hunting; avoid bughuntingUninitVar fp for template variable
|
2020-09-07 16:25:37 +02:00 |
|
Daniel Marjamäki
|
06c4b8897b
|
Bug hunting: Avoid uninitialized fp for smart pointer
|
2020-09-07 09:34:08 +02:00 |
|
Daniel Marjamäki
|
6277eece67
|
Variable contracts
|
2020-08-24 20:57:49 +02:00 |
|
Daniel Marjamäki
|
4a76dbb632
|
Bug hunting; Avoid bailout uninit FP, stream object
|
2020-07-19 16:54:44 +02:00 |
|
Daniel Marjamäki
|
fe0081496c
|
Bug hunting; Avoid bailout uninit FP, arrays
|
2020-07-19 16:27:56 +02:00 |
|
Daniel Marjamäki
|
7cb65b7f67
|
GUI: Speedup code editor when selecting another warning in the same file
|
2020-07-18 18:14:55 +02:00 |
|
Daniel Marjamäki
|
58638d7757
|
Bug hunting; Fix itc.py test
|
2020-07-17 13:20:31 +02:00 |
|
Daniel Marjamäki
|
f2bd603bd3
|
Bug hunting; Fix TestBughuntingChecks
|
2020-07-17 11:02:46 +02:00 |
|
Daniel Marjamäki
|
592637af61
|
Bug hunting; Avoid uninit false positives with simple analysis
|
2020-07-17 09:05:38 +02:00 |
|
Daniel Marjamäki
|
0632f86449
|
Bug hunting; avoid bailout false positives when constructor is called
|
2020-07-16 16:38:22 +02:00 |
|
Daniel Marjamäki
|
176826a1f5
|
Bug hunting; Avoid false positives
|
2020-07-14 11:15:26 +02:00 |
|
Daniel Marjamäki
|
6030ab72ab
|
Bug hunting; Avoid some bailout false positives in uninit checker
|
2020-07-14 08:12:40 +02:00 |
|
Daniel Marjamäki
|
36b9e545ac
|
Bug hunting; more bailout warnings in uninit check
|
2020-07-13 20:23:44 +02:00 |
|
Daniel Marjamäki
|
4465d033f6
|
Bug hunting; When passing uninitialized data to unknown function it is inconclusive if that would be a problem for the function or not
|
2020-07-13 11:43:11 +02:00 |
|
Daniel Marjamäki
|
5164d87a2e
|
Bug hunting; Fixed false positives for containers
|
2020-06-28 22:49:51 +02:00 |
|
Daniel Marjamäki
|
bcaf792e30
|
Bug hunting; Fix FP for struct with uninitialized members passed to function in C
|
2020-06-27 22:11:12 +02:00 |
|
Daniel Marjamäki
|
e6aa96d90f
|
Bug hunting; Improved uninit checking
|
2020-06-27 14:59:02 +02:00 |
|
Daniel Marjamäki
|
303cadf99f
|
Bug hunting; Improved uninitData warning when unknown function is not configured
|
2020-06-27 14:29:29 +02:00 |
|
Daniel Marjamäki
|
e19ef6ac62
|
Bug hunting; Improved uninit checking for function calls with constant parameter
|
2020-06-27 14:15:53 +02:00 |
|
Daniel Marjamäki
|
f270ca1909
|
ExprEngine; Better handling of function calls
|
2020-06-20 23:00:39 +02:00 |
|
Daniel Marjamäki
|
d0ac583b97
|
Add 'bughuntingchecks'
|
2020-06-19 13:16:48 +02:00 |