Patch for verifying Trusty (via CBMC)
Naming convention: a folder A_B in this repo indicates the original folder A/B in the Trusty code base
To run: Please refer to cmds.txt
Our commands to setup Syzkaller for Trusty
Patch for verifying Trusty (via CBMC)
Naming convention: a folder A_B in this repo indicates the original folder A/B in the Trusty code base
To run: Please refer to cmds.txt
Our commands to setup Syzkaller for Trusty