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

[Decompiler] Incorrect decompilation #85

Closed pventuzelo closed 2 years ago

pventuzelo commented 2 years ago

In this example, v_6 can actually be either v_5 or v_2 depending on the if/else. It's a case of phi node in SSA.

image

Rog3rSm1th commented 2 years ago

Fixed by #92