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

[fix] fix issue 87 when a value is passed to int(xxx) #88

Closed raefko closed 2 years ago

raefko commented 2 years ago

Fix #87