Handle jmp rel in the middle of a basic block

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

Closed Rog3rSm1th closed 2 years ago

Rog3rSm1th commented 2 years ago

Reworking of the basic blocks creation process
Fix the bug in the CFG when you want to do a jmp rel in the middle of a basic block