Skip to content
Snippets Groups Projects
Select Git revision
0 results
Compare
user avatar
bir
matt-j-griffin authored
5f4b2c2b
History
user avatar 5f4b2c2b
History
Name Last commit Last update
BCB
BCBS
Dockerfile
README.md
README.md

spectre-db

A database of Intel Spectre vulnerabilities with example code.

Organisation

The project is organised as follows:

spectre-db/
├─ [variant]/
│  ├─ README.md
│  └─ [source]/
│     ├─ README.md
│     ├─ [citation].bib
│     └─ [vulnerability-alias]/
│        ├─ README.md
│        ├─ [vulnerability].c
│        ├─ [toy-semantics].thy
│        └─ [architecture-triplet]/
│           └─ [compiler]/
|              ├─ README.md
|              ├─ [vulnerability].exe
|              ├─ [vulnerability].bil
|              └─ [vulnerability].bir
└─ README.md
  • [variant] the variant's abbreviation (according to Intel's Advisory Guidance)
  • [source] the (literature) source of the vulnerability
  • [citation] the BibTex citation
  • [vulnerability-alias] an alias this project uses to refer to the vulnerability
  • [vulnerability] a short filename for the vulnerability
  • [architecture-triplet] the architecture target as a triplet (i.e. x86_64, arm)
  • [compiler] the compiler (i.e. clang, msvc, gcc)

docker build . docker run [id] bap '/home/BCB/Paul Kocher/Example 1/msvc/ex01.dll' -dbir --optimization-level=3 > 'BCB/Paul Kocher/Example 1/msvc/ex01.bir' docker run [id] bap '/home/BCB/Paul Kocher/Example 1/msvc/ex01.dll' -dbil --optimization-level=3 > 'BCB/Paul Kocher/Example 1/msvc/ex01.bil' docker run [id] bap '/home/BCB/Paul Kocher/Example 2/msvc/ex02.dll' -dbir --optimization-level=3 > 'BCB/Paul Kocher/Example 2/msvc/ex02.bir' docker run [id] bap '/home/BCB/Paul Kocher/Example 2/msvc/ex02.dll' -dbil --optimization-level=3 > 'BCB/Paul Kocher/Example 2/msvc/ex02.bil' docker run [id] bap '/home/BCB/Paul Kocher/Example 3/msvc/ex03.dll' -dbir --optimization-level=3 > 'BCB/Paul Kocher/Example 3/msvc/ex03.bir' docker run [id] bap '/home/BCB/Paul Kocher/Example 3/msvc/ex03.dll' -dbil --optimization-level=3 > 'BCB/Paul Kocher/Example 3/msvc/ex03.bil' docker run [id] bap '/home/BCB/Paul Kocher/Example 4/msvc/ex04.dll' -dbir --optimization-level=3 > 'BCB/Paul Kocher/Example 4/msvc/ex04.bir' docker run [id] bap '/home/BCB/Paul Kocher/Example 4/msvc/ex04.dll' -dbil --optimization-level=3 > 'BCB/Paul Kocher/Example 4/msvc/ex04.bil' docker run [id] bap '/home/BCB/Paul Kocher/Example 5/msvc/ex05.dll' -dbir --optimization-level=3 > 'BCB/Paul Kocher/Example 5/msvc/ex05.bir' docker run [id] bap '/home/BCB/Paul Kocher/Example 5/msvc/ex05.dll' -dbil --optimization-level=3 > 'BCB/Paul Kocher/Example 5/msvc/ex05.bil' docker run [id] bap '/home/BCB/Paul Kocher/Example 6/msvc/ex06.dll' -dbir --optimization-level=3 > 'BCB/Paul Kocher/Example 6/msvc/ex06.bir' docker run [id] bap '/home/BCB/Paul Kocher/Example 6/msvc/ex06.dll' -dbil --optimization-level=3 > 'BCB/Paul Kocher/Example 6/msvc/ex06.bil' docker run [id] bap '/home/BCB/Paul Kocher/Example 7/msvc/ex07.dll' -dbir --optimization-level=3 > 'BCB/Paul Kocher/Example 7/msvc/ex07.bir' docker run [id] bap '/home/BCB/Paul Kocher/Example 7/msvc/ex07.dll' -dbil --optimization-level=3 > 'BCB/Paul Kocher/Example 7/msvc/ex07.bil' docker run [id] bap '/home/BCB/Paul Kocher/Example 8/msvc/ex08.dll' -dbir --optimization-level=3 > 'BCB/Paul Kocher/Example 8/msvc/ex08.bir' docker run [id] bap '/home/BCB/Paul Kocher/Example 8/msvc/ex08.dll' -dbil --optimization-level=3 > 'BCB/Paul Kocher/Example 8/msvc/ex08.bil' docker run [id] bap '/home/BCB/Paul Kocher/Example 9/msvc/ex09.dll' -dbir --optimization-level=3 > 'BCB/Paul Kocher/Example 9/msvc/ex09.bir' docker run [id] bap '/home/BCB/Paul Kocher/Example 9/msvc/ex09.dll' -dbil --optimization-level=3 > 'BCB/Paul Kocher/Example 9/msvc/ex09.bil' docker run [id] bap '/home/BCB/Paul Kocher/Example 10/msvc/ex10.dll' -dbir --optimization-level=3 > 'BCB/Paul Kocher/Example 10/msvc/ex10.bir' docker run [id] bap '/home/BCB/Paul Kocher/Example 10/msvc/ex10.dll' -dbil --optimization-level=3 > 'BCB/Paul Kocher/Example 10/msvc/ex10.bil' docker run [id] bap '/home/BCB/Paul Kocher/Example 11/msvc/ex11.dll' -dbir --optimization-level=3 > 'BCB/Paul Kocher/Example 11/msvc/ex11.bir' docker run [id] bap '/home/BCB/Paul Kocher/Example 11/msvc/ex11.dll' -dbil --optimization-level=3 > 'BCB/Paul Kocher/Example 11/msvc/ex11.bil' docker run [id] bap '/home/BCB/Paul Kocher/Example 12/msvc/ex12.dll' -dbir --optimization-level=3 > 'BCB/Paul Kocher/Example 12/msvc/ex12.bir' docker run [id] bap '/home/BCB/Paul Kocher/Example 12/msvc/ex12.dll' -dbil --optimization-level=3 > 'BCB/Paul Kocher/Example 12/msvc/ex12.bil' docker run [id] bap '/home/BCB/Paul Kocher/Example 13/msvc/ex13.dll' -dbir --optimization-level=3 > 'BCB/Paul Kocher/Example 13/msvc/ex13.bir' docker run [id] bap '/home/BCB/Paul Kocher/Example 13/msvc/ex13.dll' -dbil --optimization-level=3 > 'BCB/Paul Kocher/Example 13/msvc/ex13.bil' docker run [id] bap '/home/BCB/Paul Kocher/Example 14/msvc/ex14.dll' -dbir --optimization-level=3 > 'BCB/Paul Kocher/Example 14/msvc/ex14.bir' docker run [id] bap '/home/BCB/Paul Kocher/Example 14/msvc/ex14.dll' -dbil --optimization-level=3 > 'BCB/Paul Kocher/Example 14/msvc/ex14.bil' docker run [id] bap '/home/BCB/Paul Kocher/Example 15/msvc/ex15.dll' -dbir --optimization-level=3 > 'BCB/Paul Kocher/Example 15/msvc/ex15.bir' docker run [id] bap '/home/BCB/Paul Kocher/Example 15/msvc/ex15.dll' -dbil --optimization-level=3 > 'BCB/Paul Kocher/Example 15/msvc/ex15.bil'

docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 1/msvc/ex01.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 1/msvc/ex01.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 1/msvc/ex01.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 1/msvc/ex01.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 2/msvc/ex02.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 2/msvc/ex02.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 2/msvc/ex02.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 2/msvc/ex02.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 3/msvc/ex03.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 3/msvc/ex03.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 3/msvc/ex03.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 3/msvc/ex03.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 4/msvc/ex04.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 4/msvc/ex04.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 4/msvc/ex04.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 4/msvc/ex04.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 5/msvc/ex05.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 5/msvc/ex05.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 5/msvc/ex05.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 5/msvc/ex05.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 6/msvc/ex06.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 6/msvc/ex06.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 6/msvc/ex06.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 6/msvc/ex06.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 7/msvc/ex07.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 7/msvc/ex07.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 7/msvc/ex07.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 7/msvc/ex07.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 8/msvc/ex08.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 8/msvc/ex08.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 8/msvc/ex08.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 8/msvc/ex08.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 9/msvc/ex09.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 9/msvc/ex09.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 9/msvc/ex09.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 9/msvc/ex09.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 10/msvc/ex10.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 10/msvc/ex10.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 10/msvc/ex10.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 10/msvc/ex10.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 11/msvc/ex11.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 11/msvc/ex11.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 11/msvc/ex11.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 11/msvc/ex11.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 12/msvc/ex12.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 12/msvc/ex12.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 12/msvc/ex12.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 12/msvc/ex12.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 13/msvc/ex13.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 13/msvc/ex13.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 13/msvc/ex13.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 13/msvc/ex13.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 14/msvc/ex14.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 14/msvc/ex14.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 14/msvc/ex14.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 14/msvc/ex14.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 15/msvc/ex15.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 15/msvc/ex15.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 15/msvc/ex15.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 15/msvc/ex15.bil'

docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 1/msvc/ex01-mitigated.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 1/msvc/ex01-mitigated.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 1/msvc/ex01-mitigated.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 1/msvc/ex01-mitigated.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 2/msvc/ex02-mitigated.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 2/msvc/ex02-mitigated.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 2/msvc/ex02-mitigated.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 2/msvc/ex02-mitigated.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 3/msvc/ex03-mitigated.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 3/msvc/ex03-mitigated.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 3/msvc/ex03-mitigated.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 3/msvc/ex03-mitigated.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 4/msvc/ex04-mitigated.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 4/msvc/ex04-mitigated.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 4/msvc/ex04-mitigated.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 4/msvc/ex04-mitigated.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 5/msvc/ex05-mitigated.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 5/msvc/ex05-mitigated.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 5/msvc/ex05-mitigated.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 5/msvc/ex05-mitigated.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 11/msvc/ex11-mitigated.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 11/msvc/ex11-mitigated.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 11/msvc/ex11-mitigated.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 11/msvc/ex11-mitigated.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 12/msvc/ex12-mitigated.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 12/msvc/ex12-mitigated.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 12/msvc/ex12-mitigated.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 12/msvc/ex12-mitigated.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 14/msvc/ex14-mitigated.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 14/msvc/ex14-mitigated.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 14/msvc/ex14-mitigated.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 14/msvc/ex14-mitigated.bil'

docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 1/msvc/ex01_optimal.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 1/msvc/ex01_optimal.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 1/msvc/ex01_optimal.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 1/msvc/ex01_optimal.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 2/msvc/ex02_optimal.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 2/msvc/ex02_optimal.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 2/msvc/ex02_optimal.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 2/msvc/ex02_optimal.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 3/msvc/ex03_sol.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 3/msvc/ex03_sol.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 3/msvc/ex03_sol.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 3/msvc/ex03_sol.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 4/msvc/ex04_sol.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 4/msvc/ex04_sol.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 4/msvc/ex04_sol.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 4/msvc/ex04_sol.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 5/msvc/ex05_sol.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 5/msvc/ex05_sol.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 5/msvc/ex05_sol.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 5/msvc/ex05_sol.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 6/msvc/ex06_sol.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 6/msvc/ex06_sol.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 6/msvc/ex06_sol.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 6/msvc/ex06_sol.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 7/msvc/ex07_sol.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 7/msvc/ex07_sol.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 7/msvc/ex07_sol.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 7/msvc/ex07_sol.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 8/msvc/ex08_sol.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 8/msvc/ex08_sol.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 8/msvc/ex08_sol.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 8/msvc/ex08_sol.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 9/msvc/ex09_sol.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 9/msvc/ex09_sol.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 9/msvc/ex09_sol.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 9/msvc/ex09_sol.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 11/msvc/ex11_sol.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 11/msvc/ex11_sol.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 11/msvc/ex11_sol.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 11/msvc/ex11_sol.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 12/msvc/ex12_sol.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 12/msvc/ex12_sol.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 12/msvc/ex12_sol.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 12/msvc/ex12_sol.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 13/msvc/ex13_sol.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 13/msvc/ex13_sol.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 13/msvc/ex13_sol.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 13/msvc/ex13_sol.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 14/msvc/ex14_sol.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 14/msvc/ex14_sol.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 14/msvc/ex14_sol.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 14/msvc/ex14_sol.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 15/msvc/ex15_sol.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 15/msvc/ex15_sol.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 15/msvc/ex15_sol.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 15/msvc/ex15_sol.bil'

docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 7/msvc/ex07_cheang.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 7/msvc/ex07_cheang.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 7/msvc/ex07_cheang.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 7/msvc/ex07_cheang.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 8/msvc/ex08_cheang.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 8/msvc/ex08_cheang.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 8/msvc/ex08_cheang.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 8/msvc/ex08_cheang.bil' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 10/msvc/ex10_cheang.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 10/msvc/ex10_cheang.bir' docker run 8183a414c77e06b5da95b8283dbf44c9ea96c27818c0c8ed824b26aa400f7a bap '/home/BCB/Paul Kocher/Example 10/msvc/ex10_cheang.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Paul Kocher/Example 10/msvc/ex10_cheang.bil'

docker run 4be24b861ed8 bap '/home/BCB/Cheang et al/Example CV/msvc/exCV.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Cheang et al/Example CV/msvc/exCV.bir' docker run 4be24b861ed8 bap '/home/BCB/Cheang et al/Example CV/msvc/exCV.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Cheang et al/Example CV/msvc/exCV.bil'

docker run 4be24b861ed8 bap '/home/BCB/Cheang et al/Example CV/msvc/exCV-mitigated.dll' -dbir --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Cheang et al/Example CV/msvc/exCV-mitigated.bir' docker run 4be24b861ed8 bap '/home/BCB/Cheang et al/Example CV/msvc/exCV-mitigated.dll' -dbil --optimization-level=3 --bil-enable-intrinsics=llvm:lfence > 'BCB/Cheang et al/Example CV/msvc/exCV-mitigated.bil'