traverse

    Call graph-based analysis tools for Solidity smart contracts. Visualize contract interactions, generate Foundry tests, analyze storage patterns, and trace execution paths.

    Language: rust

    Author: Clayton Barrett (@claytondev)

    0 stars · 232 views

    Files

    • foundry-tests (txt)
    • lib (txt)
    • forge-std (txt)
    • test (txt)
    • lib.rs (rs)
    • Cargo.toml (toml)
    • solidity (txt)
    • output (txt)
    • visualizations (txt)
    • chunk_005.svg (image)
    • chunk_001.svg (image)
    • chunk_003.svg (image)
    • chunk_007.svg (image)
    • chunk_006.svg (image)
    • chunk_004.svg (image)
    • chunk_002.svg (image)
    • mermaid-chunks (txt)
    • README.md (md)
    • crates (txt)
    • mermaid (txt)
    • README.md (md)
    • src (txt)
    • lib.rs (rs)
    • sequence_diagram_builder.rs (rs)
    • sequence_diagram_parser.rs (rs)
    • sequence_diagram_ast.rs (rs)
    • mermaid_chunker.rs (rs)
    • sequence_diagram_tests.rs (rs)
    • sequence_diagram_writer.rs (rs)
    • Cargo.toml (toml)
    • logging (txt)
    • README.md (md)
    • src (txt)
    • README.md (md)
    • src (txt)
    • lib.rs (rs)
    • solidity_writer.rs (rs)
    • parser.rs (rs)
    • tests.rs (rs)
    • interpreter.rs (rs)
    • builder.rs (rs)
    • ast.rs (rs)
    • Cargo.toml (toml)
    • graph (txt)
    • README.md (md)
    • src (txt)
    • cg_json.rs (rs)
    • lib.rs (rs)
    • manifest.rs (rs)
    • storage_access.rs (rs)
    • steps (txt)
    • entity.rs (rs)
    • mod.rs (rs)
    • cg_mermaid.rs (rs)
    • cg.rs (rs)
    • reachability.rs (rs)
    • parser.rs (rs)
    • tests.rs (rs)
    • cg_json_tests.rs (rs)
    • cg_dot.rs (rs)
    • natspec (txt)
    • extract.rs (rs)
    • mod.rs (rs)
    • builtin.rs (rs)
    • interface_resolver.rs (rs)
    • Cargo.toml (toml)
    • cli (txt)
    • README.md (md)
    • src (txt)
    • Cargo.toml (toml)
    • codegen (txt)
    • README.md (md)
    • src (txt)
    • lib.rs (rs)
    • invariant_breaker.rs (rs)
    • teststubs.rs (rs)
    • deployer_stub.rs (rs)
    • access_control_stub.rs (rs)
    • revert_stub.rs (rs)
    • state_change_stub.rs (rs)
    • Cargo.toml (toml)
    • docker-compose.yml (yml)
    • rfc (txt)
    • bdd (txt)
    • README.md (md)
    • architecture.png (image)
    • testing (txt)
    • README.md (md)
    • example-usage.json (json)
    • SimpleERC20.md (md)
    • gherkin-extended-schema.json (json)
    • build-docker-images.sh (sh)
    • LICENSE (txt)
    • examples (txt)
    • smart-invoice (txt)
    • README.md (md)
    • metadata.json (json)
    • analysis (txt)
    • DESIGN.md (md)
    • .github (github)
    • workflows (txt)
    • release.yml (yml)
    • publish-crates.yml (yml)
    • release-guard.yml (yml)
    • test.yml (yml)
    • Dockerfile (txt)
    • media (txt)
    • hero-diagram.svg (image)
    • highlevel-design.png (image)
    • demos (txt)
    • simple_testgen (txt)
    • foundry-tests (txt)
    • lib (txt)
    • forge-std (txt)
    • my-foundry-tests (txt)
    • test (txt)
    • foundry.toml (toml)
    • README.md (md)
    • script (txt)
    • .github (github)
    • workflows (txt)
    • test.yml (yml)
    • src (txt)
    • scripts (txt)
    • publish-crates.sh (sh)
    • .cargo (cargo)
    • Cargo.toml (toml)
    • ATTRIBUTION.md (markdown)

    Loading code snippet…