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

Handling of Nested if #76

Closed raefko closed 2 years ago

raefko commented 2 years ago

image

In cairo_return.json.

We should have image

raefko commented 2 years ago

Fixed image