issues
search
FuzzingLabs
/
thoth
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
https://fuzzinglabs.com/
GNU Affero General Public License v3.0
245
stars
21
forks
source link
Version 0.8.0
#132
Closed
Rog3rSm1th
closed
1 year ago
Rog3rSm1th
commented
1 year ago
Creates a symbolic execution engine for thoth-sierra.
Adds security analyzers in thoth-sierra.
Update the documentation.