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★ 863 open issues

Browse by type

⨍ Functions 302◇ Types & classes 54

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

browse all types & interfaces →

Core symbols most depended-on inside this repo

↓ 17 filesRegT

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

src/ir/types.rs

↓ 6 filesLattice

src/lattices/mod.rs

↓ 6 filesAbstractAnalyzer

src/analyses/mod.rs

↓ 4 filesChecker

src/checkers/mod.rs

↓ 4 filesrun_worklist

src/analyses/mod.rs

↓ 2 filesanalyze_reaching_defs

Top level function

src/analyses/reaching_defs.rs

browse all functions →

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

github.com/PLSysSec/veriwasm @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