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
Apr 22, 2025 - Python