search

FuzzingLabs / thoth

Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
https://fuzzinglabs.com/
GNU Affero General Public License v3.0
247 stars 21 forks source link

We do not yet manage with_attr case #82

Open SebFuzzingLabs opened 2 years ago

SebFuzzingLabs commented 2 years ago

For this example: image We have: image