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

Unsupported instruction while trying to print the call graph #103

Closed gaetbout closed 1 year ago

gaetbout commented 1 year ago

Hey,

While trying to run: thoth local build/kakarot.json -call -view True

that can be generated from: https://github.com/sayajin-labs/kakarot I ran into an error:

  File "/home/x/.local/lib/python3.10/site-packages/thoth/app/disassembler/cairo_instruction.py", line 129, in decode_instruction_values
    assert 0 <= encoded_instruction < 2 ** (3 * OFFSET_BITS + N_FLAGS), "Unsupported instruction."
AssertionError: Unsupported instruction.

Here si the input file: kakarot.txt

As Json file isn't allowed (to be send, here) I changed the extension to .txt, but you can simply change it back to .json to try it yourself.

Hope I provided enough info!

Good luck, G.

pventuzelo commented 1 year ago

Thanks for the issue @gaetbout ;) Let me know if you find any more issue or if you have any other feedback ;)