hub / github.com/erickt/stateful

github.com/erickt/stateful @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

422 symbols 1,010 edges 45 files 64 documented · 15%

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

Pass (Interface)

Various information about pass. [4 implementers]

src/transform/mod.rs

ToExpr (Interface)

(no doc) [5 implementers]

src/mir/mod.rs

Idx (Interface)

Represents some newtyped `usize` wrapper. (purpose: avoid mixing indexes for different bitvector domains.) [2 implementers]

src/data_structures/indexed_vec.rs

DataflowOperator (Interface)

Parameterization for the precise form of data flow that is used. [1 implementers]

src/analysis/dataflow/mod.rs

MirPass (Interface)

A pass which inspects Mir of functions in isolation. [2 implementers]

src/transform/mod.rs

BitSlice (Interface)

`BitSlice` provides helper methods for treating a `[Word]` as a bitvector. [1 implementers]

src/data_structures/bitslice.rs

Lift (Interface)

(no doc) [2 implementers]

src/analysis/abs_domain.rs

MirMapPass (Interface)

A pass which inspects the whole Mir map. [1 implementers]

src/transform/mod.rs

Core symbols most depended-on inside this repo

src/data_structures/indexed_set.rs

push

called by 33

src/translate/block.rs

len

called by 28

src/data_structures/indexed_vec.rs

src/analysis/dataflow/mod.rs

src/data_structures/bitvec.rs

Shape

Method 232

Function 81

Class 77

Enum 17

Interface 15

Languages

Rust100%

Modules by API surface

src/mir/mod.rs47 symbols

src/analysis/dataflow/mod.rs33 symbols

src/data_structures/indexed_vec.rs28 symbols

src/analysis/gather_moves.rs26 symbols

src/data_structures/indexed_set.rs25 symbols

src/analysis/dataflow/graphviz.rs18 symbols

bar.rs17 symbols

tests/test_generator.rs15 symbols

src/transform/mod.rs14 symbols

baz.rs13 symbols

src/translate/local_stack.rs12 symbols

src/translate/block.rs12 symbols

For agents

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

⬇ download graph artifact