GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.
Other
6 stars 2 forks source link

Fix inconsistent scoring of tests that may experience segfaults #1124

Closed bboston7 closed 3 years ago

bboston7 commented 3 years ago

Part 2 of #1122.

This PR fixes the inconsistencies in scoring of tests that may experience segmentation faults. It changes the following tests to score HIGH instead of NONE on segmentation faults:

Additionally, this PR also changes the CWE-476 (NULL Pointer Dereference) test to score NONE on a segmentation fault, as per the second to last paragraph in this comment.

I tested these changes on AWS/VCU118/Qemu with GFE processors running Debian/FreeBSD/FreeRTOS