├── .dockerignore ├── .github ├── RELEASE_FAILURE_ISSUE_TEMPLATE.md ├── changelog.json ├── scripts │ ├── create-tag.js │ ├── move-tag.js │ └── prune-prereleases.js └── workflows │ ├── docker-arm.yml │ ├── docker-x86.yml │ ├── release.yml │ └── rust.yml ├── .gitignore ├── .gitmodules ├── CNAME ├── Cargo.lock ├── Cargo.toml ├── Dockerfile ├── FUNDING.json ├── LICENSE ├── Makefile.toml ├── README.md ├── README_CN.md ├── backtesting.md ├── benches └── ityfuzz.rs ├── ci.py ├── integration-test.md ├── integration_test.py ├── ityfuzzup ├── install └── ityfuzzup ├── onchain_scripts ├── debug_file_generator.py ├── evaluate.py ├── immunefi.py ├── requirements.txt └── target.txt ├── onchain_tests.txt ├── rust-toolchain.toml ├── rustfmt.toml ├── server ├── app.js ├── package-lock.json └── package.json ├── solidity_utils └── lib.sol ├── src ├── README.md ├── build.rs ├── cache.rs ├── const.rs ├── evm │ ├── README.md │ ├── abi.rs │ ├── blaz │ │ ├── builder.rs │ │ ├── linking.rs │ │ ├── mod.rs │ │ ├── offchain_artifacts.rs │ │ └── offchain_config.rs │ ├── bytecode_analyzer.rs │ ├── bytecode_iterator.rs │ ├── concolic │ │ ├── concolic_host.rs │ │ ├── concolic_stage.rs │ │ ├── expr.rs │ │ └── mod.rs │ ├── config.rs │ ├── contract_utils.rs │ ├── corpus_initializer.rs │ ├── cov_stage.rs │ ├── feedbacks.rs │ ├── host.rs │ ├── input.rs │ ├── middlewares │ │ ├── call_printer.rs │ │ ├── cheatcode │ │ │ ├── assert.rs │ │ │ ├── common.rs │ │ │ ├── env.rs │ │ │ ├── expect.rs │ │ │ ├── fork.rs │ │ │ ├── mod.rs │ │ │ └── string.rs │ │ ├── coverage.rs │ │ ├── middleware.rs │ │ ├── mod.rs │ │ ├── reentrancy.rs │ │ └── sha3_bypass.rs │ ├── minimizer.rs │ ├── mod.rs │ ├── mutator.rs │ ├── onchain │ │ ├── abi_decompiler.rs │ │ ├── endpoints.rs │ │ ├── flashloan.rs │ │ ├── mod.rs │ │ └── offchain.rs │ ├── oracle.rs │ ├── oracles │ │ ├── arb_call.rs │ │ ├── arb_transfer.rs │ │ ├── echidna.rs │ │ ├── erc20.rs │ │ ├── function.rs │ │ ├── invariant.rs │ │ ├── mod.rs │ │ ├── reentrancy.rs │ │ ├── selfdestruct.rs │ │ ├── state_comp.rs │ │ ├── typed_bug.rs │ │ └── v2_pair.rs │ ├── presets │ │ ├── mod.rs │ │ └── pair.rs │ ├── producers │ │ ├── README.md │ │ ├── erc20.rs │ │ ├── mod.rs │ │ └── pair.rs │ ├── scheduler.rs │ ├── solution │ │ ├── abi.rs │ │ ├── foundry_test.hbs │ │ └── mod.rs │ ├── srcmap │ │ └── mod.rs │ ├── tokens │ │ ├── constant_pair.rs │ │ ├── mod.rs │ │ ├── uniswap.rs │ │ ├── v2_transformer.rs │ │ ├── v3_transformer.rs │ │ └── weth_transformer.rs │ ├── types.rs │ ├── utils.rs │ └── vm.rs ├── executor.rs ├── feedback.rs ├── fuzzer.rs ├── fuzzers │ ├── evm_fuzzer.rs │ ├── mod.rs │ └── move_fuzzer.rs ├── generic_vm │ ├── mod.rs │ ├── vm_executor.rs │ └── vm_state.rs ├── indexed_corpus.rs ├── input.rs ├── logger.rs ├── main.rs ├── minimizer.rs ├── move │ ├── corpus_initializer.rs │ ├── input.rs │ ├── input_printer.rs │ ├── minimizer.rs │ ├── mod.rs │ ├── movevm.rs │ ├── mutator.rs │ ├── oracles │ │ ├── mod.rs │ │ └── typed_bug.rs │ ├── scheduler.rs │ ├── types.rs │ └── vm_state.rs ├── mutation_utils.rs ├── oracle.rs ├── power_sched.rs ├── scheduler.rs ├── state.rs ├── state_input.rs └── tracer.rs ├── tests ├── evm │ ├── balance │ │ └── test.sol │ ├── complex-condition │ │ └── test.sol │ ├── concolic-1 │ │ └── test.sol │ ├── concolic-2 │ │ ├── main.address │ │ ├── sb.address │ │ └── test.sol │ ├── concolic-for │ │ └── test.sol │ ├── concolic-origin │ │ ├── main.address │ │ ├── sb.address │ │ └── test.sol │ ├── echidna_flag │ │ └── test.sol │ ├── external_calls │ │ ├── Callee.address │ │ ├── Caller.address │ │ └── test.sol │ ├── invariant │ │ └── A.t.sol │ ├── olympus-simple │ │ └── test.sol │ ├── overflow │ │ └── overflow.t.sol │ ├── reentrancy │ │ └── main.sol │ ├── return │ │ └── test.sol │ ├── selfdestruct │ │ └── test.sol │ ├── taints-1 │ │ └── test.sol │ └── verilog-2 │ │ ├── Bounty.sol │ │ ├── README.md │ │ ├── WMATICV2.address │ │ ├── WMATICV2.sol │ │ ├── interfaces │ │ ├── IERC20.sol │ │ ├── IUniswapV2Pair.sol │ │ ├── IWMATIC.sol │ │ └── IWMATICV2.sol │ │ └── libraries │ │ └── TransferHelper.sol ├── evm_manual │ ├── .DS_Store │ └── foundry1 │ │ ├── .gitignore │ │ ├── foundry.toml │ │ ├── solidity_utils │ │ └── lib.sol │ │ ├── src │ │ ├── CountLib.sol │ │ ├── Counter.sol │ │ ├── CounterLibByLib.sol │ │ ├── Create3Deploy.sol │ │ ├── ItyFuzzToken.sol │ │ └── UniswapV2.sol │ │ └── test │ │ ├── CheatCodeTest.sol │ │ ├── CountLib.t.sol │ │ ├── CountTest.t.sol │ │ ├── Counter.t.sol │ │ ├── CounterLibByLibTest.sol │ │ ├── Create3Deploy.t.sol │ │ ├── StaxExploit.t.sol │ │ └── V2Pair.t.sol ├── evm_never_pass │ └── out-of-memory │ │ └── test.sol ├── evm_real_balance │ ├── contract1.abi │ ├── contract1.bin │ ├── contract2.abi │ ├── contract2.bin │ ├── contract3.abi │ ├── contract3.bin │ └── test_real_balance.sol ├── move │ ├── generic_struct │ │ ├── Move.toml │ │ └── sources │ │ │ └── test.move │ ├── helloworld │ │ ├── Move.toml │ │ └── sources │ │ │ └── test.move │ ├── share_object │ │ ├── Move.toml │ │ └── sources │ │ │ └── test.move │ ├── struct_tests │ │ ├── Move.toml │ │ └── sources │ │ │ └── test.move │ └── swap │ │ ├── Move.toml │ │ └── sources │ │ ├── Swap.move │ │ ├── TokenA.move │ │ └── TokenB.move └── presets │ ├── DefiHacksPresets.json │ ├── cheatcode │ ├── Caller.bytecode │ ├── Caller.sol │ ├── Cheatcode.t.bytecode │ ├── Cheatcode.t.sol │ ├── Emitter.bytecode │ ├── Emitter.sol │ ├── Reverter.bytecode │ └── Reverter.sol │ └── v2_pair │ ├── USDT.bytecode │ ├── UniswapV2Pair.bytecode │ └── WETH9.bytecode └── ui ├── backend.py ├── requirements.txt ├── start.sh ├── static ├── assets │ ├── index-1dac2a37.css │ └── index-fea20553.js ├── index.html └── offchain_verilog.zip └── wrapper.py /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/.dockerignore -------------------------------------------------------------------------------- /.github/RELEASE_FAILURE_ISSUE_TEMPLATE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/.github/RELEASE_FAILURE_ISSUE_TEMPLATE.md -------------------------------------------------------------------------------- /.github/changelog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/.github/changelog.json -------------------------------------------------------------------------------- /.github/scripts/create-tag.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/.github/scripts/create-tag.js -------------------------------------------------------------------------------- /.github/scripts/move-tag.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/.github/scripts/move-tag.js -------------------------------------------------------------------------------- /.github/scripts/prune-prereleases.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/.github/scripts/prune-prereleases.js -------------------------------------------------------------------------------- /.github/workflows/docker-arm.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/.github/workflows/docker-arm.yml -------------------------------------------------------------------------------- /.github/workflows/docker-x86.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/.github/workflows/docker-x86.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/.gitmodules -------------------------------------------------------------------------------- /CNAME: -------------------------------------------------------------------------------- 1 | ity.fuzz.land -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/Cargo.toml -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/Dockerfile -------------------------------------------------------------------------------- /FUNDING.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/FUNDING.json -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/Makefile.toml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/README.md -------------------------------------------------------------------------------- /README_CN.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/README_CN.md -------------------------------------------------------------------------------- /backtesting.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/backtesting.md -------------------------------------------------------------------------------- /benches/ityfuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/benches/ityfuzz.rs -------------------------------------------------------------------------------- /ci.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/ci.py -------------------------------------------------------------------------------- /integration-test.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/integration-test.md -------------------------------------------------------------------------------- /integration_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/integration_test.py -------------------------------------------------------------------------------- /ityfuzzup/install: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/ityfuzzup/install -------------------------------------------------------------------------------- /ityfuzzup/ityfuzzup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/ityfuzzup/ityfuzzup -------------------------------------------------------------------------------- /onchain_scripts/debug_file_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/onchain_scripts/debug_file_generator.py -------------------------------------------------------------------------------- /onchain_scripts/evaluate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/onchain_scripts/evaluate.py -------------------------------------------------------------------------------- /onchain_scripts/immunefi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/onchain_scripts/immunefi.py -------------------------------------------------------------------------------- /onchain_scripts/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/onchain_scripts/requirements.txt -------------------------------------------------------------------------------- /onchain_scripts/target.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/onchain_scripts/target.txt -------------------------------------------------------------------------------- /onchain_tests.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/onchain_tests.txt -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/rust-toolchain.toml -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/rustfmt.toml -------------------------------------------------------------------------------- /server/app.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/server/app.js -------------------------------------------------------------------------------- /server/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/server/package-lock.json -------------------------------------------------------------------------------- /server/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/server/package.json -------------------------------------------------------------------------------- /solidity_utils/lib.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/solidity_utils/lib.sol -------------------------------------------------------------------------------- /src/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/README.md -------------------------------------------------------------------------------- /src/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/build.rs -------------------------------------------------------------------------------- /src/cache.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/cache.rs -------------------------------------------------------------------------------- /src/const.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/const.rs -------------------------------------------------------------------------------- /src/evm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/README.md -------------------------------------------------------------------------------- /src/evm/abi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/abi.rs -------------------------------------------------------------------------------- /src/evm/blaz/builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/blaz/builder.rs -------------------------------------------------------------------------------- /src/evm/blaz/linking.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/blaz/linking.rs -------------------------------------------------------------------------------- /src/evm/blaz/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/blaz/mod.rs -------------------------------------------------------------------------------- /src/evm/blaz/offchain_artifacts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/blaz/offchain_artifacts.rs -------------------------------------------------------------------------------- /src/evm/blaz/offchain_config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/blaz/offchain_config.rs -------------------------------------------------------------------------------- /src/evm/bytecode_analyzer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/bytecode_analyzer.rs -------------------------------------------------------------------------------- /src/evm/bytecode_iterator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/bytecode_iterator.rs -------------------------------------------------------------------------------- /src/evm/concolic/concolic_host.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/concolic/concolic_host.rs -------------------------------------------------------------------------------- /src/evm/concolic/concolic_stage.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/concolic/concolic_stage.rs -------------------------------------------------------------------------------- /src/evm/concolic/expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/concolic/expr.rs -------------------------------------------------------------------------------- /src/evm/concolic/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/concolic/mod.rs -------------------------------------------------------------------------------- /src/evm/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/config.rs -------------------------------------------------------------------------------- /src/evm/contract_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/contract_utils.rs -------------------------------------------------------------------------------- /src/evm/corpus_initializer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/corpus_initializer.rs -------------------------------------------------------------------------------- /src/evm/cov_stage.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/cov_stage.rs -------------------------------------------------------------------------------- /src/evm/feedbacks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/feedbacks.rs -------------------------------------------------------------------------------- /src/evm/host.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/host.rs -------------------------------------------------------------------------------- /src/evm/input.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/input.rs -------------------------------------------------------------------------------- /src/evm/middlewares/call_printer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/middlewares/call_printer.rs -------------------------------------------------------------------------------- /src/evm/middlewares/cheatcode/assert.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/middlewares/cheatcode/assert.rs -------------------------------------------------------------------------------- /src/evm/middlewares/cheatcode/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/middlewares/cheatcode/common.rs -------------------------------------------------------------------------------- /src/evm/middlewares/cheatcode/env.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/middlewares/cheatcode/env.rs -------------------------------------------------------------------------------- /src/evm/middlewares/cheatcode/expect.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/middlewares/cheatcode/expect.rs -------------------------------------------------------------------------------- /src/evm/middlewares/cheatcode/fork.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/middlewares/cheatcode/fork.rs -------------------------------------------------------------------------------- /src/evm/middlewares/cheatcode/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/middlewares/cheatcode/mod.rs -------------------------------------------------------------------------------- /src/evm/middlewares/cheatcode/string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/middlewares/cheatcode/string.rs -------------------------------------------------------------------------------- /src/evm/middlewares/coverage.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/middlewares/coverage.rs -------------------------------------------------------------------------------- /src/evm/middlewares/middleware.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/middlewares/middleware.rs -------------------------------------------------------------------------------- /src/evm/middlewares/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/middlewares/mod.rs -------------------------------------------------------------------------------- /src/evm/middlewares/reentrancy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/middlewares/reentrancy.rs -------------------------------------------------------------------------------- /src/evm/middlewares/sha3_bypass.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/middlewares/sha3_bypass.rs -------------------------------------------------------------------------------- /src/evm/minimizer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/minimizer.rs -------------------------------------------------------------------------------- /src/evm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/mod.rs -------------------------------------------------------------------------------- /src/evm/mutator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/mutator.rs -------------------------------------------------------------------------------- /src/evm/onchain/abi_decompiler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/onchain/abi_decompiler.rs -------------------------------------------------------------------------------- /src/evm/onchain/endpoints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/onchain/endpoints.rs -------------------------------------------------------------------------------- /src/evm/onchain/flashloan.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/onchain/flashloan.rs -------------------------------------------------------------------------------- /src/evm/onchain/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/onchain/mod.rs -------------------------------------------------------------------------------- /src/evm/onchain/offchain.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/onchain/offchain.rs -------------------------------------------------------------------------------- /src/evm/oracle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/oracle.rs -------------------------------------------------------------------------------- /src/evm/oracles/arb_call.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/oracles/arb_call.rs -------------------------------------------------------------------------------- /src/evm/oracles/arb_transfer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/oracles/arb_transfer.rs -------------------------------------------------------------------------------- /src/evm/oracles/echidna.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/oracles/echidna.rs -------------------------------------------------------------------------------- /src/evm/oracles/erc20.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/oracles/erc20.rs -------------------------------------------------------------------------------- /src/evm/oracles/function.rs: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /src/evm/oracles/invariant.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/oracles/invariant.rs -------------------------------------------------------------------------------- /src/evm/oracles/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/oracles/mod.rs -------------------------------------------------------------------------------- /src/evm/oracles/reentrancy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/oracles/reentrancy.rs -------------------------------------------------------------------------------- /src/evm/oracles/selfdestruct.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/oracles/selfdestruct.rs -------------------------------------------------------------------------------- /src/evm/oracles/state_comp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/oracles/state_comp.rs -------------------------------------------------------------------------------- /src/evm/oracles/typed_bug.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/oracles/typed_bug.rs -------------------------------------------------------------------------------- /src/evm/oracles/v2_pair.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/oracles/v2_pair.rs -------------------------------------------------------------------------------- /src/evm/presets/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/presets/mod.rs -------------------------------------------------------------------------------- /src/evm/presets/pair.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/presets/pair.rs -------------------------------------------------------------------------------- /src/evm/producers/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/producers/README.md -------------------------------------------------------------------------------- /src/evm/producers/erc20.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/producers/erc20.rs -------------------------------------------------------------------------------- /src/evm/producers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/producers/mod.rs -------------------------------------------------------------------------------- /src/evm/producers/pair.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/producers/pair.rs -------------------------------------------------------------------------------- /src/evm/scheduler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/scheduler.rs -------------------------------------------------------------------------------- /src/evm/solution/abi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/solution/abi.rs -------------------------------------------------------------------------------- /src/evm/solution/foundry_test.hbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/solution/foundry_test.hbs -------------------------------------------------------------------------------- /src/evm/solution/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/solution/mod.rs -------------------------------------------------------------------------------- /src/evm/srcmap/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/srcmap/mod.rs -------------------------------------------------------------------------------- /src/evm/tokens/constant_pair.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/tokens/constant_pair.rs -------------------------------------------------------------------------------- /src/evm/tokens/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/tokens/mod.rs -------------------------------------------------------------------------------- /src/evm/tokens/uniswap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/tokens/uniswap.rs -------------------------------------------------------------------------------- /src/evm/tokens/v2_transformer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/tokens/v2_transformer.rs -------------------------------------------------------------------------------- /src/evm/tokens/v3_transformer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/tokens/v3_transformer.rs -------------------------------------------------------------------------------- /src/evm/tokens/weth_transformer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/tokens/weth_transformer.rs -------------------------------------------------------------------------------- /src/evm/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/types.rs -------------------------------------------------------------------------------- /src/evm/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/utils.rs -------------------------------------------------------------------------------- /src/evm/vm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/evm/vm.rs -------------------------------------------------------------------------------- /src/executor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/executor.rs -------------------------------------------------------------------------------- /src/feedback.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/feedback.rs -------------------------------------------------------------------------------- /src/fuzzer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/fuzzer.rs -------------------------------------------------------------------------------- /src/fuzzers/evm_fuzzer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/fuzzers/evm_fuzzer.rs -------------------------------------------------------------------------------- /src/fuzzers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/fuzzers/mod.rs -------------------------------------------------------------------------------- /src/fuzzers/move_fuzzer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/fuzzers/move_fuzzer.rs -------------------------------------------------------------------------------- /src/generic_vm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/generic_vm/mod.rs -------------------------------------------------------------------------------- /src/generic_vm/vm_executor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/generic_vm/vm_executor.rs -------------------------------------------------------------------------------- /src/generic_vm/vm_state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/generic_vm/vm_state.rs -------------------------------------------------------------------------------- /src/indexed_corpus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/indexed_corpus.rs -------------------------------------------------------------------------------- /src/input.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/input.rs -------------------------------------------------------------------------------- /src/logger.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/logger.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/minimizer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/minimizer.rs -------------------------------------------------------------------------------- /src/move/corpus_initializer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/move/corpus_initializer.rs -------------------------------------------------------------------------------- /src/move/input.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/move/input.rs -------------------------------------------------------------------------------- /src/move/input_printer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/move/input_printer.rs -------------------------------------------------------------------------------- /src/move/minimizer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/move/minimizer.rs -------------------------------------------------------------------------------- /src/move/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/move/mod.rs -------------------------------------------------------------------------------- /src/move/movevm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/move/movevm.rs -------------------------------------------------------------------------------- /src/move/mutator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/move/mutator.rs -------------------------------------------------------------------------------- /src/move/oracles/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/move/oracles/mod.rs -------------------------------------------------------------------------------- /src/move/oracles/typed_bug.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/move/oracles/typed_bug.rs -------------------------------------------------------------------------------- /src/move/scheduler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/move/scheduler.rs -------------------------------------------------------------------------------- /src/move/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/move/types.rs -------------------------------------------------------------------------------- /src/move/vm_state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/move/vm_state.rs -------------------------------------------------------------------------------- /src/mutation_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/mutation_utils.rs -------------------------------------------------------------------------------- /src/oracle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/oracle.rs -------------------------------------------------------------------------------- /src/power_sched.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/power_sched.rs -------------------------------------------------------------------------------- /src/scheduler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/scheduler.rs -------------------------------------------------------------------------------- /src/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/state.rs -------------------------------------------------------------------------------- /src/state_input.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/state_input.rs -------------------------------------------------------------------------------- /src/tracer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/src/tracer.rs -------------------------------------------------------------------------------- /tests/evm/balance/test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/balance/test.sol -------------------------------------------------------------------------------- /tests/evm/complex-condition/test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/complex-condition/test.sol -------------------------------------------------------------------------------- /tests/evm/concolic-1/test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/concolic-1/test.sol -------------------------------------------------------------------------------- /tests/evm/concolic-2/main.address: -------------------------------------------------------------------------------- 1 | 0A101a8A56121470c49B5f477CE7eE7376a92c0a -------------------------------------------------------------------------------- /tests/evm/concolic-2/sb.address: -------------------------------------------------------------------------------- 1 | 8B5b40e31dCB1166f17d31315E3b17b6Bfc82B37 -------------------------------------------------------------------------------- /tests/evm/concolic-2/test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/concolic-2/test.sol -------------------------------------------------------------------------------- /tests/evm/concolic-for/test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/concolic-for/test.sol -------------------------------------------------------------------------------- /tests/evm/concolic-origin/main.address: -------------------------------------------------------------------------------- 1 | 0A101a8A56121470c49B5f477CE7eE7376a92c0a -------------------------------------------------------------------------------- /tests/evm/concolic-origin/sb.address: -------------------------------------------------------------------------------- 1 | 8B5b40e31dCB1166f17d31315E3b17b6Bfc82B37 -------------------------------------------------------------------------------- /tests/evm/concolic-origin/test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/concolic-origin/test.sol -------------------------------------------------------------------------------- /tests/evm/echidna_flag/test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/echidna_flag/test.sol -------------------------------------------------------------------------------- /tests/evm/external_calls/Callee.address: -------------------------------------------------------------------------------- 1 | BE0eB53F46cd790Cd13851d5EFf43D12404d33E8 -------------------------------------------------------------------------------- /tests/evm/external_calls/Caller.address: -------------------------------------------------------------------------------- 1 | DA9dfA130Df4dE4673b89022EE50ff26f6EA73Cf -------------------------------------------------------------------------------- /tests/evm/external_calls/test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/external_calls/test.sol -------------------------------------------------------------------------------- /tests/evm/invariant/A.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/invariant/A.t.sol -------------------------------------------------------------------------------- /tests/evm/olympus-simple/test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/olympus-simple/test.sol -------------------------------------------------------------------------------- /tests/evm/overflow/overflow.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/overflow/overflow.t.sol -------------------------------------------------------------------------------- /tests/evm/reentrancy/main.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/reentrancy/main.sol -------------------------------------------------------------------------------- /tests/evm/return/test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/return/test.sol -------------------------------------------------------------------------------- /tests/evm/selfdestruct/test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/selfdestruct/test.sol -------------------------------------------------------------------------------- /tests/evm/taints-1/test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/taints-1/test.sol -------------------------------------------------------------------------------- /tests/evm/verilog-2/Bounty.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/verilog-2/Bounty.sol -------------------------------------------------------------------------------- /tests/evm/verilog-2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/verilog-2/README.md -------------------------------------------------------------------------------- /tests/evm/verilog-2/WMATICV2.address: -------------------------------------------------------------------------------- 1 | DA3AF9c51F6953988a46C21d43A5152AFC7f389d -------------------------------------------------------------------------------- /tests/evm/verilog-2/WMATICV2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/verilog-2/WMATICV2.sol -------------------------------------------------------------------------------- /tests/evm/verilog-2/interfaces/IERC20.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/verilog-2/interfaces/IERC20.sol -------------------------------------------------------------------------------- /tests/evm/verilog-2/interfaces/IUniswapV2Pair.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/verilog-2/interfaces/IUniswapV2Pair.sol -------------------------------------------------------------------------------- /tests/evm/verilog-2/interfaces/IWMATIC.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/verilog-2/interfaces/IWMATIC.sol -------------------------------------------------------------------------------- /tests/evm/verilog-2/interfaces/IWMATICV2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/verilog-2/interfaces/IWMATICV2.sol -------------------------------------------------------------------------------- /tests/evm/verilog-2/libraries/TransferHelper.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm/verilog-2/libraries/TransferHelper.sol -------------------------------------------------------------------------------- /tests/evm_manual/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/.DS_Store -------------------------------------------------------------------------------- /tests/evm_manual/foundry1/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/foundry1/.gitignore -------------------------------------------------------------------------------- /tests/evm_manual/foundry1/foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/foundry1/foundry.toml -------------------------------------------------------------------------------- /tests/evm_manual/foundry1/solidity_utils/lib.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/foundry1/solidity_utils/lib.sol -------------------------------------------------------------------------------- /tests/evm_manual/foundry1/src/CountLib.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/foundry1/src/CountLib.sol -------------------------------------------------------------------------------- /tests/evm_manual/foundry1/src/Counter.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/foundry1/src/Counter.sol -------------------------------------------------------------------------------- /tests/evm_manual/foundry1/src/CounterLibByLib.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/foundry1/src/CounterLibByLib.sol -------------------------------------------------------------------------------- /tests/evm_manual/foundry1/src/Create3Deploy.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/foundry1/src/Create3Deploy.sol -------------------------------------------------------------------------------- /tests/evm_manual/foundry1/src/ItyFuzzToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/foundry1/src/ItyFuzzToken.sol -------------------------------------------------------------------------------- /tests/evm_manual/foundry1/src/UniswapV2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/foundry1/src/UniswapV2.sol -------------------------------------------------------------------------------- /tests/evm_manual/foundry1/test/CheatCodeTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/foundry1/test/CheatCodeTest.sol -------------------------------------------------------------------------------- /tests/evm_manual/foundry1/test/CountLib.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/foundry1/test/CountLib.t.sol -------------------------------------------------------------------------------- /tests/evm_manual/foundry1/test/CountTest.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/foundry1/test/CountTest.t.sol -------------------------------------------------------------------------------- /tests/evm_manual/foundry1/test/Counter.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/foundry1/test/Counter.t.sol -------------------------------------------------------------------------------- /tests/evm_manual/foundry1/test/CounterLibByLibTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/foundry1/test/CounterLibByLibTest.sol -------------------------------------------------------------------------------- /tests/evm_manual/foundry1/test/Create3Deploy.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/foundry1/test/Create3Deploy.t.sol -------------------------------------------------------------------------------- /tests/evm_manual/foundry1/test/StaxExploit.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/foundry1/test/StaxExploit.t.sol -------------------------------------------------------------------------------- /tests/evm_manual/foundry1/test/V2Pair.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_manual/foundry1/test/V2Pair.t.sol -------------------------------------------------------------------------------- /tests/evm_never_pass/out-of-memory/test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_never_pass/out-of-memory/test.sol -------------------------------------------------------------------------------- /tests/evm_real_balance/contract1.abi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_real_balance/contract1.abi -------------------------------------------------------------------------------- /tests/evm_real_balance/contract1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_real_balance/contract1.bin -------------------------------------------------------------------------------- /tests/evm_real_balance/contract2.abi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_real_balance/contract2.abi -------------------------------------------------------------------------------- /tests/evm_real_balance/contract2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_real_balance/contract2.bin -------------------------------------------------------------------------------- /tests/evm_real_balance/contract3.abi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_real_balance/contract3.abi -------------------------------------------------------------------------------- /tests/evm_real_balance/contract3.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_real_balance/contract3.bin -------------------------------------------------------------------------------- /tests/evm_real_balance/test_real_balance.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/evm_real_balance/test_real_balance.sol -------------------------------------------------------------------------------- /tests/move/generic_struct/Move.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/move/generic_struct/Move.toml -------------------------------------------------------------------------------- /tests/move/generic_struct/sources/test.move: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/move/generic_struct/sources/test.move -------------------------------------------------------------------------------- /tests/move/helloworld/Move.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/move/helloworld/Move.toml -------------------------------------------------------------------------------- /tests/move/helloworld/sources/test.move: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/move/helloworld/sources/test.move -------------------------------------------------------------------------------- /tests/move/share_object/Move.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/move/share_object/Move.toml -------------------------------------------------------------------------------- /tests/move/share_object/sources/test.move: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/move/share_object/sources/test.move -------------------------------------------------------------------------------- /tests/move/struct_tests/Move.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/move/struct_tests/Move.toml -------------------------------------------------------------------------------- /tests/move/struct_tests/sources/test.move: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/move/struct_tests/sources/test.move -------------------------------------------------------------------------------- /tests/move/swap/Move.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/move/swap/Move.toml -------------------------------------------------------------------------------- /tests/move/swap/sources/Swap.move: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/move/swap/sources/Swap.move -------------------------------------------------------------------------------- /tests/move/swap/sources/TokenA.move: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/move/swap/sources/TokenA.move -------------------------------------------------------------------------------- /tests/move/swap/sources/TokenB.move: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/move/swap/sources/TokenB.move -------------------------------------------------------------------------------- /tests/presets/DefiHacksPresets.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/presets/DefiHacksPresets.json -------------------------------------------------------------------------------- /tests/presets/cheatcode/Caller.bytecode: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/presets/cheatcode/Caller.bytecode -------------------------------------------------------------------------------- /tests/presets/cheatcode/Caller.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/presets/cheatcode/Caller.sol -------------------------------------------------------------------------------- /tests/presets/cheatcode/Cheatcode.t.bytecode: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/presets/cheatcode/Cheatcode.t.bytecode -------------------------------------------------------------------------------- /tests/presets/cheatcode/Cheatcode.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/presets/cheatcode/Cheatcode.t.sol -------------------------------------------------------------------------------- /tests/presets/cheatcode/Emitter.bytecode: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/presets/cheatcode/Emitter.bytecode -------------------------------------------------------------------------------- /tests/presets/cheatcode/Emitter.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/presets/cheatcode/Emitter.sol -------------------------------------------------------------------------------- /tests/presets/cheatcode/Reverter.bytecode: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/presets/cheatcode/Reverter.bytecode -------------------------------------------------------------------------------- /tests/presets/cheatcode/Reverter.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/presets/cheatcode/Reverter.sol -------------------------------------------------------------------------------- /tests/presets/v2_pair/USDT.bytecode: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/presets/v2_pair/USDT.bytecode -------------------------------------------------------------------------------- /tests/presets/v2_pair/UniswapV2Pair.bytecode: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/presets/v2_pair/UniswapV2Pair.bytecode -------------------------------------------------------------------------------- /tests/presets/v2_pair/WETH9.bytecode: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/tests/presets/v2_pair/WETH9.bytecode -------------------------------------------------------------------------------- /ui/backend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/ui/backend.py -------------------------------------------------------------------------------- /ui/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/ui/requirements.txt -------------------------------------------------------------------------------- /ui/start.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/ui/start.sh -------------------------------------------------------------------------------- /ui/static/assets/index-1dac2a37.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/ui/static/assets/index-1dac2a37.css -------------------------------------------------------------------------------- /ui/static/assets/index-fea20553.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/ui/static/assets/index-fea20553.js -------------------------------------------------------------------------------- /ui/static/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/ui/static/index.html -------------------------------------------------------------------------------- /ui/static/offchain_verilog.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/ui/static/offchain_verilog.zip -------------------------------------------------------------------------------- /ui/wrapper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fuzzland/ityfuzz/HEAD/ui/wrapper.py --------------------------------------------------------------------------------