thoth
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
239 stars
4 watching
21 forks
Language: Python
last commit: 17 days ago
Linked from 2 awesome lists
analysiscairo-langcallflowcfgdecompilerdisassemblerreversingsecuritysierrastarknetsymbolic-execution