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
|
e9281babc4
|
Bug hunting; avoid false positives for structs/classes with constructors
|
2020-07-18 18:54:21 +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
|
ad5e4fef1f
|
Bug hunting; improved handling of 'malloc' in uninit checker
|
2020-06-28 21:20:59 +02:00 |
|
Daniel Marjamäki
|
d353a4ecba
|
ExprEngine; copy Data => copy arrays
|
2020-06-27 18:09:43 +02:00 |
|
Daniel Marjamäki
|
e6aa96d90f
|
Bug hunting; Improved uninit checking
|
2020-06-27 14:59:02 +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
|
ff5a717fc6
|
Bug hunting; Avoid false positives for const parameter data
|
2020-06-27 12:17:11 +02:00 |
|
Daniel Marjamäki
|
f270ca1909
|
ExprEngine; Better handling of function calls
|
2020-06-20 23:00:39 +02:00 |
|
Daniel Marjamäki
|
6ec15b6d7b
|
ExprEngine; Simple handling of increment/decrement
|
2020-06-19 17:35:35 +02:00 |
|
Daniel Marjamäki
|
f516bde744
|
ExprEngine; Fix TODO assertion
|
2020-06-19 14:05:19 +02:00 |
|
Daniel Marjamäki
|
ab663feea8
|
Add testbughuntingchecks.cpp
|
2020-06-19 13:38:56 +02:00 |