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

Closed SebFuzzingLabs closed 2 years ago

SebFuzzingLabs commented 2 years ago

We have a ValueError if we try to decompile test.cairo For this code (test.cairo): We get this error: (using: thoth -f test.json -d)

But the dissas works.

raefko commented 2 years ago

88