Add stack based parts to some CWE tests

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.

Other

6 stars 2 forks source link

Add stack based parts to some CWE tests #1087

Closed bboston7 closed 3 years ago

bboston7 commented 3 years ago

Closes #1044 and #1058.

This PR adds stack based versions of the CWE tests mentioned in #1044. It also fixes the bug in the CWE-562 test (#1058).

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

bboston7 commented 3 years ago

This PR conflicts with #1086, so after that's merged in I'll rebase on develop and fix the ifdefs. This PR is otherwise still ready for review though.