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