the plugin file has a wrong extension

winter2020 / oo7

oo7, a binary analysis tool to defend against Spectre vulnerabilities

Other

32 stars 3 forks source link

Closed ivg closed 5 years ago

ivg commented 5 years ago

The ddtbd.plugin file should be named ddtbd.ml and the installation instructions should be

cd ddtbd
bapbuild ddtbd.plugin
bapbundle install ddtbd.plugin

it would be also a good idea to provide a Makefile that will do all this.

winter2020 commented 5 years ago

Fixed, tks!