Release Merge besspin-v1.1 08/19 - Githubissues

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.

Other

5 stars 2 forks source link

Release Merge besspin-v1.1 08/19 #1260

Closed rtadros125 closed 3 years ago

rtadros125 commented 3 years ago

Submodules updates
Cyberphys many updates -- not their final version yet
Update versioning name to besspin-v
Add global variant to buffer errors
Reduce the assessable SoC CWEs to only 3
Change some CWEs hardcoded addresses for LMCO
Partial credit for many-parts CWE tets
Fix CWE 680
Add variants to test 128
Fix test 761 (twice)