MCPcopy Index your code
hub / github.com/cbeuw/rustlantis

github.com/cbeuw/rustlantis @v0.1.0

Chat with this repo
repository ↗ · DeepWiki ↗ · release v0.1.0 ↗ · + Follow
187 symbols 377 edges 18 files 11 documented · 6%

Browse by type

Functions 144 Types & classes 43
What it actually does AI analysis from the code graph — generated when you open this
loading…
README

Rustlantis

A Rust Mid-level Intermediate Representation fuzzer

Requirements

  • Rust nightly
  • rustup

Quirks

  • Cranelift not supported on AArch64 macOS: https://github.com/bjorn3/rustc_codegen_cranelift/issues/1248

Namesake

The Space Shuttle Atlantis docked with Mir space station seven times: https://en.wikipedia.org/wiki/Shuttle%E2%80%93Mir_program

Extension points exported contracts — how you extend this code

Core symbols most depended-on inside this repo

Shape

Method 129
Class 20
Enum 16
Function 15
Interface 7

Languages

Rust100%

Modules by API surface

mir/src/vec.rs50 symbols
mir/src/syntax.rs49 symbols
fuzz/src/generation.rs30 symbols
fuzz/src/ptable.rs18 symbols
difftest/src/backend.rs10 symbols
fuzz/src/ty.rs7 symbols
fuzz/src/place.rs7 symbols
mir/src/serialize.rs3 symbols
fuzz/src/skeleton.rs2 symbols
difftest/tests/inputs/ub.rs2 symbols
difftest/tests/inputs/simple.rs2 symbols
difftest/tests/inputs/invalid_mir.rs2 symbols

For agents

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

⬇ download graph artifact

Ask about this repo answers extend the page