Daniel Marjamäki
|
446256a503
|
Verification; assume non-const pointer argument might point at uninitialized data
|
2019-12-31 17:51:58 +01:00 |
|
Daniel Marjamäki
|
3af3219076
|
Verification; Juliet *_float_* division by zero tests
|
2019-12-31 09:02:06 +01:00 |
|
Daniel Marjamäki
|
e16395e1e4
|
test/verify/itc.py: minor tweaks
|
2019-12-23 11:23:56 +01:00 |
|
Daniel Marjamäki
|
37bb19f02c
|
Verify: Fix a false negative in the itc test suite
|
2019-10-25 21:46:02 +02:00 |
|
Daniel Marjamäki
|
fbd59b2fc5
|
Verify: Add test script itc.py. clarify juliet.py test script
|
2019-10-24 21:48:34 +02:00 |
|
Daniel Marjamäki
|
e879de6489
|
Verify: Update Juliet Testing
|
2019-10-23 16:49:45 +02:00 |
|
Daniel Marjamäki
|
b27fe83da4
|
ExprEngine: Handle << and >>
|
2019-10-08 21:38:10 +02:00 |
|
Daniel Marjamäki
|
555890fdfa
|
ExprEngine: Removed NullPointerDereference checker for now.
|
2019-10-03 19:24:14 +02:00 |
|
Daniel Marjamäki
|
60e1cf8b8d
|
ExprEngine: Fix NULL pointer dereference tests
|
2019-09-29 08:26:09 +02:00 |
|
Daniel Marjamäki
|
3f587bef65
|
ExprEngine: Add some CWE476 (Null pointer dereference) checks
|
2019-09-28 19:28:12 +02:00 |
|
Daniel Marjamäki
|
ec7c774a10
|
ExprEngine: Adjust the command line in test/verify/juliet.py
|
2019-09-28 12:10:01 +02:00 |
|
Daniel Marjamäki
|
4540846325
|
ExprEngine: Added a testscript that uses the juliet testsuite
|
2019-09-28 12:00:41 +02:00 |