├── .github └── workflows │ ├── lint.yml │ └── python-package.yml ├── .gitignore ├── .gitmodules ├── LICENSE ├── MANIFEST.in ├── README.md ├── contract-class-converter ├── Cargo.lock ├── Cargo.toml ├── README.md ├── src │ └── main.rs └── tests │ └── files │ ├── test.json │ └── test.sierra ├── doc ├── images │ ├── thoth-sierra │ │ ├── thoth_sierra_analyzers.png │ │ ├── thoth_sierra_callgraph.png │ │ ├── thoth_sierra_cfg.png │ │ └── thoth_sierra_decompiler.png │ └── thoth │ │ ├── cairo_double_function_and_if_cfg.png │ │ ├── callgraph_legend.dot │ │ ├── callgraph_legend.png │ │ ├── starknet_get_full_contract_l2_dai_bridge.gv.png │ │ ├── thoth_callgraph_simple.png │ │ ├── thoth_dataflow_graph.png │ │ ├── thoth_decompile.png │ │ ├── thoth_decompile_2.png │ │ ├── thoth_decompile_sourcecode.png │ │ ├── thoth_decompile_sourcecode_2.png │ │ ├── thoth_dfg_tainting.png │ │ ├── thoth_disas_color.png │ │ ├── thoth_symbolic_execution.png │ │ └── thoth_symbolic_execution_source.png ├── symbolic_bounded_model_checker_sierra.md ├── symbolic_execution.md └── symbolic_execution_sierra.md ├── pyproject.toml ├── setup.py ├── sierra ├── README.md ├── __init__.py ├── analyzer │ ├── __init__.py │ ├── abstract_analyzer.py │ ├── functions │ │ ├── __init__.py │ │ └── functions_analyzer.py │ ├── security │ │ ├── __init__.py │ │ ├── dead_code_analyzer.py │ │ ├── delegate_call_analyzer.py │ │ ├── integer_overflow_analyzer.py │ │ ├── user_defined_function_call_analyzer.py │ │ └── usused_arguments_analyzer.py │ ├── statistics │ │ ├── __init__.py │ │ └── statistics_analyzer.py │ └── strings │ │ ├── __init__.py │ │ └── strings_analyzer.py ├── arguments.py ├── callgraph │ ├── __init__.py │ └── callgraph.py ├── config.py ├── decompiler │ ├── __init__.py │ └── decompiler.py ├── objects │ ├── __init__.py │ └── objects.py ├── parser │ ├── __init__.py │ ├── _handlers.py │ ├── parser.py │ └── sierra.lark ├── symbex │ ├── __init__.py │ ├── _functions.py │ └── symbex.py ├── thoth_sierra.py └── utils.py ├── tests ├── __init__.py ├── cairo_files │ ├── cairo_0 │ │ ├── cairo_1_integer_overflow.cairo │ │ ├── cairo_all_builtins.cairo │ │ ├── cairo_amm.cairo │ │ ├── cairo_array_sum.cairo │ │ ├── cairo_big_struct.cairo │ │ ├── cairo_bitwise.cairo │ │ ├── cairo_builtins_import_param.cairo │ │ ├── cairo_call_function_assign_param_by_name.cairo │ │ ├── cairo_call_ret.cairo │ │ ├── cairo_call_with_arguments.cairo │ │ ├── cairo_direct_and_indirect_recursion.cairo │ │ ├── cairo_direct_recursion.cairo │ │ ├── cairo_double_function_and_if.cairo │ │ ├── cairo_dw.cairo │ │ ├── cairo_error_message.cairo │ │ ├── cairo_felt_sum.cairo │ │ ├── cairo_function_return.cairo │ │ ├── cairo_function_return_if_print.cairo │ │ ├── cairo_function_return_to_variable.cairo │ │ ├── cairo_hint.cairo │ │ ├── cairo_hint_jump_rel.cairo │ │ ├── cairo_if_and_prime.cairo │ │ ├── cairo_if_in_function.cairo │ │ ├── cairo_if_list.cairo │ │ ├── cairo_if_negative.cairo │ │ ├── cairo_if_phi_node.cairo │ │ ├── cairo_if_return_else_return.cairo │ │ ├── cairo_implicit_parameters.cairo │ │ ├── cairo_imports_no_parentheses.cairo │ │ ├── cairo_imports_with_parentheses.cairo │ │ ├── cairo_indirect_recursion.cairo │ │ ├── cairo_indirect_recursion_level_1.cairo │ │ ├── cairo_indirect_recursion_level_2.cairo │ │ ├── cairo_indirect_recursion_level_3.cairo │ │ ├── cairo_integer_overflow.cairo │ │ ├── cairo_integer_overflow_2.cairo │ │ ├── cairo_jmp.cairo │ │ ├── cairo_jmp_if_condition.cairo │ │ ├── cairo_just_return.cairo │ │ ├── cairo_labels.cairo │ │ ├── cairo_negative.cairo │ │ ├── cairo_nested_if.cairo │ │ ├── cairo_nested_if_phi_node.cairo │ │ ├── cairo_nested_if_phi_node_function_argument.cairo │ │ ├── cairo_pointers.cairo │ │ ├── cairo_poly.cairo │ │ ├── cairo_print.cairo │ │ ├── cairo_puzzle.cairo │ │ ├── cairo_return.cairo │ │ ├── cairo_reversed_register_instructions.cairo │ │ ├── cairo_set_of_if.cairo │ │ ├── cairo_simple_print.cairo │ │ ├── cairo_struct.cairo │ │ ├── cairo_test_addition_if.cairo │ │ ├── cairo_test_assert.cairo │ │ ├── cairo_test_call_flow_graph.cairo │ │ ├── cairo_test_formal_verification.cairo │ │ ├── cairo_test_formal_verification_2.cairo │ │ ├── cairo_test_long_registers_list.cairo │ │ ├── cairo_test_multiple_functions.cairo │ │ ├── cairo_test_multiple_nested_if.cairo │ │ ├── cairo_test_prime.cairo │ │ ├── cairo_test_reverse_if.cairo │ │ ├── cairo_test_subtraction_if.cairo │ │ ├── cairo_test_symbolic_execution.cairo │ │ ├── cairo_test_symbolic_execution_2.cairo │ │ ├── cairo_test_symbolic_execution_3.cairo │ │ ├── cairo_test_symbolic_execution_4.cairo │ │ ├── cairo_test_symbolic_execution_5.cairo │ │ ├── cairo_unreachable_code.cairo │ │ ├── cairo_unused_functions.cairo │ │ ├── cairo_use_imported_module.cairo │ │ ├── cairo_variable_type.cairo │ │ ├── cairo_voting.cairo │ │ ├── cairo_voting_system.cairo │ │ ├── starknet_amm_sample.cairo │ │ ├── starknet_array.cairo │ │ ├── starknet_bitwise.cairo │ │ ├── starknet_constructor.cairo │ │ ├── starknet_contract_interface.cairo │ │ ├── starknet_custom_imports.cairo │ │ ├── starknet_data_types.cairo │ │ ├── starknet_decorators1.cairo │ │ ├── starknet_decorators2.cairo │ │ ├── starknet_decorators3.cairo │ │ ├── starknet_default.cairo │ │ ├── starknet_erc20.cairo │ │ ├── starknet_erc20_burnable.cairo │ │ ├── starknet_erc20_mintable.cairo │ │ ├── starknet_erc20_pausable.cairo │ │ ├── starknet_erc20_upgradeable.cairo │ │ ├── starknet_erc721.cairo │ │ ├── starknet_erc721_enumerable_mintable_burnable.cairo │ │ ├── starknet_erc721_mintable_burnable.cairo │ │ ├── starknet_erc721_mintable_pausable.cairo │ │ ├── starknet_imports_no_parentheses.cairo │ │ ├── starknet_imports_with_parentheses.cairo │ │ ├── starknet_interact_with_storage_var.cairo │ │ ├── starknet_interact_with_tuple_storage_var.cairo │ │ ├── starknet_l1_default.cairo │ │ ├── starknet_map.cairo │ │ ├── starknet_math_comp.cairo │ │ ├── starknet_math_utils_for_other_contract.cairo │ │ ├── starknet_modify_storage_var_value.cairo │ │ ├── starknet_modify_tuple_storage_var_value.cairo │ │ ├── starknet_pedersen_hash.cairo │ │ ├── starknet_proxy_contract.cairo │ │ ├── starknet_receive_message_from_l1.cairo │ │ ├── starknet_return_storage_var_value.cairo │ │ ├── starknet_return_tuple_storage_var_value.cairo │ │ ├── starknet_return_value_to_variable.cairo │ │ ├── starknet_send_message_to_l1.cairo │ │ ├── starknet_simple_storage_var.cairo │ │ ├── starknet_strings.cairo │ │ ├── starknet_the_contract.cairo │ │ ├── starknet_tuple_and_pointer.cairo │ │ ├── starknet_variable_value_type.cairo │ │ ├── starknet_verify_ecdsa.cairo │ │ └── starknet_view_global_constants.cairo │ └── cairo_1 │ │ ├── bitwise.cairo │ │ ├── boolean.cairo │ │ ├── cairo_checker.cairo │ │ ├── casts.cairo │ │ ├── controlled_library_call.cairo │ │ ├── corelib_usage.cairo │ │ ├── dead_code.cairo │ │ ├── destructure.cairo │ │ ├── enum_flow.cairo │ │ ├── enum_match.cairo │ │ ├── felt_div.cairo │ │ ├── felt_is_zero.cairo │ │ ├── fib.cairo │ │ ├── fib_array.cairo │ │ ├── fib_box.cairo │ │ ├── fib_caller.cairo │ │ ├── fib_counter.cairo │ │ ├── fib_local.cairo │ │ ├── fib_loop.cairo │ │ ├── fib_simple.cairo │ │ ├── fib_struct.cairo │ │ ├── fib_u128.cairo │ │ ├── fib_u128_checked.cairo │ │ ├── fib_unary.cairo │ │ ├── hash_chain.cairo │ │ ├── hash_chain_gas.cairo │ │ ├── lib.cairo │ │ ├── pedersen_test.cairo │ │ ├── print_test.cairo │ │ ├── reentrancy.cairo │ │ ├── reentrancy_benign.cairo │ │ ├── reentrancy_events.cairo │ │ ├── simple.cairo │ │ ├── simple_enum.cairo │ │ ├── symbolic_execution_test.cairo │ │ ├── test_checker_2.cairo │ │ ├── testing.cairo │ │ ├── types.cairo │ │ ├── uint.cairo │ │ ├── unchecked_l1_handler_from.cairo │ │ ├── unenforced_view.cairo │ │ ├── unused_arguments.cairo │ │ ├── unused_events.cairo │ │ └── unused_return.cairo ├── decompiler_test.py ├── json_files │ ├── cairo_0 │ │ ├── cairo_all_builtins.json │ │ ├── cairo_amm.json │ │ ├── cairo_array_sum.json │ │ ├── cairo_big_struct.json │ │ ├── cairo_bitwise.json │ │ ├── cairo_builtins_import_param.json │ │ ├── cairo_call_function_assign_param_by_name.json │ │ ├── cairo_call_ret.json │ │ ├── cairo_call_with_arguments.json │ │ ├── cairo_direct_and_indirect_recursion.json │ │ ├── cairo_direct_recursion.json │ │ ├── cairo_double_function_and_if.json │ │ ├── cairo_dw.json │ │ ├── cairo_error_message.json │ │ ├── cairo_felt_sum.json │ │ ├── cairo_function_return.json │ │ ├── cairo_function_return_if_print.json │ │ ├── cairo_function_return_to_variable.json │ │ ├── cairo_hint.json │ │ ├── cairo_hint_jump_rel.json │ │ ├── cairo_if_and_prime.json │ │ ├── cairo_if_in_function.json │ │ ├── cairo_if_list.json │ │ ├── cairo_if_negative.json │ │ ├── cairo_if_phi_node.json │ │ ├── cairo_if_return_else_return.json │ │ ├── cairo_implicit_parameters.json │ │ ├── cairo_imports_no_parentheses.json │ │ ├── cairo_imports_with_parentheses.json │ │ ├── cairo_indirect_recursion.json │ │ ├── cairo_indirect_recursion_level_1.json │ │ ├── cairo_indirect_recursion_level_2.json │ │ ├── cairo_indirect_recursion_level_3.json │ │ ├── cairo_integer_overflow.json │ │ ├── cairo_integer_overflow_2.json │ │ ├── cairo_jmp.json │ │ ├── cairo_jmp_if_condition.json │ │ ├── cairo_just_return.json │ │ ├── cairo_labels.json │ │ ├── cairo_negative.json │ │ ├── cairo_nested_if.json │ │ ├── cairo_nested_if_phi_node.json │ │ ├── cairo_nested_if_phi_node_function_argument.json │ │ ├── cairo_pointers.json │ │ ├── cairo_poly.json │ │ ├── cairo_print.json │ │ ├── cairo_puzzle.json │ │ ├── cairo_return.json │ │ ├── cairo_reversed_register_instructions.json │ │ ├── cairo_set_of_if.json │ │ ├── cairo_simple_print.json │ │ ├── cairo_struct.json │ │ ├── cairo_test_addition_if.json │ │ ├── cairo_test_assert.json │ │ ├── cairo_test_call_flow_graph.json │ │ ├── cairo_test_formal_verification.json │ │ ├── cairo_test_formal_verification_2.json │ │ ├── cairo_test_long_registers_list.json │ │ ├── cairo_test_multiple_functions.json │ │ ├── cairo_test_multiple_nested_if.json │ │ ├── cairo_test_prime.json │ │ ├── cairo_test_reverse_if.json │ │ ├── cairo_test_subtraction_if.json │ │ ├── cairo_test_symbolic_execution.json │ │ ├── cairo_test_symbolic_execution_2.json │ │ ├── cairo_test_symbolic_execution_3.json │ │ ├── cairo_test_symbolic_execution_4.json │ │ ├── cairo_test_symbolic_execution_5.json │ │ ├── cairo_unreachable_code.json │ │ ├── cairo_unused_functions.json │ │ ├── cairo_use_imported_module.json │ │ ├── cairo_variable_type.json │ │ ├── cairo_voting.json │ │ ├── cairo_voting_system.json │ │ ├── starknet_amm_sample.json │ │ ├── starknet_array.json │ │ ├── starknet_bitwise.json │ │ ├── starknet_constructor.json │ │ ├── starknet_contract_interface.json │ │ ├── starknet_custom_imports.json │ │ ├── starknet_data_types.json │ │ ├── starknet_decorators1.json │ │ ├── starknet_decorators2.json │ │ ├── starknet_decorators3.json │ │ ├── starknet_default.json │ │ ├── starknet_erc20.json │ │ ├── starknet_erc20_burnable.json │ │ ├── starknet_erc20_mintable.json │ │ ├── starknet_erc20_pausable.json │ │ ├── starknet_erc20_upgradeable.json │ │ ├── starknet_erc721.json │ │ ├── starknet_erc721_enumerable_mintable_burnable.json │ │ ├── starknet_erc721_mintable_burnable.json │ │ ├── starknet_erc721_mintable_pausable.json │ │ ├── starknet_get_code_l2_dai_bridge.json │ │ ├── starknet_get_full_contract_l2_dai_bridge.json │ │ ├── starknet_get_full_contract_proxy_contract.json │ │ ├── starknet_imports_no_parentheses.json │ │ ├── starknet_imports_with_parentheses.json │ │ ├── starknet_interact_with_storage_var.json │ │ ├── starknet_interact_with_tuple_storage_var.json │ │ ├── starknet_l1_default.json │ │ ├── starknet_map.json │ │ ├── starknet_math_comp.json │ │ ├── starknet_modify_storage_var_value.json │ │ ├── starknet_modify_tuple_storage_var_value.json │ │ ├── starknet_pedersen_hash.json │ │ ├── starknet_proxy_contract.json │ │ ├── starknet_receive_message_from_l1.json │ │ ├── starknet_return_storage_var_value.json │ │ ├── starknet_return_tuple_storage_var_value.json │ │ ├── starknet_return_value_to_variable.json │ │ ├── starknet_send_message_to_l1.json │ │ ├── starknet_simple_storage_var.json │ │ ├── starknet_strings.json │ │ ├── starknet_the_contract.json │ │ ├── starknet_tuple_and_pointer.json │ │ ├── starknet_variable_value_type.json │ │ ├── starknet_verify_ecdsa.json │ │ └── starknet_view_global_constants.json │ ├── cairo_1 │ │ ├── account.casm.json │ │ ├── erc20.casm.json │ │ ├── hello_starknet.casm.json │ │ ├── minimal_contract.casm.json │ │ ├── test_contract.casm.json │ │ └── token_bridge.casm.json │ └── cairo_2 │ │ ├── account.json │ │ ├── erc20__erc_20.compiled_contract_class.json │ │ ├── hello_starknet__hello_starknet.compiled_contract_class.json │ │ ├── minimal_contract.compiled_contract_class.json │ │ ├── minimal_contract__minimal_contract.compiled_contract_class.json │ │ ├── mintable.compiled_contract_class.json │ │ ├── mintable__mintable_erc20_ownable.compiled_contract_class.json │ │ ├── multi_component__contract_with_4_components.compiled_contract_class.json │ │ ├── new_syntax_test_contract__counter_contract.compiled_contract_class.json │ │ ├── ownable_erc20__ownable_erc20_contract.compiled_contract_class.json │ │ ├── test_contract__test_contract.compiled_contract_class.json │ │ ├── token_bridge__token_bridge.compiled_contract_class.json │ │ ├── upgradable_counter__counter_contract.compiled_contract_class.json │ │ ├── with_erc20__erc20_contract.compiled_contract_class.json │ │ └── with_ownable__ownable_balance.compiled_contract_class.json ├── sierra_files │ ├── account.sierra │ ├── bitwise.sierra │ ├── boolean.sierra │ ├── cairo_call.sierra │ ├── cairo_if_else.sierra │ ├── cairo_if_list.sierra │ ├── cairo_recursion_factorial.sierra │ ├── cairo_symbolic_execution.sierra │ ├── casts.sierra │ ├── corelib_usage.sierra │ ├── dead_code.sierra │ ├── destructure.sierra │ ├── enum_flow.sierra │ ├── enum_match.sierra │ ├── erc20.sierra │ ├── felt_div.sierra │ ├── felt_is_zero.sierra │ ├── fib.sierra │ ├── fib_array.sierra │ ├── fib_box.sierra │ ├── fib_counter.sierra │ ├── fib_gas.sierra │ ├── fib_local.sierra │ ├── fib_recursive.sierra │ ├── fib_simple.sierra │ ├── fib_struct.sierra │ ├── fib_uint128.sierra │ ├── fib_uint128_checked.sierra │ ├── fib_unary.sierra │ ├── hash_chain.sierra │ ├── hash_chain_gas.sierra │ ├── hello_starknet.sierra │ ├── integer_overflow.sierra │ ├── minimal_contract.sierra │ ├── pedersen_test.sierra │ ├── print_test.sierra │ ├── program.sierra │ ├── simple.sierra │ ├── simple_enum.sierra │ ├── string.sierra │ ├── symbolic_execution_test.sierra │ ├── test_checker.sierra │ ├── test_checker_2.sierra │ ├── test_contract.sierra │ ├── testing.sierra │ ├── token_bridge.sierra │ ├── types.sierra │ ├── uint.sierra │ └── withdraw.sierra ├── test.py └── test_thoth_sierra.py ├── thoth ├── __init__.py ├── app │ ├── __init__.py │ ├── analyzer │ │ ├── __init__.py │ │ ├── abstract_analyzer.py │ │ ├── erc │ │ │ ├── __init__.py │ │ │ ├── erc20_detector.py │ │ │ └── erc721_detector.py │ │ ├── functions │ │ │ ├── __init__.py │ │ │ └── functions_analyzer.py │ │ ├── naming │ │ │ ├── __init__.py │ │ │ ├── functions_naming_analyzer.py │ │ │ └── variables_naming_analyzer.py │ │ ├── overflow │ │ │ ├── __init__.py │ │ │ └── integer_overflow_detector.py │ │ ├── statistics │ │ │ ├── __init__.py │ │ │ └── statistics_analyzer.py │ │ ├── strings │ │ │ ├── __init__.py │ │ │ └── strings_analyzer.py │ │ ├── testing │ │ │ ├── __init__.py │ │ │ ├── fuzzer_input_generator.py │ │ │ └── tests_cases_generator.py │ │ └── variables │ │ │ ├── __init__.py │ │ │ └── assignations_analyzer.py │ ├── arguments.py │ ├── cfg │ │ ├── __init__.py │ │ ├── callgraph.py │ │ ├── cfg.py │ │ └── config.py │ ├── decompiler │ │ ├── __init__.py │ │ ├── _instruction_handlers.py │ │ ├── decompiler.py │ │ ├── ssa.py │ │ └── variable.py │ ├── dfg │ │ ├── __init__.py │ │ ├── config.py │ │ ├── dfg.py │ │ └── objects.py │ ├── disassembler │ │ ├── __init__.py │ │ ├── abi_parser.py │ │ ├── cairo_instruction.py │ │ ├── disassembler.py │ │ ├── function.py │ │ └── instruction.py │ ├── starknet │ │ ├── __init__.py │ │ └── starknet.py │ ├── symbex │ │ ├── __init__.py │ │ └── symbex.py │ └── utils.py ├── thoth.py └── version.py └── vscode-extension ├── .eslintrc.json ├── .gitignore ├── .vscodeignore ├── CHANGELOG.md ├── README.md ├── doc ├── .gitkeep └── run-commands-buttons.png ├── package-lock.json ├── package.json ├── src ├── extension.ts └── test │ ├── runTest.ts │ └── suite │ ├── extension.test.ts │ └── index.ts └── tsconfig.json /.github/workflows/lint.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/.github/workflows/lint.yml -------------------------------------------------------------------------------- /.github/workflows/python-package.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/.github/workflows/python-package.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/LICENSE -------------------------------------------------------------------------------- /MANIFEST.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/MANIFEST.in -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/README.md -------------------------------------------------------------------------------- /contract-class-converter/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/contract-class-converter/Cargo.lock -------------------------------------------------------------------------------- /contract-class-converter/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/contract-class-converter/Cargo.toml -------------------------------------------------------------------------------- /contract-class-converter/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/contract-class-converter/README.md -------------------------------------------------------------------------------- /contract-class-converter/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/contract-class-converter/src/main.rs -------------------------------------------------------------------------------- /contract-class-converter/tests/files/test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/contract-class-converter/tests/files/test.json -------------------------------------------------------------------------------- /contract-class-converter/tests/files/test.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/contract-class-converter/tests/files/test.sierra -------------------------------------------------------------------------------- /doc/images/thoth-sierra/thoth_sierra_analyzers.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth-sierra/thoth_sierra_analyzers.png -------------------------------------------------------------------------------- /doc/images/thoth-sierra/thoth_sierra_callgraph.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth-sierra/thoth_sierra_callgraph.png -------------------------------------------------------------------------------- /doc/images/thoth-sierra/thoth_sierra_cfg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth-sierra/thoth_sierra_cfg.png -------------------------------------------------------------------------------- /doc/images/thoth-sierra/thoth_sierra_decompiler.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth-sierra/thoth_sierra_decompiler.png -------------------------------------------------------------------------------- /doc/images/thoth/cairo_double_function_and_if_cfg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth/cairo_double_function_and_if_cfg.png -------------------------------------------------------------------------------- /doc/images/thoth/callgraph_legend.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth/callgraph_legend.dot -------------------------------------------------------------------------------- /doc/images/thoth/callgraph_legend.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth/callgraph_legend.png -------------------------------------------------------------------------------- /doc/images/thoth/starknet_get_full_contract_l2_dai_bridge.gv.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth/starknet_get_full_contract_l2_dai_bridge.gv.png -------------------------------------------------------------------------------- /doc/images/thoth/thoth_callgraph_simple.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth/thoth_callgraph_simple.png -------------------------------------------------------------------------------- /doc/images/thoth/thoth_dataflow_graph.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth/thoth_dataflow_graph.png -------------------------------------------------------------------------------- /doc/images/thoth/thoth_decompile.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth/thoth_decompile.png -------------------------------------------------------------------------------- /doc/images/thoth/thoth_decompile_2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth/thoth_decompile_2.png -------------------------------------------------------------------------------- /doc/images/thoth/thoth_decompile_sourcecode.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth/thoth_decompile_sourcecode.png -------------------------------------------------------------------------------- /doc/images/thoth/thoth_decompile_sourcecode_2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth/thoth_decompile_sourcecode_2.png -------------------------------------------------------------------------------- /doc/images/thoth/thoth_dfg_tainting.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth/thoth_dfg_tainting.png -------------------------------------------------------------------------------- /doc/images/thoth/thoth_disas_color.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth/thoth_disas_color.png -------------------------------------------------------------------------------- /doc/images/thoth/thoth_symbolic_execution.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth/thoth_symbolic_execution.png -------------------------------------------------------------------------------- /doc/images/thoth/thoth_symbolic_execution_source.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/images/thoth/thoth_symbolic_execution_source.png -------------------------------------------------------------------------------- /doc/symbolic_bounded_model_checker_sierra.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/symbolic_bounded_model_checker_sierra.md -------------------------------------------------------------------------------- /doc/symbolic_execution.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/symbolic_execution.md -------------------------------------------------------------------------------- /doc/symbolic_execution_sierra.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/doc/symbolic_execution_sierra.md -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/pyproject.toml -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/setup.py -------------------------------------------------------------------------------- /sierra/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/README.md -------------------------------------------------------------------------------- /sierra/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /sierra/analyzer/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/analyzer/__init__.py -------------------------------------------------------------------------------- /sierra/analyzer/abstract_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/analyzer/abstract_analyzer.py -------------------------------------------------------------------------------- /sierra/analyzer/functions/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /sierra/analyzer/functions/functions_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/analyzer/functions/functions_analyzer.py -------------------------------------------------------------------------------- /sierra/analyzer/security/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /sierra/analyzer/security/dead_code_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/analyzer/security/dead_code_analyzer.py -------------------------------------------------------------------------------- /sierra/analyzer/security/delegate_call_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/analyzer/security/delegate_call_analyzer.py -------------------------------------------------------------------------------- /sierra/analyzer/security/integer_overflow_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/analyzer/security/integer_overflow_analyzer.py -------------------------------------------------------------------------------- /sierra/analyzer/security/user_defined_function_call_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/analyzer/security/user_defined_function_call_analyzer.py -------------------------------------------------------------------------------- /sierra/analyzer/security/usused_arguments_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/analyzer/security/usused_arguments_analyzer.py -------------------------------------------------------------------------------- /sierra/analyzer/statistics/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /sierra/analyzer/statistics/statistics_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/analyzer/statistics/statistics_analyzer.py -------------------------------------------------------------------------------- /sierra/analyzer/strings/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /sierra/analyzer/strings/strings_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/analyzer/strings/strings_analyzer.py -------------------------------------------------------------------------------- /sierra/arguments.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/arguments.py -------------------------------------------------------------------------------- /sierra/callgraph/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /sierra/callgraph/callgraph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/callgraph/callgraph.py -------------------------------------------------------------------------------- /sierra/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/config.py -------------------------------------------------------------------------------- /sierra/decompiler/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /sierra/decompiler/decompiler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/decompiler/decompiler.py -------------------------------------------------------------------------------- /sierra/objects/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /sierra/objects/objects.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/objects/objects.py -------------------------------------------------------------------------------- /sierra/parser/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /sierra/parser/_handlers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/parser/_handlers.py -------------------------------------------------------------------------------- /sierra/parser/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/parser/parser.py -------------------------------------------------------------------------------- /sierra/parser/sierra.lark: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/parser/sierra.lark -------------------------------------------------------------------------------- /sierra/symbex/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /sierra/symbex/_functions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/symbex/_functions.py -------------------------------------------------------------------------------- /sierra/symbex/symbex.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/symbex/symbex.py -------------------------------------------------------------------------------- /sierra/thoth_sierra.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/thoth_sierra.py -------------------------------------------------------------------------------- /sierra/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/sierra/utils.py -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env python3 2 | -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_1_integer_overflow.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_1_integer_overflow.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_all_builtins.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_all_builtins.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_amm.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_amm.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_array_sum.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_array_sum.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_big_struct.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_big_struct.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_bitwise.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_bitwise.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_builtins_import_param.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_builtins_import_param.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_call_function_assign_param_by_name.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_call_function_assign_param_by_name.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_call_ret.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_call_ret.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_call_with_arguments.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_call_with_arguments.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_direct_and_indirect_recursion.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_direct_and_indirect_recursion.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_direct_recursion.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_direct_recursion.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_double_function_and_if.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_double_function_and_if.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_dw.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_dw.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_error_message.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_error_message.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_felt_sum.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_felt_sum.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_function_return.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_function_return.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_function_return_if_print.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_function_return_if_print.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_function_return_to_variable.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_function_return_to_variable.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_hint.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_hint.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_hint_jump_rel.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_hint_jump_rel.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_if_and_prime.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_if_and_prime.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_if_in_function.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_if_in_function.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_if_list.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_if_list.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_if_negative.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_if_negative.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_if_phi_node.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_if_phi_node.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_if_return_else_return.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_if_return_else_return.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_implicit_parameters.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_implicit_parameters.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_imports_no_parentheses.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_imports_no_parentheses.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_imports_with_parentheses.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_imports_with_parentheses.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_indirect_recursion.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_indirect_recursion.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_indirect_recursion_level_1.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_indirect_recursion_level_1.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_indirect_recursion_level_2.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_indirect_recursion_level_2.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_indirect_recursion_level_3.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_indirect_recursion_level_3.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_integer_overflow.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_integer_overflow.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_integer_overflow_2.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_integer_overflow_2.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_jmp.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_jmp.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_jmp_if_condition.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_jmp_if_condition.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_just_return.cairo: -------------------------------------------------------------------------------- 1 | func main{}(): 2 | ret 3 | end -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_labels.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_labels.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_negative.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_negative.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_nested_if.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_nested_if.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_nested_if_phi_node.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_nested_if_phi_node.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_nested_if_phi_node_function_argument.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_nested_if_phi_node_function_argument.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_pointers.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_pointers.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_poly.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_poly.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_print.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_print.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_puzzle.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_puzzle.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_return.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_return.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_reversed_register_instructions.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_reversed_register_instructions.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_set_of_if.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_set_of_if.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_simple_print.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_simple_print.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_struct.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_struct.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_test_addition_if.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_test_addition_if.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_test_assert.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_test_assert.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_test_call_flow_graph.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_test_call_flow_graph.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_test_formal_verification.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_test_formal_verification.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_test_formal_verification_2.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_test_formal_verification_2.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_test_long_registers_list.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_test_long_registers_list.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_test_multiple_functions.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_test_multiple_functions.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_test_multiple_nested_if.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_test_multiple_nested_if.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_test_prime.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_test_prime.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_test_reverse_if.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_test_reverse_if.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_test_subtraction_if.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_test_subtraction_if.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_test_symbolic_execution.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_test_symbolic_execution.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_test_symbolic_execution_2.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_test_symbolic_execution_2.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_test_symbolic_execution_3.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_test_symbolic_execution_3.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_test_symbolic_execution_4.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_test_symbolic_execution_4.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_test_symbolic_execution_5.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_test_symbolic_execution_5.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_unreachable_code.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_unreachable_code.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_unused_functions.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_unused_functions.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_use_imported_module.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_use_imported_module.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_variable_type.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_variable_type.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_voting.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_voting.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/cairo_voting_system.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/cairo_voting_system.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_amm_sample.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_amm_sample.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_array.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_array.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_bitwise.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_bitwise.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_constructor.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_constructor.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_contract_interface.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_contract_interface.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_custom_imports.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_custom_imports.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_data_types.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_data_types.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_decorators1.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_decorators1.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_decorators2.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_decorators2.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_decorators3.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_decorators3.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_default.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_default.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_erc20.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_erc20.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_erc20_burnable.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_erc20_burnable.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_erc20_mintable.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_erc20_mintable.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_erc20_pausable.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_erc20_pausable.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_erc20_upgradeable.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_erc20_upgradeable.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_erc721.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_erc721.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_erc721_enumerable_mintable_burnable.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_erc721_enumerable_mintable_burnable.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_erc721_mintable_burnable.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_erc721_mintable_burnable.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_erc721_mintable_pausable.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_erc721_mintable_pausable.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_imports_no_parentheses.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_imports_no_parentheses.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_imports_with_parentheses.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_imports_with_parentheses.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_interact_with_storage_var.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_interact_with_storage_var.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_interact_with_tuple_storage_var.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_interact_with_tuple_storage_var.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_l1_default.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_l1_default.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_map.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_map.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_math_comp.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_math_comp.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_math_utils_for_other_contract.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_math_utils_for_other_contract.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_modify_storage_var_value.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_modify_storage_var_value.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_modify_tuple_storage_var_value.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_modify_tuple_storage_var_value.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_pedersen_hash.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_pedersen_hash.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_proxy_contract.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_proxy_contract.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_receive_message_from_l1.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_receive_message_from_l1.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_return_storage_var_value.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_return_storage_var_value.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_return_tuple_storage_var_value.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_return_tuple_storage_var_value.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_return_value_to_variable.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_return_value_to_variable.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_send_message_to_l1.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_send_message_to_l1.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_simple_storage_var.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_simple_storage_var.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_strings.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_strings.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_the_contract.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_the_contract.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_tuple_and_pointer.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_tuple_and_pointer.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_variable_value_type.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_variable_value_type.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_verify_ecdsa.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_verify_ecdsa.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_0/starknet_view_global_constants.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_0/starknet_view_global_constants.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/bitwise.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/bitwise.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/boolean.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/boolean.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/cairo_checker.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/cairo_checker.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/casts.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/casts.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/controlled_library_call.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/controlled_library_call.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/corelib_usage.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/corelib_usage.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/dead_code.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/dead_code.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/destructure.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/destructure.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/enum_flow.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/enum_flow.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/enum_match.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/enum_match.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/felt_div.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/felt_div.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/felt_is_zero.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/felt_is_zero.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/fib.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/fib.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/fib_array.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/fib_array.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/fib_box.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/fib_box.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/fib_caller.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/fib_caller.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/fib_counter.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/fib_counter.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/fib_local.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/fib_local.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/fib_loop.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/fib_loop.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/fib_simple.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/fib_simple.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/fib_struct.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/fib_struct.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/fib_u128.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/fib_u128.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/fib_u128_checked.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/fib_u128_checked.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/fib_unary.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/fib_unary.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/hash_chain.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/hash_chain.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/hash_chain_gas.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/hash_chain_gas.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/lib.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/lib.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/pedersen_test.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/pedersen_test.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/print_test.cairo: -------------------------------------------------------------------------------- 1 | fn main() -> felt252 { 2 | 24 3 | } 4 | -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/reentrancy.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/reentrancy.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/reentrancy_benign.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/reentrancy_benign.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/reentrancy_events.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/reentrancy_events.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/simple.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/simple.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/simple_enum.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/simple_enum.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/symbolic_execution_test.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/symbolic_execution_test.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/test_checker_2.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/test_checker_2.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/testing.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/testing.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/types.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/types.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/uint.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/uint.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/unchecked_l1_handler_from.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/unchecked_l1_handler_from.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/unenforced_view.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/unenforced_view.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/unused_arguments.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/unused_arguments.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/unused_events.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/unused_events.cairo -------------------------------------------------------------------------------- /tests/cairo_files/cairo_1/unused_return.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/cairo_files/cairo_1/unused_return.cairo -------------------------------------------------------------------------------- /tests/decompiler_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/decompiler_test.py -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_all_builtins.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_all_builtins.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_amm.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_amm.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_array_sum.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_array_sum.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_big_struct.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_big_struct.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_bitwise.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_bitwise.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_builtins_import_param.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_builtins_import_param.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_call_function_assign_param_by_name.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_call_function_assign_param_by_name.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_call_ret.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_call_ret.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_call_with_arguments.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_call_with_arguments.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_direct_and_indirect_recursion.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_direct_and_indirect_recursion.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_direct_recursion.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_direct_recursion.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_double_function_and_if.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_double_function_and_if.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_dw.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_dw.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_error_message.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_error_message.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_felt_sum.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_felt_sum.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_function_return.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_function_return.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_function_return_if_print.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_function_return_if_print.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_function_return_to_variable.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_function_return_to_variable.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_hint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_hint.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_hint_jump_rel.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_hint_jump_rel.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_if_and_prime.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_if_and_prime.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_if_in_function.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_if_in_function.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_if_list.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_if_list.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_if_negative.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_if_negative.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_if_phi_node.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_if_phi_node.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_if_return_else_return.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_if_return_else_return.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_implicit_parameters.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_implicit_parameters.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_imports_no_parentheses.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_imports_no_parentheses.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_imports_with_parentheses.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_imports_with_parentheses.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_indirect_recursion.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_indirect_recursion.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_indirect_recursion_level_1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_indirect_recursion_level_1.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_indirect_recursion_level_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_indirect_recursion_level_2.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_indirect_recursion_level_3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_indirect_recursion_level_3.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_integer_overflow.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_integer_overflow.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_integer_overflow_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_integer_overflow_2.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_jmp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_jmp.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_jmp_if_condition.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_jmp_if_condition.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_just_return.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_just_return.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_labels.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_labels.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_negative.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_negative.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_nested_if.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_nested_if.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_nested_if_phi_node.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_nested_if_phi_node.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_nested_if_phi_node_function_argument.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_nested_if_phi_node_function_argument.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_pointers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_pointers.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_poly.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_poly.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_print.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_print.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_puzzle.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_puzzle.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_return.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_return.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_reversed_register_instructions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_reversed_register_instructions.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_set_of_if.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_set_of_if.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_simple_print.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_simple_print.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_struct.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_struct.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_test_addition_if.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_test_addition_if.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_test_assert.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_test_assert.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_test_call_flow_graph.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_test_call_flow_graph.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_test_formal_verification.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_test_formal_verification.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_test_formal_verification_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_test_formal_verification_2.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_test_long_registers_list.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_test_long_registers_list.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_test_multiple_functions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_test_multiple_functions.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_test_multiple_nested_if.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_test_multiple_nested_if.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_test_prime.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_test_prime.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_test_reverse_if.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_test_reverse_if.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_test_subtraction_if.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_test_subtraction_if.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_test_symbolic_execution.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_test_symbolic_execution.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_test_symbolic_execution_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_test_symbolic_execution_2.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_test_symbolic_execution_3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_test_symbolic_execution_3.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_test_symbolic_execution_4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_test_symbolic_execution_4.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_test_symbolic_execution_5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_test_symbolic_execution_5.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_unreachable_code.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_unreachable_code.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_unused_functions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_unused_functions.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_use_imported_module.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_use_imported_module.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_variable_type.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_variable_type.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_voting.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_voting.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/cairo_voting_system.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/cairo_voting_system.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_amm_sample.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_amm_sample.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_array.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_array.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_bitwise.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_bitwise.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_constructor.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_constructor.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_contract_interface.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_contract_interface.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_custom_imports.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_custom_imports.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_data_types.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_data_types.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_decorators1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_decorators1.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_decorators2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_decorators2.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_decorators3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_decorators3.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_default.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_default.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_erc20.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_erc20.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_erc20_burnable.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_erc20_burnable.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_erc20_mintable.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_erc20_mintable.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_erc20_pausable.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_erc20_pausable.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_erc20_upgradeable.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_erc20_upgradeable.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_erc721.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_erc721.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_erc721_enumerable_mintable_burnable.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_erc721_enumerable_mintable_burnable.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_erc721_mintable_burnable.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_erc721_mintable_burnable.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_erc721_mintable_pausable.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_erc721_mintable_pausable.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_get_code_l2_dai_bridge.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_get_code_l2_dai_bridge.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_get_full_contract_l2_dai_bridge.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_get_full_contract_l2_dai_bridge.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_get_full_contract_proxy_contract.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_get_full_contract_proxy_contract.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_imports_no_parentheses.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_imports_no_parentheses.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_imports_with_parentheses.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_imports_with_parentheses.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_interact_with_storage_var.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_interact_with_storage_var.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_interact_with_tuple_storage_var.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_interact_with_tuple_storage_var.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_l1_default.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_l1_default.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_map.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_math_comp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_math_comp.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_modify_storage_var_value.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_modify_storage_var_value.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_modify_tuple_storage_var_value.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_modify_tuple_storage_var_value.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_pedersen_hash.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_pedersen_hash.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_proxy_contract.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_proxy_contract.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_receive_message_from_l1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_receive_message_from_l1.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_return_storage_var_value.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_return_storage_var_value.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_return_tuple_storage_var_value.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_return_tuple_storage_var_value.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_return_value_to_variable.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_return_value_to_variable.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_send_message_to_l1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_send_message_to_l1.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_simple_storage_var.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_simple_storage_var.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_strings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_strings.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_the_contract.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_the_contract.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_tuple_and_pointer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_tuple_and_pointer.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_variable_value_type.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_variable_value_type.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_verify_ecdsa.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_verify_ecdsa.json -------------------------------------------------------------------------------- /tests/json_files/cairo_0/starknet_view_global_constants.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_0/starknet_view_global_constants.json -------------------------------------------------------------------------------- /tests/json_files/cairo_1/account.casm.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_1/account.casm.json -------------------------------------------------------------------------------- /tests/json_files/cairo_1/erc20.casm.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_1/erc20.casm.json -------------------------------------------------------------------------------- /tests/json_files/cairo_1/hello_starknet.casm.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_1/hello_starknet.casm.json -------------------------------------------------------------------------------- /tests/json_files/cairo_1/minimal_contract.casm.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_1/minimal_contract.casm.json -------------------------------------------------------------------------------- /tests/json_files/cairo_1/test_contract.casm.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_1/test_contract.casm.json -------------------------------------------------------------------------------- /tests/json_files/cairo_1/token_bridge.casm.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_1/token_bridge.casm.json -------------------------------------------------------------------------------- /tests/json_files/cairo_2/account.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_2/account.json -------------------------------------------------------------------------------- /tests/json_files/cairo_2/erc20__erc_20.compiled_contract_class.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_2/erc20__erc_20.compiled_contract_class.json -------------------------------------------------------------------------------- /tests/json_files/cairo_2/hello_starknet__hello_starknet.compiled_contract_class.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_2/hello_starknet__hello_starknet.compiled_contract_class.json -------------------------------------------------------------------------------- /tests/json_files/cairo_2/minimal_contract.compiled_contract_class.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_2/minimal_contract.compiled_contract_class.json -------------------------------------------------------------------------------- /tests/json_files/cairo_2/minimal_contract__minimal_contract.compiled_contract_class.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_2/minimal_contract__minimal_contract.compiled_contract_class.json -------------------------------------------------------------------------------- /tests/json_files/cairo_2/mintable.compiled_contract_class.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_2/mintable.compiled_contract_class.json -------------------------------------------------------------------------------- /tests/json_files/cairo_2/mintable__mintable_erc20_ownable.compiled_contract_class.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_2/mintable__mintable_erc20_ownable.compiled_contract_class.json -------------------------------------------------------------------------------- /tests/json_files/cairo_2/multi_component__contract_with_4_components.compiled_contract_class.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_2/multi_component__contract_with_4_components.compiled_contract_class.json -------------------------------------------------------------------------------- /tests/json_files/cairo_2/new_syntax_test_contract__counter_contract.compiled_contract_class.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_2/new_syntax_test_contract__counter_contract.compiled_contract_class.json -------------------------------------------------------------------------------- /tests/json_files/cairo_2/ownable_erc20__ownable_erc20_contract.compiled_contract_class.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_2/ownable_erc20__ownable_erc20_contract.compiled_contract_class.json -------------------------------------------------------------------------------- /tests/json_files/cairo_2/test_contract__test_contract.compiled_contract_class.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_2/test_contract__test_contract.compiled_contract_class.json -------------------------------------------------------------------------------- /tests/json_files/cairo_2/token_bridge__token_bridge.compiled_contract_class.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_2/token_bridge__token_bridge.compiled_contract_class.json -------------------------------------------------------------------------------- /tests/json_files/cairo_2/upgradable_counter__counter_contract.compiled_contract_class.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_2/upgradable_counter__counter_contract.compiled_contract_class.json -------------------------------------------------------------------------------- /tests/json_files/cairo_2/with_erc20__erc20_contract.compiled_contract_class.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_2/with_erc20__erc20_contract.compiled_contract_class.json -------------------------------------------------------------------------------- /tests/json_files/cairo_2/with_ownable__ownable_balance.compiled_contract_class.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/json_files/cairo_2/with_ownable__ownable_balance.compiled_contract_class.json -------------------------------------------------------------------------------- /tests/sierra_files/account.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/account.sierra -------------------------------------------------------------------------------- /tests/sierra_files/bitwise.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/bitwise.sierra -------------------------------------------------------------------------------- /tests/sierra_files/boolean.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/boolean.sierra -------------------------------------------------------------------------------- /tests/sierra_files/cairo_call.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/cairo_call.sierra -------------------------------------------------------------------------------- /tests/sierra_files/cairo_if_else.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/cairo_if_else.sierra -------------------------------------------------------------------------------- /tests/sierra_files/cairo_if_list.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/cairo_if_list.sierra -------------------------------------------------------------------------------- /tests/sierra_files/cairo_recursion_factorial.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/cairo_recursion_factorial.sierra -------------------------------------------------------------------------------- /tests/sierra_files/cairo_symbolic_execution.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/cairo_symbolic_execution.sierra -------------------------------------------------------------------------------- /tests/sierra_files/casts.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/casts.sierra -------------------------------------------------------------------------------- /tests/sierra_files/corelib_usage.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/corelib_usage.sierra -------------------------------------------------------------------------------- /tests/sierra_files/dead_code.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/dead_code.sierra -------------------------------------------------------------------------------- /tests/sierra_files/destructure.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/destructure.sierra -------------------------------------------------------------------------------- /tests/sierra_files/enum_flow.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/enum_flow.sierra -------------------------------------------------------------------------------- /tests/sierra_files/enum_match.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/enum_match.sierra -------------------------------------------------------------------------------- /tests/sierra_files/erc20.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/erc20.sierra -------------------------------------------------------------------------------- /tests/sierra_files/felt_div.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/felt_div.sierra -------------------------------------------------------------------------------- /tests/sierra_files/felt_is_zero.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/felt_is_zero.sierra -------------------------------------------------------------------------------- /tests/sierra_files/fib.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/fib.sierra -------------------------------------------------------------------------------- /tests/sierra_files/fib_array.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/fib_array.sierra -------------------------------------------------------------------------------- /tests/sierra_files/fib_box.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/fib_box.sierra -------------------------------------------------------------------------------- /tests/sierra_files/fib_counter.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/fib_counter.sierra -------------------------------------------------------------------------------- /tests/sierra_files/fib_gas.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/fib_gas.sierra -------------------------------------------------------------------------------- /tests/sierra_files/fib_local.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/fib_local.sierra -------------------------------------------------------------------------------- /tests/sierra_files/fib_recursive.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/fib_recursive.sierra -------------------------------------------------------------------------------- /tests/sierra_files/fib_simple.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/fib_simple.sierra -------------------------------------------------------------------------------- /tests/sierra_files/fib_struct.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/fib_struct.sierra -------------------------------------------------------------------------------- /tests/sierra_files/fib_uint128.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/fib_uint128.sierra -------------------------------------------------------------------------------- /tests/sierra_files/fib_uint128_checked.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/fib_uint128_checked.sierra -------------------------------------------------------------------------------- /tests/sierra_files/fib_unary.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/fib_unary.sierra -------------------------------------------------------------------------------- /tests/sierra_files/hash_chain.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/hash_chain.sierra -------------------------------------------------------------------------------- /tests/sierra_files/hash_chain_gas.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/hash_chain_gas.sierra -------------------------------------------------------------------------------- /tests/sierra_files/hello_starknet.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/hello_starknet.sierra -------------------------------------------------------------------------------- /tests/sierra_files/integer_overflow.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/integer_overflow.sierra -------------------------------------------------------------------------------- /tests/sierra_files/minimal_contract.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/minimal_contract.sierra -------------------------------------------------------------------------------- /tests/sierra_files/pedersen_test.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/pedersen_test.sierra -------------------------------------------------------------------------------- /tests/sierra_files/print_test.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/print_test.sierra -------------------------------------------------------------------------------- /tests/sierra_files/program.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/program.sierra -------------------------------------------------------------------------------- /tests/sierra_files/simple.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/simple.sierra -------------------------------------------------------------------------------- /tests/sierra_files/simple_enum.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/simple_enum.sierra -------------------------------------------------------------------------------- /tests/sierra_files/string.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/string.sierra -------------------------------------------------------------------------------- /tests/sierra_files/symbolic_execution_test.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/symbolic_execution_test.sierra -------------------------------------------------------------------------------- /tests/sierra_files/test_checker.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/test_checker.sierra -------------------------------------------------------------------------------- /tests/sierra_files/test_checker_2.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/test_checker_2.sierra -------------------------------------------------------------------------------- /tests/sierra_files/test_contract.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/test_contract.sierra -------------------------------------------------------------------------------- /tests/sierra_files/testing.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/testing.sierra -------------------------------------------------------------------------------- /tests/sierra_files/token_bridge.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/token_bridge.sierra -------------------------------------------------------------------------------- /tests/sierra_files/types.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/types.sierra -------------------------------------------------------------------------------- /tests/sierra_files/uint.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/uint.sierra -------------------------------------------------------------------------------- /tests/sierra_files/withdraw.sierra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/sierra_files/withdraw.sierra -------------------------------------------------------------------------------- /tests/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/test.py -------------------------------------------------------------------------------- /tests/test_thoth_sierra.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/tests/test_thoth_sierra.py -------------------------------------------------------------------------------- /thoth/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/__init__.py -------------------------------------------------------------------------------- /thoth/app/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /thoth/app/analyzer/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/analyzer/__init__.py -------------------------------------------------------------------------------- /thoth/app/analyzer/abstract_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/analyzer/abstract_analyzer.py -------------------------------------------------------------------------------- /thoth/app/analyzer/erc/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /thoth/app/analyzer/erc/erc20_detector.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/analyzer/erc/erc20_detector.py -------------------------------------------------------------------------------- /thoth/app/analyzer/erc/erc721_detector.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/analyzer/erc/erc721_detector.py -------------------------------------------------------------------------------- /thoth/app/analyzer/functions/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /thoth/app/analyzer/functions/functions_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/analyzer/functions/functions_analyzer.py -------------------------------------------------------------------------------- /thoth/app/analyzer/naming/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /thoth/app/analyzer/naming/functions_naming_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/analyzer/naming/functions_naming_analyzer.py -------------------------------------------------------------------------------- /thoth/app/analyzer/naming/variables_naming_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/analyzer/naming/variables_naming_analyzer.py -------------------------------------------------------------------------------- /thoth/app/analyzer/overflow/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /thoth/app/analyzer/overflow/integer_overflow_detector.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/analyzer/overflow/integer_overflow_detector.py -------------------------------------------------------------------------------- /thoth/app/analyzer/statistics/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /thoth/app/analyzer/statistics/statistics_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/analyzer/statistics/statistics_analyzer.py -------------------------------------------------------------------------------- /thoth/app/analyzer/strings/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /thoth/app/analyzer/strings/strings_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/analyzer/strings/strings_analyzer.py -------------------------------------------------------------------------------- /thoth/app/analyzer/testing/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /thoth/app/analyzer/testing/fuzzer_input_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/analyzer/testing/fuzzer_input_generator.py -------------------------------------------------------------------------------- /thoth/app/analyzer/testing/tests_cases_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/analyzer/testing/tests_cases_generator.py -------------------------------------------------------------------------------- /thoth/app/analyzer/variables/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /thoth/app/analyzer/variables/assignations_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/analyzer/variables/assignations_analyzer.py -------------------------------------------------------------------------------- /thoth/app/arguments.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/arguments.py -------------------------------------------------------------------------------- /thoth/app/cfg/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /thoth/app/cfg/callgraph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/cfg/callgraph.py -------------------------------------------------------------------------------- /thoth/app/cfg/cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/cfg/cfg.py -------------------------------------------------------------------------------- /thoth/app/cfg/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/cfg/config.py -------------------------------------------------------------------------------- /thoth/app/decompiler/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /thoth/app/decompiler/_instruction_handlers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/decompiler/_instruction_handlers.py -------------------------------------------------------------------------------- /thoth/app/decompiler/decompiler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/decompiler/decompiler.py -------------------------------------------------------------------------------- /thoth/app/decompiler/ssa.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/decompiler/ssa.py -------------------------------------------------------------------------------- /thoth/app/decompiler/variable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/decompiler/variable.py -------------------------------------------------------------------------------- /thoth/app/dfg/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /thoth/app/dfg/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/dfg/config.py -------------------------------------------------------------------------------- /thoth/app/dfg/dfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/dfg/dfg.py -------------------------------------------------------------------------------- /thoth/app/dfg/objects.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/dfg/objects.py -------------------------------------------------------------------------------- /thoth/app/disassembler/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /thoth/app/disassembler/abi_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/disassembler/abi_parser.py -------------------------------------------------------------------------------- /thoth/app/disassembler/cairo_instruction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/disassembler/cairo_instruction.py -------------------------------------------------------------------------------- /thoth/app/disassembler/disassembler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/disassembler/disassembler.py -------------------------------------------------------------------------------- /thoth/app/disassembler/function.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/disassembler/function.py -------------------------------------------------------------------------------- /thoth/app/disassembler/instruction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/disassembler/instruction.py -------------------------------------------------------------------------------- /thoth/app/starknet/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /thoth/app/starknet/starknet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/starknet/starknet.py -------------------------------------------------------------------------------- /thoth/app/symbex/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /thoth/app/symbex/symbex.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/symbex/symbex.py -------------------------------------------------------------------------------- /thoth/app/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/app/utils.py -------------------------------------------------------------------------------- /thoth/thoth.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/thoth/thoth.py -------------------------------------------------------------------------------- /thoth/version.py: -------------------------------------------------------------------------------- 1 | __version__ = "0.12.0" 2 | -------------------------------------------------------------------------------- /vscode-extension/.eslintrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/vscode-extension/.eslintrc.json -------------------------------------------------------------------------------- /vscode-extension/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/vscode-extension/.gitignore -------------------------------------------------------------------------------- /vscode-extension/.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/vscode-extension/.vscodeignore -------------------------------------------------------------------------------- /vscode-extension/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/vscode-extension/CHANGELOG.md -------------------------------------------------------------------------------- /vscode-extension/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/vscode-extension/README.md -------------------------------------------------------------------------------- /vscode-extension/doc/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /vscode-extension/doc/run-commands-buttons.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/vscode-extension/doc/run-commands-buttons.png -------------------------------------------------------------------------------- /vscode-extension/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/vscode-extension/package-lock.json -------------------------------------------------------------------------------- /vscode-extension/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/vscode-extension/package.json -------------------------------------------------------------------------------- /vscode-extension/src/extension.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/vscode-extension/src/extension.ts -------------------------------------------------------------------------------- /vscode-extension/src/test/runTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/vscode-extension/src/test/runTest.ts -------------------------------------------------------------------------------- /vscode-extension/src/test/suite/extension.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/vscode-extension/src/test/suite/extension.test.ts -------------------------------------------------------------------------------- /vscode-extension/src/test/suite/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/vscode-extension/src/test/suite/index.ts -------------------------------------------------------------------------------- /vscode-extension/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/thoth/HEAD/vscode-extension/tsconfig.json --------------------------------------------------------------------------------