issues
search
GaloisInc
/
BESSPIN-Tool-Suite
The core tool of the BESSPIN Framework.
Other
5
stars
2
forks
source link
Release Merge 03/12
#1040
Closed
rtadros125
closed
3 years ago
rtadros125
commented
3 years ago
CWEs:
Introduce the BESSPIN Scale, the security metric.
Add multitasking mode for selected CWEs classes
Add PPA tests
Fixes to the custom buffer error models
Injection tests running on baremetal compiler
Base:
Boot VCU118 from flash
Netboot on P3 (ex GFE bluespec_p3)
Use the new Amazon FreeRTOS fork exclusively for all FreeRTOS needs
Some modifications recommended by SRI-UCam to run their processors
Support Cheri Qemu
Support custom Clang and sysroot
Disable all CI and S3 uploads temporarily
CyberPhys:
CAN Heartbeat support
CWEs:
Base:
CyberPhys: