Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
security
analysis
decompiler
disassembler
symbolic-execution
sierra
cfg
reversing
callflow
cairo-lang
starknet
-
Updated
Sep 19, 2024 - Python