hub / github.com/PLSysSec/veriwasm

github.com/PLSysSec/veriwasm @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

356 symbols 808 edges 38 files 27 documented · 8% ● updated 3y ago★ 873 open issues

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

AbstractAnalyzer (Interface)

(no doc) [6 implementers]

src/analyses/mod.rs

Lattice (Interface)

(no doc) [9 implementers]

src/lattices/mod.rs

Checker (Interface)

(no doc) [4 implementers]

src/checkers/mod.rs

RegT (Interface)

[derive(PartialEq, PartialOrd, Clone, Eq, Debug, Copy, Hash)] [1 implementers]

src/ir/types.rs

Loadable (Interface)

(no doc) [1 implementers]

src/loaders/mod.rs

VarState (Interface)

(no doc) [2 implementers]

src/lattices/mod.rs

Liftable (Interface)

(no doc) [1 implementers]

src/ir/mod.rs

Core symbols most depended-on inside this repo

get_reg

called by 72

src/lattices/regslattice.rs

set_reg

called by 63

src/lattices/regslattice.rs

get

called by 44

src/lattices/stacklattice.rs

src/lattices/reachingdefslattice.rs

src/lattices/stacklattice.rs

Shape

Method 154

Function 148

Class 26

Enum 21

Interface 7

Languages

Rust97%

Python3%

Modules by API surface

src/ir/types.rs45 symbols

tests/testing.rs35 symbols

src/ir/x64.rs30 symbols

src/lattices/mod.rs20 symbols

src/checkers/heap_checker.rs16 symbols

src/lattices/stacklattice.rs13 symbols

src/analyses/call_analyzer.rs13 symbols

src/lattices/regslattice.rs11 symbols

src/checkers/stack_checker.rs10 symbols

src/checkers/locals_checker.rs10 symbols

src/checkers/call_checker.rs10 symbols

src/lattices/stackgrowthlattice.rs9 symbols

For agents

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

⬇ download graph artifact