hub / github.com/RUB-SysSec/EthBMC

github.com/RUB-SysSec/EthBMC @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

661 symbols 2,270 edges 42 files 27 documented · 4% ● updated 3y ago★ 1072 open issues

Browse by type

⨍ Functions 576◇ Types & classes 85

What it actually does AI analysis from the code graph — generated when you open this

loading…

Extension points exported contracts — how you extend this code

Solver (Interface)

(no doc) [3 implementers]

esvm/src/se/expr/solver.rs

BitVec (Interface)

(no doc) [1 implementers]

esvm/src/se/expr/bval.rs

browse all types & interfaces →

Core symbols most depended-on inside this repo

↓ 9 filesconst_usize

esvm/src/se/expr/bval.rs

↓ 8 fileseql

esvm/src/se/expr/bval.rs

↓ 8 filesadd

esvm/src/se/expr/bval.rs

↓ 7 filesgenerate_test_graph

esvm/src/test_helpers.rs

↓ 7 filesconst256

esvm/src/se/expr/bval.rs

↓ 6 filesnew_memory

esvm/src/se/expr/symbolic_memory.rs

browse all functions →

Shape

Method 311

Function 265

Class 65

Enum 18

Interface 2

Languages

Rust100%

Modules by API surface

esvm/src/se/expr/bval.rs89 symbols

esvm/src/se/symbolic_state.rs73 symbols

esvm/src/se/env.rs64 symbols

esvm/src/se/symbolic_analysis.rs50 symbols

esvm/src/se/expr/formel_builder.rs34 symbols

esvm/src/se/expr/symbolic_memory.rs31 symbols

esvm/src/se/symbolic_executor/memory_ops.rs25 symbols

esvm/src/se/symbolic_executor/call_ops.rs25 symbols

evmexec/src/evm.rs21 symbols

esvm/src/se/expr/solver.rs20 symbols

esvm/bin/scheduler.rs20 symbols

evmexec/ethereum-newtypes/src/lib.rs18 symbols

For agents

$ claude mcp add EthBMC \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

github.com/RUB-SysSec/EthBMC @main

Extension points exported contracts — how you extend this code

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page