MCPcopy Index your code
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%
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

Core symbols most depended-on inside this repo

const_usize
called by 236
esvm/src/se/expr/bval.rs
push
called by 125
esvm/src/se/symbolic_state.rs
into
called by 121
esvm/src/se/env.rs
add
called by 50
esvm/src/se/expr/bval.rs
eql
called by 48
esvm/src/se/expr/bval.rs
get_state_by_id
called by 47
esvm/src/se/symbolic_graph.rs
push_constraint
called by 37
esvm/src/se/symbolic_state.rs
zero
called by 37
esvm/src/se/expr/bval.rs

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