A static analysis tool to detect potential backdoors hidden in Ethereum smart contracts.
An installation of Python 3.5 or later is required, alongside various packages.
The backdoor detector enginee is based on Vandal. Installation instructions can be found here.
To run the Datalog analysis, Souffle should be installed with the souffle binary in $PATH. Installation instructions can be found here.