search

winter2020 / oo7

oo7, a binary analysis tool to defend against Spectre vulnerabilities
Other
32 stars 3 forks source link

Urgent: Error in executing toy example using check recipe #6

Open humdahkhan opened 3 years ago

humdahkhan commented 3 years ago

image

humdahkhan commented 3 years ago

Please suggest a solution to this

ivg commented 3 years ago

The solution would be to use bap-toolkit that has an up-to-date spectre checker.

The dockerfile is provided, as well as the automatically prebuilt docker images, e.g., docker pull binaryanalysisplatform/bap-toolkit:latest