Issues

• thoth remote stopped to work

  FuzzingLabs/thoth#143 · Filter by author aspoom opened on Mar 31, 2024

• fails with sierra for 2.1.0 compiler with NotImplementedError

  FuzzingLabs/thoth#140 · Filter by author moodysalem opened on Aug 3, 2023

• fails with casm for 2.1.0 compiler with IndexError: list index out of range

  FuzzingLabs/thoth#139 · Filter by author moodysalem opened on Aug 3, 2023

• symbolic_bounded_model_checker_sierra passed in an example expected to fail

  FuzzingLabs/thoth#137 · Filter by author acmLL opened on Jun 21, 2023

• SSA with wrong variables

  FuzzingLabs/thoth#128 · Filter by author 0xcompiler opened on Mar 29, 2023

• How can I disassemble Sierra bytecode?

  FuzzingLabs/thoth#127 · Filter by author zerox-me opened on Mar 27, 2023
  1

• We do not yet manage with_attr case

  decompilerinvalidNot a prioritywaiting_for_cairo_1_0
  FuzzingLabs/thoth#82 · Filter by author SebFuzzingLabs opened on Sep 1, 2022

• Create binary ninja and/or ghidra plugin

  enhancementhelp wantedNot a priority
  FuzzingLabs/thoth#61 · Filter by author pventuzelo opened on Jul 25, 2022