Files

• backtesting.md (md)
• README.md (md)
• benches (txt)
• ityfuzz.rs (rs)
• ui (txt)
• static (txt)
• assets (txt)
• index.html (html)
• solidity_utils (txt)
• src (txt)
• evm (txt)
• verilog-2 (txt)
• mod.rs (rs)
• movevm.rs (rs)
• README_CN.md (md)
• backend.py (py)
• requirements.txt (txt)
• wrapper.py (py)
• start.sh (sh)
• integration-test.md (md)
• rustfmt.toml (toml)
• CLAUDE.md (md)
• onchain_tests.txt (txt)
• LICENSE (txt)
• integration_test.py (py)
• ci.py (py)
• onchain_scripts (txt)
• immunefi.py (py)
• debug_file_generator.py (py)
• requirements.txt (txt)
• target.txt (txt)
• evaluate.py (py)
• FUNDING.json (json)
• .github (github)
• RELEASE_FAILURE_ISSUE_TEMPLATE.md (md)
• changelog.json (json)
• workflows (txt)
• docker-arm.yml (yml)
• release.yml (yml)
• rust.yml (yml)
• docker-x86.yml (yml)
• scripts (txt)
• prune-prereleases.js (js)
• move-tag.js (js)
• create-tag.js (js)
• rust-toolchain.toml (toml)
• Dockerfile (txt)
• server (txt)
• package.json (json)
• app.js (js)
• package-lock.json (json)
• tests (txt)
• evm_never_pass (txt)
• out-of-memory (txt)
• move (txt)
• struct_tests (txt)
• Move.toml (toml)
• sources (txt)
• swap (txt)
• Move.toml (toml)
• sources (txt)
• share_object (txt)
• Move.toml (toml)
• sources (txt)
• helloworld (txt)
• Move.toml (toml)
• sources (txt)
• generic_struct (txt)
• Move.toml (toml)
• sources (txt)
• evm_real_balance (txt)
• presets (txt)
• v2_pair (txt)
• cheatcode (txt)
• evm_manual (txt)
• foundry1 (txt)
• lib (txt)
• forge-std (txt)
• openzeppelin-contracts (txt)
• test (txt)
• foundry.toml (toml)
• README.md (md)
• libraries (txt)
• interfaces (txt)
• concolic-origin (txt)
• concolic-2 (txt)
• return (txt)
• balance (txt)
• selfdestruct (txt)
• taints-1 (txt)
• olympus-simple (txt)
• complex-condition (txt)
• concolic-for (txt)
• echidna_flag (txt)
• reentrancy (txt)
• concolic-1 (txt)
• overflow (txt)
• external_calls (txt)
• invariant (txt)
• ityfuzzup (txt)
• solidity_utils (txt)
• src (txt)
• logger.rs (rs)
• executor.rs (rs)
• offchain_config.rs (rs)
• builder.rs (rs)
• indexed_corpus.rs (rs)
• move (txt)
• minimizer.rs (rs)
• types.rs (rs)
• input.rs (rs)
• oracles (txt)
• typed_bug.rs (rs)
• mod.rs (rs)
• mutator.rs (rs)
• input_printer.rs (rs)
• vm_state.rs (rs)
• corpus_initializer.rs (rs)
• scheduler.rs (rs)
• minimizer.rs (rs)
• fuzzer.rs (rs)
• README.md (md)
• fuzzers (txt)
• evm_fuzzer.rs (rs)
• move_fuzzer.rs (rs)
• mod.rs (rs)
• const.rs (rs)
• feedback.rs (rs)
• evm (txt)
• input.rs (rs)
• state_input.rs (rs)
• mutation_utils.rs (rs)
• main.rs (rs)
• tracer.rs (rs)
• middlewares (txt)
• coverage.rs (rs)
• minimizer.rs (rs)
• oracle.rs (rs)
• state.rs (rs)
• cache.rs (rs)
• generic_vm (txt)
• vm_executor.rs (rs)
• mod.rs (rs)
• vm_state.rs (rs)
• build.rs (rs)
• blaz (txt)
• offchain_artifacts.rs (rs)
• linking.rs (rs)
• middleware.rs (rs)
• sha3_bypass.rs (rs)
• mod.rs (rs)
• cheatcode (txt)
• expect.rs (rs)
• fork.rs (rs)
• common.rs (rs)
• string.rs (rs)
• mod.rs (rs)
• assert.rs (rs)
• env.rs (rs)
• call_printer.rs (rs)
• reentrancy.rs (rs)
• abi.rs (rs)
• solution (txt)
• abi.rs (rs)
• mod.rs (rs)
• README.md (md)
• cov_stage.rs (rs)
• utils.rs (rs)
• producers (txt)
• README.md (md)
• erc20.rs (rs)
• mod.rs (rs)
• pair.rs (rs)
• types.rs (rs)
• host.rs (rs)
• input.rs (rs)
• srcmap (txt)
• mod.rs (rs)
• vm.rs (rs)
• tokens (txt)
• weth_transformer.rs (rs)
• constant_pair.rs (rs)
• uniswap.rs (rs)
• v2_transformer.rs (rs)
• v3_transformer.rs (rs)
• mod.rs (rs)
• concolic (txt)
• concolic_stage.rs (rs)
• mod.rs (rs)
• expr.rs (rs)
• concolic_host.rs (rs)
• oracles (txt)
• function.rs (rs)
• invariant.rs (rs)
• typed_bug.rs (rs)
• selfdestruct.rs (rs)
• arb_transfer.rs (rs)
• echidna.rs (rs)
• erc20.rs (rs)
• v2_pair.rs (rs)
• mod.rs (rs)
• reentrancy.rs (rs)
• arb_call.rs (rs)
• state_comp.rs (rs)
• presets (txt)
• mod.rs (rs)
• pair.rs (rs)
• config.rs (rs)
• bytecode_analyzer.rs (rs)
• oracle.rs (rs)
• mutator.rs (rs)
• mod.rs (rs)
• bytecode_iterator.rs (rs)
• feedbacks.rs (rs)
• onchain (txt)
• abi_decompiler.rs (rs)
• endpoints.rs (rs)
• mod.rs (rs)
• flashloan.rs (rs)
• offchain.rs (rs)
• corpus_initializer.rs (rs)
• scheduler.rs (rs)
• power_sched.rs (rs)
• scheduler.rs (rs)
• Cargo.toml (toml)
• Makefile.toml (toml)
• ATTRIBUTION.md (markdown)