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 |