analyssa 0.1.0

Target-agnostic SSA IR, analyses, and optimization pipeline
Documentation

analyssa

Target-agnostic SSA IR, analyses, and optimization pipeline for lifters, deobfuscators, and binary-analysis tooling.

Crates.io Docs.rs License: Apache-2.0

Status

analyssa is a standalone crate for target-agnostic SSA construction, analysis, optimization passes, and scheduler integration.

What's here

  • bitset / graph — generic data-structure utilities.
  • ir — SSA IR core: blocks, instructions, phi nodes, variables, ops, values, exception handlers, functions.
  • analysis — SSA-level analyses: CFG, constants, evaluator, liveness, memory SSA, patterns, phi placement, resolver, verifier, symbolic execution, and dataflow.
  • passes — reusable optimization and deobfuscation pass bodies.
  • scheduling / host / world — traits and scheduler glue for host crates that own method storage, dirty tracking, and interprocedural traversal.
  • target — Target trait + MockTarget for unit testing without a concrete instruction-set host.
  • pointer — PointerSize for hosts to communicate target pointer width to generic passes.

Usage

A consuming crate implements the Target trait for its host (mapping the trait's associated types — TypeRef, MethodRef, etc. — to its metadata model), then constructs SsaFunction<T> and runs analyses or transformation passes against it.

use analyssa::{analysis::DefUseIndex, testing};

let ssa = testing::const_i32_return(42);
let index = DefUseIndex::build_with_ops(&ssa);

assert_eq!(ssa.variables().len(), 1);
assert!(index.full_definition(analyssa::ir::SsaVarId::from_index(0)).is_some());

MockTarget (analyssa::testing::MockTarget) is the minimal Target implementation for tests and examples that do not need host-specific metadata.

Development

cargo fmt --check
cargo clippy --all-targets --all-features -- -D warnings
cargo test
cargo test --doc --all-features
cargo llvm-cov --all-targets --all-features --summary-only
RUSTDOCFLAGS="-D warnings -D missing-docs" cargo doc --no-deps --all-features --document-private-items

The CI workflow runs these checks on pull requests and pushes to main.

Minimum Rust Version

1.88. Pinned by rust-version in Cargo.toml; CI exercises both 1.88 and stable.

Changelog

See CHANGELOG.md.

License

Apache-2.0. See LICENSE.