A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.
Stars
111
Forks
14
Watchers
111
Open Issues
23
Overall repository health assessment
^4.1.3^3.0.0^0.9.3^17.7.2^2.1.1^11.0.2^4.3.10^10.0.1^20.8.6^17.0.32^6.7.5^6.7.5^9.1.0^4.3.10^8.51.0^3.0.0^10.1.0^6.13.1^10.0.1^11.0.2^0.8.21^0.25.2^3.0.0^2.3.0^5.2.2^5.74.0^4.10.01.8k
commits
56
commits
4
commits
2
commits
1
commits
Include coverage percentage in dataset testing (#156)
c981c69View on GitHubInclude support to detect `ERC1155`, `ERC1155MetadataURI`, `ERC721Metadata` and `ERC721Enumerable` interfaces (#152)
39d7a9aView on GitHub[CLI] Support to open files saved from other tools (#150)
2d1a8d4View on GitHubInclude error instead of `throw`ing when reaching a non-`halted` state (#146)
45bd11eView on GitHubMerge pull request #143 from acuarica/rename-workflows
2f2736eView on GitHub