issues
search
GaloisInc
/
BESSPIN-Tool-Suite
The core tool of the BESSPIN Framework.
Other
5
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update submodules
#1128
rtadros125
closed
3 years ago
0
Fix AWS-pseudo-ci to work with the new everything
#1127
rtadros125
closed
3 years ago
1
LFS Binaries private vs public
#1126
rtadros125
closed
3 years ago
0
Micro-Level Documentation
#1125
rtadros125
opened
3 years ago
0
Fix inconsistent scoring of tests that may experience segfaults
#1124
bboston7
closed
3 years ago
0
Besspin state machine update
#1123
podhrmic
closed
3 years ago
1
Implement the decision that comes out of the discussion of segfaults
#1122
rtadros125
closed
3 years ago
2
Segmentation Fault Scoring Philosophy
#1121
njshanahan
closed
3 years ago
18
[cyberphys] Bugfix: Can Infotainment UI Network Endianness
#1120
EthanJamesLew
closed
3 years ago
5
Docker to environment
#1119
rtadros125
closed
3 years ago
0
Move any relevant docker images from gitalb:docker-tools
#1118
rtadros125
closed
3 years ago
2
GFE integration - post open-source
#1117
rtadros125
opened
3 years ago
0
Doc: ./utils
#1116
rtadros125
closed
3 years ago
0
Nix should build fine without any credentials
#1115
rtadros125
closed
3 years ago
0
[WIP] Besspin tool state machine
#1114
podhrmic
closed
3 years ago
1
[cyberphys] Ignition State Machine
#1113
EthanJamesLew
closed
3 years ago
5
Cyberphys compilation fixes
#1112
podhrmic
closed
3 years ago
2
Use debian_noRsyslog for LMCO in cyberphys, but use rsyslog by default
#1111
rtadros125
closed
3 years ago
0
Re-generate cyberphys config automatically to keep it up to date
#1110
podhrmic
opened
3 years ago
0
Infotainment canlib fix
#1109
lolsborn
closed
3 years ago
4
Adjust BOF test balance on bare metal to compensate for path tests
#1108
bboston7
closed
3 years ago
0
Fix PPAC-3 if no logs
#1107
rtadros125
closed
3 years ago
0
Scoring Computation Error
#1106
njshanahan
closed
3 years ago
4
Rename apps to fett
#1105
rtadros125
closed
3 years ago
0
Retry ethernet when it fails to get up on Debian on VCU118
#1104
rtadros125
closed
3 years ago
0
Post rename compilation fixes
#1103
podhrmic
closed
3 years ago
1
Add a test mode that just boots (with optional console)
#1102
rtadros125
opened
3 years ago
2
PPAC has an executeTest method now
#1101
rtadros125
closed
3 years ago
0
Code docs for top level files in besspin/cwesEvaluation
#1100
bboston7
closed
3 years ago
2
[cyberphys] Cyberphys -> Target Move Fixes
#1099
EthanJamesLew
closed
3 years ago
0
Compiler options
#1098
rtadros125
closed
3 years ago
0
Some Buffer errors scoring "MED" on Debian Qemu when using `bareMetal9.2`
#1097
rtadros125
closed
3 years ago
0
Vul classes docs
#1096
rtadros125
closed
3 years ago
1
The aws links of SQS/S3 should not have been renamed
#1095
rtadros125
closed
3 years ago
0
BESSPIN Scale & Custom Scoring Questions
#1094
njshanahan
closed
3 years ago
1
Update LMCO bitstreams with variants
#1093
rtadros125
closed
3 years ago
0
update the main .gitignore
#1092
rtadros125
closed
3 years ago
0
Scenarios renamed
#1091
podhrmic
closed
3 years ago
0
Add more robust ethernet handler for debian
#1090
podhrmic
closed
3 years ago
5
Bare-metal vs linux gcc for LMCO? No more!
#1089
rtadros125
closed
3 years ago
1
LMCO bitstreams source variants
#1088
rtadros125
closed
3 years ago
2
Add stack based parts to some CWE tests
#1087
bboston7
closed
3 years ago
1
Remove the term `testgen` throughout the codebase
#1086
rtadros125
closed
3 years ago
0
Enable log rotation to avoid running out of disk space
#1085
podhrmic
closed
3 years ago
5
update FreeRTOS ref to include the Galois Demo gitignore PR
#1084
rtadros125
closed
3 years ago
0
Rename fett to besspin take3
#1083
rtadros125
closed
3 years ago
0
Rename fett to besspin
#1082
rtadros125
closed
3 years ago
1
Naive cwes tally
#1081
rtadros125
closed
3 years ago
0
[cyberphys] Cyberphys Python Module Restructuring
#1080
EthanJamesLew
closed
3 years ago
0
Fix a broken link
#1079
rtadros125
closed
3 years ago
0
Previous
Next