├── .dockerignore ├── .gitattributes ├── .github └── workflows │ ├── publish-docker-image.yml │ └── rust.yml ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── Dockerfile ├── LICENSE ├── README.md ├── gigahorse-toolchain ├── .dockerignore ├── .github │ └── workflows │ │ ├── docker-publish.yml │ │ ├── publish-m1-docker.yml │ │ └── run-tests.yml ├── .gitignore ├── .gitmodules ├── Advanced.md ├── LICENSE ├── README.md ├── bin │ ├── build_docker_image │ └── run_docker ├── clientlib │ ├── casts_shifts.dl │ ├── constant_folding_variable_value.dl │ ├── constants.dl │ ├── context-sensitivity │ │ └── client_context.dl │ ├── decompiler_imports.dl │ ├── dominators.dl │ ├── facts_to_cfg.py │ ├── flows.dl │ ├── function_inliner.dl │ ├── guards.dl │ ├── loops.dl │ ├── loops_semantics.dl │ ├── memory_modeling │ │ ├── README.md │ │ ├── arrays.dl │ │ ├── clienthelpers.dl │ │ ├── components.dl │ │ ├── core.dl │ │ ├── helpers.dl │ │ ├── loops.dl │ │ ├── memory_addresses.dl │ │ ├── memory_modeling.dl │ │ ├── memory_modeling_api.dl │ │ ├── metrics.dl │ │ ├── misc.dl │ │ ├── structs.dl │ │ └── uses_defs_abstractions.dl │ ├── storage_modeling │ │ ├── data_structures.dl │ │ ├── legacy_data_structures.dl │ │ ├── metrics.dl │ │ ├── storage_modeling.dl │ │ └── tight_packing.dl │ ├── tac-transformers │ │ ├── abstract_function_cloner.dl │ │ ├── abstract_function_inliner.dl │ │ └── abstract_tac_transformer.dl │ ├── tac_instructions.dl │ ├── util.dl │ └── vulnerability_macros.dl ├── clients │ ├── analytics_client.dl │ ├── leslie.dl │ ├── semantic.dl │ └── visualizeout.py ├── contracts │ ├── .keep │ ├── 0x0bd0D9BA4f52dB225B265c3Cffa7bc4a418D22A9.hex │ ├── 0x10C509AA9ab291C76c45414e7CdBd375e1D5AcE8.hex │ ├── 0x10ed43c718714eb63d5aa57b78b54704e256024e.hex │ ├── 0x16b9a82891338f9ba80e2d6970fdda79d1eb0dae.hex │ ├── 0x1bbadf2ef1840624ed574239d1855d8a589ac20d.hex │ ├── 0x3a84ad5d16adbe566baa6b3dafe39db3d5e261e5.hex │ ├── 0x55d398326f99059ff775485246999027b3197955.hex │ ├── 0x9a1e1ce099c8e7a2c73628a24fa792137dfb768c.hex │ ├── 0xb7a254237e05ccca0a756f75fb78ab2df222911b.hex │ ├── 0xbb4cdb9cbd36b01bd1cbaebf2de08d9173bc095c.hex │ ├── 0xbb652d0f1ebbc2c16632076b1592d45db61a7a68.hex │ ├── 0xc9f27a50f82571c1c8423a42970613b8dbda14ef.hex │ ├── 0xca143ce32fe78f1f7019d7d551a6402fc5350c73.hex │ ├── 0xd695c08a4c3b9fc646457ad6b0dc0a3b8f1219fe.hex │ ├── 0xde0cb15c6aa16d220549430b0ab90beb3694d10b.hex │ ├── 0xf938424f7210f31df2aee3011291b658f872e91e.hex │ ├── ac │ │ └── zongzi.hex │ └── createbin │ │ └── .keep ├── docker │ ├── linux │ │ └── Dockerfile │ └── mac │ │ ├── .gitkeep │ │ ├── Dockerfile │ │ └── souffle_2.2-1_arm64.deb ├── examples │ └── long_running.hex ├── fetch.sh ├── generatefacts ├── gigahorse.py ├── logic │ ├── README.md │ ├── context-sensitivity │ │ ├── abstract_context.dl │ │ ├── callsite_context.dl │ │ ├── context_sensitivity.dl │ │ ├── finite_precise_context.dl │ │ ├── finite_shrinking_context.dl │ │ ├── hybrid_precise_context.dl │ │ ├── selective_context.dl │ │ ├── transactional_context.dl │ │ ├── transactional_shrinking_context.dl │ │ └── transactional_with_residual_context.dl │ ├── debug.dl │ ├── decompiler_analytics.dl │ ├── decompiler_input_opcodes.dl │ ├── decompiler_input_statements.dl │ ├── decompiler_output.dl │ ├── fallback_precise.dl │ ├── fallback_scalable.dl │ ├── functions-fragments.dl │ ├── functions.dl │ ├── global.dl │ ├── global_pre_analysis.dl │ ├── local.dl │ ├── main.dl │ └── statement_insertor.dl ├── scripts │ └── docker │ │ ├── bin │ │ ├── docker_runner_amd64 │ │ └── docker_runner_arm64 │ │ └── install │ │ ├── install_amd64 │ │ └── install_arm64 ├── souffle-addon │ ├── .gitignore │ ├── Makefile │ ├── README.md │ ├── dlexample │ │ ├── README.md │ │ ├── keccak256client.dl │ │ └── num256client.dl │ ├── functor_includes.dl │ ├── keccak │ │ ├── KeccakHash.c │ │ ├── KeccakHash.h │ │ ├── KeccakP-1600-64.macros │ │ ├── KeccakP-1600-SnP.h │ │ ├── KeccakP-1600-opt64-config.h │ │ ├── KeccakP-1600-opt64.c │ │ ├── KeccakP-1600-unrolling.macros │ │ ├── KeccakSponge-common.h │ │ ├── KeccakSponge.inc │ │ ├── KeccakSpongeWidth1600.c │ │ ├── KeccakSpongeWidth1600.h │ │ ├── SimpleFIPS202.c │ │ ├── SimpleFIPS202.h │ │ ├── SnP-Relaned.h │ │ ├── align.h │ │ └── brg_endian.h │ ├── keccak256.cpp │ ├── keccak256_test.cpp │ ├── lists.cpp │ ├── lists_test.cpp │ ├── lists_test.dl │ ├── mappings.cpp │ ├── mappings_test.cpp │ ├── num256.cpp │ └── num256_test.cpp ├── src │ ├── __init__.py │ ├── basicblock.py │ ├── blockparse.py │ ├── common.py │ ├── exporter.py │ ├── opcodes.py │ └── runners.py ├── tac_gen_config.json ├── test_gigahorse.py ├── tests │ ├── context-sensitivity │ │ ├── callsite.hex │ │ ├── callsite.json │ │ ├── callsiteplus.hex │ │ ├── callsiteplus.json │ │ ├── finite-precise.hex │ │ ├── finite-precise.json │ │ ├── hybrid-precise.hex │ │ ├── hybrid-precise.json │ │ ├── selective.hex │ │ ├── selective.json │ │ ├── selectiveplus.hex │ │ ├── selectiveplus.json │ │ ├── shrinking-alt.hex │ │ ├── shrinking-alt.json │ │ ├── shrinking.hex │ │ ├── shrinking.json │ │ ├── transactional.hex │ │ └── transactional.json │ ├── core-decompiler │ │ ├── 00a3c53138715e8c2b8c078c7821e763-incomplete-with-opt.hex │ │ ├── 00a3c53138715e8c2b8c078c7821e763-incomplete-with-opt.json │ │ ├── 00a3c53138715e8c2b8c078c7821e763-incomplete-with-opt_metadata.json │ │ ├── 0x4679ea96f15a4742274dc72e1a58e01af333d302-incomplete-transferFrom.hex │ │ ├── 11116421e77b80a26b273843d54829d8.hex │ │ ├── 11116421e77b80a26b273843d54829d8.json │ │ ├── 11116421e77b80a26b273843d54829d8_metadata.json │ │ ├── 134a17969a5a108b721d9ff270bc6dca_callprivatei.hex │ │ ├── 134a17969a5a108b721d9ff270bc6dca_callprivatei.json │ │ ├── 134a17969a5a108b721d9ff270bc6dca_callprivatei_metadata.json │ │ ├── 2eb080bb2a31076a82ed1433ed020184-missingop.hex │ │ ├── 2eb080bb2a31076a82ed1433ed020184-missingop.json │ │ ├── multisig-with-daily-limit-0xf4e │ │ │ ├── 0xf4e11b89519eccd988a56749f1c64ad9bfe0298f-opt.hex │ │ │ ├── 0xf4e11b89519eccd988a56749f1c64ad9bfe0298f.hex │ │ │ └── 0xf4e11b89519eccd988a56749f1c64ad9bfe0298f.sol │ │ ├── name-service │ │ │ ├── name-service-opt.hex │ │ │ ├── name-service.hex │ │ │ └── name-service.sol │ │ ├── rubus-token-0x876 │ │ │ ├── 0x876a11639ce3d2bba1712fc9f47bd6faee575ad4-opt.hex │ │ │ ├── 0x876a11639ce3d2bba1712fc9f47bd6faee575ad4.hex │ │ │ └── 0x876a11639ce3d2bba1712fc9f47bd6faee575ad4.sol │ │ └── vickrey-auction │ │ │ ├── vickrey-auction.sol │ │ │ ├── vickrey-opt.hex │ │ │ └── vickrey.hex │ ├── default-fallback-scalable │ │ ├── 2d56cd44e89f2cf76a935c2508f710e7.hex │ │ └── 2d56cd44e89f2cf76a935c2508f710e7.json │ ├── early-cloning │ │ ├── 025e998a619d32b096abc559fb0e4b4b_preInsertor.hex │ │ ├── 025e998a619d32b096abc559fb0e4b4b_preInsertor.json │ │ ├── 025e998a619d32b096abc559fb0e4b4b_preInsertor_metadata.json │ │ └── no-jump-to-many │ │ │ ├── 0x7c643F04283229ed38c51531a9583E9036aC87Aa.hex │ │ │ └── config.json │ ├── guards │ │ ├── Guards.sol │ │ ├── external-guards.hex │ │ ├── external-guards.json │ │ ├── mapping-guard.hex │ │ ├── mapping-guard.json │ │ ├── owner-guard.hex │ │ ├── owner-guard.json │ │ └── reentrancy-guard.sol │ ├── memory-modeling │ │ ├── arrays │ │ │ ├── 0117c9ec55e2ac580fa9c9b1c2d1fff9.hex │ │ │ ├── 0117c9ec55e2ac580fa9c9b1c2d1fff9.json │ │ │ ├── Arrays.sol │ │ │ ├── callDataArrayGet.hex │ │ │ ├── callDataArrayGet.json │ │ │ ├── callDataArrays.hex │ │ │ └── callDataArrays.json │ │ ├── calls │ │ │ ├── 0x602B40BF327C10370483AE5ECDE15A7BB480DCCA.hex │ │ │ ├── 0xD6049E1F5F3EFF1F921F5532AF1A1632BA23929C.hex │ │ │ ├── abiencwithselector.hex │ │ │ └── abiencwithselector.json │ │ ├── errors │ │ │ ├── BasicError.sol │ │ │ ├── basic.hex │ │ │ └── basic.json │ │ ├── events │ │ │ ├── events1.hex │ │ │ ├── events1.json │ │ │ ├── events1.sol │ │ │ ├── events2.hex │ │ │ ├── events2.json │ │ │ └── events2.sol │ │ └── structs │ │ │ ├── array-struct.hex │ │ │ ├── array-struct.json │ │ │ ├── calldata-struct.hex │ │ │ ├── calldata-struct.json │ │ │ ├── simple-struct.hex │ │ │ ├── simple-struct.json │ │ │ ├── stored-struct.hex │ │ │ ├── stored-struct.json │ │ │ └── structs.sol │ ├── precise-fallback │ │ └── no-jump-to-many │ │ │ ├── 0x7c643F04283229ed38c51531a9583E9036aC87Aa.hex │ │ │ └── config.json │ ├── storage │ │ ├── 0xf40593A22398c277237266A81212f7D41023b630-merged.hex │ │ ├── Storage.sol │ │ ├── array-mapping.hex │ │ ├── array-mapping.json │ │ ├── array-two-words.hex │ │ ├── array-two-words.json │ │ ├── array1-iropt.hex │ │ ├── array1-iropt.json │ │ ├── array1.hex │ │ ├── array1.json │ │ ├── complex.hex │ │ ├── complex.json │ │ ├── map1.hex │ │ ├── map1.json │ │ ├── merged-iropt.hex │ │ ├── merged-iropt.json │ │ ├── merged-opt.hex │ │ ├── merged-opt.json │ │ ├── merged.hex │ │ ├── merged.json │ │ ├── nested-mapping.hex │ │ └── nested-mapping.json │ ├── via-ir │ │ ├── simple-storage.hex │ │ └── simple-storage.json │ └── vyper │ │ ├── blind.hex │ │ ├── blind.json │ │ ├── blind.vy │ │ ├── simple-open.hex │ │ ├── simple-open.json │ │ └── simple_open.vy └── tooling │ ├── compare-runs.py │ ├── directives.py │ └── gigahorse.html ├── logo.png └── src ├── analysis.rs ├── config.rs ├── contract ├── contract.rs ├── data_structure.rs ├── mod.rs └── status_fetcher.rs ├── error.rs ├── flow ├── flow_analysis.rs └── mod.rs ├── graph ├── call_graph.rs └── mod.rs ├── lib.rs ├── main.rs ├── outputter ├── mod.rs └── result_structure.rs └── utils.rs /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/.dockerignore -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/workflows/publish-docker-image.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/.github/workflows/publish-docker-image.yml -------------------------------------------------------------------------------- /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/Cargo.toml -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/README.md -------------------------------------------------------------------------------- /gigahorse-toolchain/.dockerignore: -------------------------------------------------------------------------------- 1 | .temp 2 | cache 3 | .git 4 | Dockerfile -------------------------------------------------------------------------------- /gigahorse-toolchain/.github/workflows/docker-publish.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/.github/workflows/docker-publish.yml -------------------------------------------------------------------------------- /gigahorse-toolchain/.github/workflows/publish-m1-docker.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/.github/workflows/publish-m1-docker.yml -------------------------------------------------------------------------------- /gigahorse-toolchain/.github/workflows/run-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/.github/workflows/run-tests.yml -------------------------------------------------------------------------------- /gigahorse-toolchain/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/.gitignore -------------------------------------------------------------------------------- /gigahorse-toolchain/.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/.gitmodules -------------------------------------------------------------------------------- /gigahorse-toolchain/Advanced.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/Advanced.md -------------------------------------------------------------------------------- /gigahorse-toolchain/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/LICENSE -------------------------------------------------------------------------------- /gigahorse-toolchain/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/README.md -------------------------------------------------------------------------------- /gigahorse-toolchain/bin/build_docker_image: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/bin/build_docker_image -------------------------------------------------------------------------------- /gigahorse-toolchain/bin/run_docker: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/bin/run_docker -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/casts_shifts.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/casts_shifts.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/constant_folding_variable_value.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/constant_folding_variable_value.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/constants.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/constants.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/context-sensitivity/client_context.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/context-sensitivity/client_context.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/decompiler_imports.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/decompiler_imports.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/dominators.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/dominators.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/facts_to_cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/facts_to_cfg.py -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/flows.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/flows.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/function_inliner.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/function_inliner.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/guards.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/guards.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/loops.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/loops.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/loops_semantics.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/loops_semantics.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/memory_modeling/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/memory_modeling/README.md -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/memory_modeling/arrays.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/memory_modeling/arrays.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/memory_modeling/clienthelpers.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/memory_modeling/clienthelpers.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/memory_modeling/components.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/memory_modeling/components.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/memory_modeling/core.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/memory_modeling/core.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/memory_modeling/helpers.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/memory_modeling/helpers.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/memory_modeling/loops.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/memory_modeling/loops.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/memory_modeling/memory_addresses.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/memory_modeling/memory_addresses.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/memory_modeling/memory_modeling.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/memory_modeling/memory_modeling.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/memory_modeling/memory_modeling_api.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/memory_modeling/memory_modeling_api.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/memory_modeling/metrics.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/memory_modeling/metrics.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/memory_modeling/misc.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/memory_modeling/misc.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/memory_modeling/structs.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/memory_modeling/structs.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/memory_modeling/uses_defs_abstractions.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/memory_modeling/uses_defs_abstractions.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/storage_modeling/data_structures.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/storage_modeling/data_structures.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/storage_modeling/legacy_data_structures.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/storage_modeling/legacy_data_structures.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/storage_modeling/metrics.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/storage_modeling/metrics.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/storage_modeling/storage_modeling.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/storage_modeling/storage_modeling.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/storage_modeling/tight_packing.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/storage_modeling/tight_packing.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/tac-transformers/abstract_function_cloner.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/tac-transformers/abstract_function_cloner.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/tac-transformers/abstract_function_inliner.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/tac-transformers/abstract_function_inliner.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/tac-transformers/abstract_tac_transformer.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/tac-transformers/abstract_tac_transformer.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/tac_instructions.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/tac_instructions.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/util.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/util.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clientlib/vulnerability_macros.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clientlib/vulnerability_macros.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clients/analytics_client.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clients/analytics_client.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clients/leslie.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clients/leslie.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clients/semantic.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clients/semantic.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/clients/visualizeout.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/clients/visualizeout.py -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/.keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/0x0bd0D9BA4f52dB225B265c3Cffa7bc4a418D22A9.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/contracts/0x0bd0D9BA4f52dB225B265c3Cffa7bc4a418D22A9.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/0x10C509AA9ab291C76c45414e7CdBd375e1D5AcE8.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/contracts/0x10C509AA9ab291C76c45414e7CdBd375e1D5AcE8.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/0x10ed43c718714eb63d5aa57b78b54704e256024e.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/contracts/0x10ed43c718714eb63d5aa57b78b54704e256024e.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/0x16b9a82891338f9ba80e2d6970fdda79d1eb0dae.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/contracts/0x16b9a82891338f9ba80e2d6970fdda79d1eb0dae.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/0x1bbadf2ef1840624ed574239d1855d8a589ac20d.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/contracts/0x1bbadf2ef1840624ed574239d1855d8a589ac20d.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/0x3a84ad5d16adbe566baa6b3dafe39db3d5e261e5.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/contracts/0x3a84ad5d16adbe566baa6b3dafe39db3d5e261e5.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/0x55d398326f99059ff775485246999027b3197955.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/contracts/0x55d398326f99059ff775485246999027b3197955.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/0x9a1e1ce099c8e7a2c73628a24fa792137dfb768c.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/contracts/0x9a1e1ce099c8e7a2c73628a24fa792137dfb768c.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/0xb7a254237e05ccca0a756f75fb78ab2df222911b.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/contracts/0xb7a254237e05ccca0a756f75fb78ab2df222911b.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/0xbb4cdb9cbd36b01bd1cbaebf2de08d9173bc095c.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/contracts/0xbb4cdb9cbd36b01bd1cbaebf2de08d9173bc095c.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/0xbb652d0f1ebbc2c16632076b1592d45db61a7a68.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/contracts/0xbb652d0f1ebbc2c16632076b1592d45db61a7a68.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/0xc9f27a50f82571c1c8423a42970613b8dbda14ef.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/contracts/0xc9f27a50f82571c1c8423a42970613b8dbda14ef.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/0xca143ce32fe78f1f7019d7d551a6402fc5350c73.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/contracts/0xca143ce32fe78f1f7019d7d551a6402fc5350c73.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/0xd695c08a4c3b9fc646457ad6b0dc0a3b8f1219fe.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/contracts/0xd695c08a4c3b9fc646457ad6b0dc0a3b8f1219fe.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/0xde0cb15c6aa16d220549430b0ab90beb3694d10b.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/contracts/0xde0cb15c6aa16d220549430b0ab90beb3694d10b.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/0xf938424f7210f31df2aee3011291b658f872e91e.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/contracts/0xf938424f7210f31df2aee3011291b658f872e91e.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/ac/zongzi.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/contracts/ac/zongzi.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/contracts/createbin/.keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /gigahorse-toolchain/docker/linux/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/docker/linux/Dockerfile -------------------------------------------------------------------------------- /gigahorse-toolchain/docker/mac/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /gigahorse-toolchain/docker/mac/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/docker/mac/Dockerfile -------------------------------------------------------------------------------- /gigahorse-toolchain/docker/mac/souffle_2.2-1_arm64.deb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/docker/mac/souffle_2.2-1_arm64.deb -------------------------------------------------------------------------------- /gigahorse-toolchain/examples/long_running.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/examples/long_running.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/fetch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/fetch.sh -------------------------------------------------------------------------------- /gigahorse-toolchain/generatefacts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/generatefacts -------------------------------------------------------------------------------- /gigahorse-toolchain/gigahorse.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/gigahorse.py -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/README.md -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/context-sensitivity/abstract_context.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/context-sensitivity/abstract_context.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/context-sensitivity/callsite_context.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/context-sensitivity/callsite_context.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/context-sensitivity/context_sensitivity.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/context-sensitivity/context_sensitivity.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/context-sensitivity/finite_precise_context.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/context-sensitivity/finite_precise_context.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/context-sensitivity/finite_shrinking_context.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/context-sensitivity/finite_shrinking_context.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/context-sensitivity/hybrid_precise_context.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/context-sensitivity/hybrid_precise_context.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/context-sensitivity/selective_context.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/context-sensitivity/selective_context.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/context-sensitivity/transactional_context.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/context-sensitivity/transactional_context.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/context-sensitivity/transactional_shrinking_context.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/context-sensitivity/transactional_shrinking_context.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/context-sensitivity/transactional_with_residual_context.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/context-sensitivity/transactional_with_residual_context.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/debug.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/debug.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/decompiler_analytics.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/decompiler_analytics.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/decompiler_input_opcodes.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/decompiler_input_opcodes.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/decompiler_input_statements.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/decompiler_input_statements.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/decompiler_output.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/decompiler_output.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/fallback_precise.dl: -------------------------------------------------------------------------------- 1 | 2 | #define BLOCK_CLONING HeuristicBlockCloner 3 | 4 | #include "main.dl" -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/fallback_scalable.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/fallback_scalable.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/functions-fragments.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/functions-fragments.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/functions.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/functions.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/global.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/global.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/global_pre_analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/global_pre_analysis.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/local.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/local.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/main.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/main.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/logic/statement_insertor.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/logic/statement_insertor.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/scripts/docker/bin/docker_runner_amd64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/scripts/docker/bin/docker_runner_amd64 -------------------------------------------------------------------------------- /gigahorse-toolchain/scripts/docker/bin/docker_runner_arm64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/scripts/docker/bin/docker_runner_arm64 -------------------------------------------------------------------------------- /gigahorse-toolchain/scripts/docker/install/install_amd64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/scripts/docker/install/install_amd64 -------------------------------------------------------------------------------- /gigahorse-toolchain/scripts/docker/install/install_arm64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/scripts/docker/install/install_arm64 -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/.gitignore -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/Makefile -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/README.md -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/dlexample/README.md: -------------------------------------------------------------------------------- 1 | Skeletal client for demonstration of usage 2 | -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/dlexample/keccak256client.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/dlexample/keccak256client.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/dlexample/num256client.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/dlexample/num256client.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/functor_includes.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/functor_includes.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak/KeccakHash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak/KeccakHash.c -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak/KeccakHash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak/KeccakHash.h -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak/KeccakP-1600-64.macros: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak/KeccakP-1600-64.macros -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak/KeccakP-1600-SnP.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak/KeccakP-1600-SnP.h -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak/KeccakP-1600-opt64-config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak/KeccakP-1600-opt64-config.h -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak/KeccakP-1600-opt64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak/KeccakP-1600-opt64.c -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak/KeccakP-1600-unrolling.macros: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak/KeccakP-1600-unrolling.macros -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak/KeccakSponge-common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak/KeccakSponge-common.h -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak/KeccakSponge.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak/KeccakSponge.inc -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak/KeccakSpongeWidth1600.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak/KeccakSpongeWidth1600.c -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak/KeccakSpongeWidth1600.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak/KeccakSpongeWidth1600.h -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak/SimpleFIPS202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak/SimpleFIPS202.c -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak/SimpleFIPS202.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak/SimpleFIPS202.h -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak/SnP-Relaned.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak/SnP-Relaned.h -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak/align.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak/align.h -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak/brg_endian.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak/brg_endian.h -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak256.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak256.cpp -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/keccak256_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/keccak256_test.cpp -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/lists.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/lists.cpp -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/lists_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/lists_test.cpp -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/lists_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/lists_test.dl -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/mappings.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/mappings.cpp -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/mappings_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/mappings_test.cpp -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/num256.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/num256.cpp -------------------------------------------------------------------------------- /gigahorse-toolchain/souffle-addon/num256_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/souffle-addon/num256_test.cpp -------------------------------------------------------------------------------- /gigahorse-toolchain/src/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /gigahorse-toolchain/src/basicblock.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/src/basicblock.py -------------------------------------------------------------------------------- /gigahorse-toolchain/src/blockparse.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/src/blockparse.py -------------------------------------------------------------------------------- /gigahorse-toolchain/src/common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/src/common.py -------------------------------------------------------------------------------- /gigahorse-toolchain/src/exporter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/src/exporter.py -------------------------------------------------------------------------------- /gigahorse-toolchain/src/opcodes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/src/opcodes.py -------------------------------------------------------------------------------- /gigahorse-toolchain/src/runners.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/src/runners.py -------------------------------------------------------------------------------- /gigahorse-toolchain/tac_gen_config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tac_gen_config.json -------------------------------------------------------------------------------- /gigahorse-toolchain/test_gigahorse.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/test_gigahorse.py -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/callsite.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/callsite.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/callsite.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/callsite.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/callsiteplus.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/callsiteplus.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/callsiteplus.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/callsiteplus.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/finite-precise.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/finite-precise.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/finite-precise.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/finite-precise.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/hybrid-precise.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/hybrid-precise.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/hybrid-precise.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/hybrid-precise.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/selective.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/selective.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/selective.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/selective.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/selectiveplus.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/selectiveplus.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/selectiveplus.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/selectiveplus.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/shrinking-alt.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/shrinking-alt.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/shrinking-alt.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/shrinking-alt.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/shrinking.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/shrinking.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/shrinking.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/shrinking.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/transactional.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/transactional.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/context-sensitivity/transactional.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/context-sensitivity/transactional.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/00a3c53138715e8c2b8c078c7821e763-incomplete-with-opt.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/00a3c53138715e8c2b8c078c7821e763-incomplete-with-opt.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/00a3c53138715e8c2b8c078c7821e763-incomplete-with-opt.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/00a3c53138715e8c2b8c078c7821e763-incomplete-with-opt.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/00a3c53138715e8c2b8c078c7821e763-incomplete-with-opt_metadata.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/00a3c53138715e8c2b8c078c7821e763-incomplete-with-opt_metadata.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/0x4679ea96f15a4742274dc72e1a58e01af333d302-incomplete-transferFrom.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/0x4679ea96f15a4742274dc72e1a58e01af333d302-incomplete-transferFrom.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/11116421e77b80a26b273843d54829d8.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/11116421e77b80a26b273843d54829d8.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/11116421e77b80a26b273843d54829d8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/11116421e77b80a26b273843d54829d8.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/11116421e77b80a26b273843d54829d8_metadata.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/11116421e77b80a26b273843d54829d8_metadata.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/134a17969a5a108b721d9ff270bc6dca_callprivatei.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/134a17969a5a108b721d9ff270bc6dca_callprivatei.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/134a17969a5a108b721d9ff270bc6dca_callprivatei.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/134a17969a5a108b721d9ff270bc6dca_callprivatei.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/134a17969a5a108b721d9ff270bc6dca_callprivatei_metadata.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/134a17969a5a108b721d9ff270bc6dca_callprivatei_metadata.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/2eb080bb2a31076a82ed1433ed020184-missingop.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/2eb080bb2a31076a82ed1433ed020184-missingop.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/2eb080bb2a31076a82ed1433ed020184-missingop.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/2eb080bb2a31076a82ed1433ed020184-missingop.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/multisig-with-daily-limit-0xf4e/0xf4e11b89519eccd988a56749f1c64ad9bfe0298f-opt.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/multisig-with-daily-limit-0xf4e/0xf4e11b89519eccd988a56749f1c64ad9bfe0298f-opt.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/multisig-with-daily-limit-0xf4e/0xf4e11b89519eccd988a56749f1c64ad9bfe0298f.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/multisig-with-daily-limit-0xf4e/0xf4e11b89519eccd988a56749f1c64ad9bfe0298f.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/multisig-with-daily-limit-0xf4e/0xf4e11b89519eccd988a56749f1c64ad9bfe0298f.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/multisig-with-daily-limit-0xf4e/0xf4e11b89519eccd988a56749f1c64ad9bfe0298f.sol -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/name-service/name-service-opt.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/name-service/name-service-opt.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/name-service/name-service.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/name-service/name-service.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/name-service/name-service.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/name-service/name-service.sol -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/rubus-token-0x876/0x876a11639ce3d2bba1712fc9f47bd6faee575ad4-opt.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/rubus-token-0x876/0x876a11639ce3d2bba1712fc9f47bd6faee575ad4-opt.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/rubus-token-0x876/0x876a11639ce3d2bba1712fc9f47bd6faee575ad4.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/rubus-token-0x876/0x876a11639ce3d2bba1712fc9f47bd6faee575ad4.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/rubus-token-0x876/0x876a11639ce3d2bba1712fc9f47bd6faee575ad4.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/rubus-token-0x876/0x876a11639ce3d2bba1712fc9f47bd6faee575ad4.sol -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/vickrey-auction/vickrey-auction.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/vickrey-auction/vickrey-auction.sol -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/vickrey-auction/vickrey-opt.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/vickrey-auction/vickrey-opt.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/core-decompiler/vickrey-auction/vickrey.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/core-decompiler/vickrey-auction/vickrey.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/default-fallback-scalable/2d56cd44e89f2cf76a935c2508f710e7.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/default-fallback-scalable/2d56cd44e89f2cf76a935c2508f710e7.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/default-fallback-scalable/2d56cd44e89f2cf76a935c2508f710e7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/default-fallback-scalable/2d56cd44e89f2cf76a935c2508f710e7.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/early-cloning/025e998a619d32b096abc559fb0e4b4b_preInsertor.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/early-cloning/025e998a619d32b096abc559fb0e4b4b_preInsertor.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/early-cloning/025e998a619d32b096abc559fb0e4b4b_preInsertor.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/early-cloning/025e998a619d32b096abc559fb0e4b4b_preInsertor.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/early-cloning/025e998a619d32b096abc559fb0e4b4b_preInsertor_metadata.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/early-cloning/025e998a619d32b096abc559fb0e4b4b_preInsertor_metadata.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/early-cloning/no-jump-to-many/0x7c643F04283229ed38c51531a9583E9036aC87Aa.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/early-cloning/no-jump-to-many/0x7c643F04283229ed38c51531a9583E9036aC87Aa.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/early-cloning/no-jump-to-many/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/early-cloning/no-jump-to-many/config.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/guards/Guards.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/guards/Guards.sol -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/guards/external-guards.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/guards/external-guards.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/guards/external-guards.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/guards/external-guards.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/guards/mapping-guard.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/guards/mapping-guard.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/guards/mapping-guard.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/guards/mapping-guard.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/guards/owner-guard.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/guards/owner-guard.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/guards/owner-guard.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/guards/owner-guard.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/guards/reentrancy-guard.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/guards/reentrancy-guard.sol -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/arrays/0117c9ec55e2ac580fa9c9b1c2d1fff9.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/arrays/0117c9ec55e2ac580fa9c9b1c2d1fff9.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/arrays/0117c9ec55e2ac580fa9c9b1c2d1fff9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/arrays/0117c9ec55e2ac580fa9c9b1c2d1fff9.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/arrays/Arrays.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/arrays/Arrays.sol -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/arrays/callDataArrayGet.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/arrays/callDataArrayGet.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/arrays/callDataArrayGet.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/arrays/callDataArrayGet.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/arrays/callDataArrays.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/arrays/callDataArrays.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/arrays/callDataArrays.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/arrays/callDataArrays.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/calls/0x602B40BF327C10370483AE5ECDE15A7BB480DCCA.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/calls/0x602B40BF327C10370483AE5ECDE15A7BB480DCCA.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/calls/0xD6049E1F5F3EFF1F921F5532AF1A1632BA23929C.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/calls/0xD6049E1F5F3EFF1F921F5532AF1A1632BA23929C.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/calls/abiencwithselector.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/calls/abiencwithselector.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/calls/abiencwithselector.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/calls/abiencwithselector.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/errors/BasicError.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/errors/BasicError.sol -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/errors/basic.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/errors/basic.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/errors/basic.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/errors/basic.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/events/events1.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/events/events1.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/events/events1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/events/events1.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/events/events1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/events/events1.sol -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/events/events2.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/events/events2.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/events/events2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/events/events2.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/events/events2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/events/events2.sol -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/structs/array-struct.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/structs/array-struct.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/structs/array-struct.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/structs/array-struct.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/structs/calldata-struct.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/structs/calldata-struct.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/structs/calldata-struct.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/structs/calldata-struct.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/structs/simple-struct.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/structs/simple-struct.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/structs/simple-struct.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/structs/simple-struct.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/structs/stored-struct.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/structs/stored-struct.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/structs/stored-struct.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/structs/stored-struct.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/memory-modeling/structs/structs.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/memory-modeling/structs/structs.sol -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/precise-fallback/no-jump-to-many/0x7c643F04283229ed38c51531a9583E9036aC87Aa.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/precise-fallback/no-jump-to-many/0x7c643F04283229ed38c51531a9583E9036aC87Aa.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/precise-fallback/no-jump-to-many/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/precise-fallback/no-jump-to-many/config.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/0xf40593A22398c277237266A81212f7D41023b630-merged.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/0xf40593A22398c277237266A81212f7D41023b630-merged.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/Storage.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/Storage.sol -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/array-mapping.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/array-mapping.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/array-mapping.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/array-mapping.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/array-two-words.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/array-two-words.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/array-two-words.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/array-two-words.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/array1-iropt.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/array1-iropt.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/array1-iropt.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/array1-iropt.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/array1.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/array1.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/array1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/array1.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/complex.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/complex.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/complex.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/complex.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/map1.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/map1.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/map1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/map1.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/merged-iropt.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/merged-iropt.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/merged-iropt.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/merged-iropt.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/merged-opt.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/merged-opt.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/merged-opt.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/merged-opt.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/merged.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/merged.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/merged.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/merged.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/nested-mapping.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/nested-mapping.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/storage/nested-mapping.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/storage/nested-mapping.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/via-ir/simple-storage.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/via-ir/simple-storage.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/via-ir/simple-storage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/via-ir/simple-storage.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/vyper/blind.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/vyper/blind.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/vyper/blind.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/vyper/blind.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/vyper/blind.vy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/vyper/blind.vy -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/vyper/simple-open.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/vyper/simple-open.hex -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/vyper/simple-open.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/vyper/simple-open.json -------------------------------------------------------------------------------- /gigahorse-toolchain/tests/vyper/simple_open.vy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tests/vyper/simple_open.vy -------------------------------------------------------------------------------- /gigahorse-toolchain/tooling/compare-runs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tooling/compare-runs.py -------------------------------------------------------------------------------- /gigahorse-toolchain/tooling/directives.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tooling/directives.py -------------------------------------------------------------------------------- /gigahorse-toolchain/tooling/gigahorse.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/gigahorse-toolchain/tooling/gigahorse.html -------------------------------------------------------------------------------- /logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/logo.png -------------------------------------------------------------------------------- /src/analysis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/src/analysis.rs -------------------------------------------------------------------------------- /src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/src/config.rs -------------------------------------------------------------------------------- /src/contract/contract.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/src/contract/contract.rs -------------------------------------------------------------------------------- /src/contract/data_structure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/src/contract/data_structure.rs -------------------------------------------------------------------------------- /src/contract/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/src/contract/mod.rs -------------------------------------------------------------------------------- /src/contract/status_fetcher.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/src/contract/status_fetcher.rs -------------------------------------------------------------------------------- /src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/src/error.rs -------------------------------------------------------------------------------- /src/flow/flow_analysis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/src/flow/flow_analysis.rs -------------------------------------------------------------------------------- /src/flow/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod flow_analysis; 2 | -------------------------------------------------------------------------------- /src/graph/call_graph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/src/graph/call_graph.rs -------------------------------------------------------------------------------- /src/graph/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod call_graph; 2 | -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/outputter/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod result_structure; 2 | -------------------------------------------------------------------------------- /src/outputter/result_structure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/src/outputter/result_structure.rs -------------------------------------------------------------------------------- /src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shuo-young/lydia/HEAD/src/utils.rs --------------------------------------------------------------------------------