MadMax
MadMax copied to clipboard
Published
20 hours ago •
nevillegrech
nevillegrech
Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
Results
2
MadMax issues
Sort by
recently updated
recently updated
newest added
Fail to run MadMax on Mac OS X with the following errors: Traceback (most recent call last): File "", line 1, in File "/usr/local/Cellar/[email protected]/3.9.12/Frameworks/Python.framework/Versions/3.9/lib/python3.9/multiprocessing/spawn.py", line 116, in spawn_main exitcode =...
When using MadMax with the linked branch of gigahorse-toolchain (#f89ccb4) and souffle 2.0.2-1538-geb8c6f6e4, `gigahorse.py` fails with errors like ``` Compiling madmax.dl to C++ program and executable Error: Atom's argument type...
Metadata
129
Stars
15
Forks
Watchers
Owner
Metadata
Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities