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)