Releases

TorQ: fast torrent finder and downloader (daemon, TUI, CLI)

Command-line entrypoint for r2SMT.

Z3 backend for r2SMT — encodes SSA lifted slices and reports opaque-predicate verdicts.

Sound may-taint lattice over the r2SMT IR: propagates {Untainted, Tainted(source)} through SSA data flow. Generalises the difflift Unknown-taint pass to a multi-source join-semilattice.

Safe binary patching for r2SMT: plans, manifests, backups, and rollback.

Fenced exploration engine (radius2 driver): synthesises concrete inputs that reach a target. Explicitly UNSOUND — never produces an SmtResult and is dependency-fenced out of the verify/patch closure.

Differential multi-lifter harness: cross-checks the P-code, ESIL and per-mnemonic lowerings of the same instruction for semantic equivalence.

Renderers (JSON, Markdown, r2 script) for r2SMT Findings.

Orchestration use cases for r2SMT — coordinates providers, slicers, lifters, and the SMT backend.

Source line analysis tool with CLI, web UI, HTML/PDF reports, and CI/CD integration

Rust SDK for the Aspose.Words Cloud API

Thin, audited FFI shim for the Z3 floating-point reinterpret constructors missing from the safe `z3` 0.20 API (BV→FP and signed-int→FP).

Detect and fix unused/misplaced dependencies from Cargo.toml

radare2 adapter implementing the r2smt BinaryProvider port via r2pipe.

Axum web UI and REST API for interactive local SLOC analysis

HTML report rendering and headless-browser PDF export for oxide-sloc

MCP stdio server exposing oxide-sloc analysis tools to AI agents

A simple Rust library to monitor log files and trigger an async callback when a new line is added.

Core analysis engine for oxide-sloc — file discovery, SLOC counting, and coverage parsing

Language detection and lexical SLOC analysis for 60 languages — IEEE 1045-1992 compliant

Configuration schema, TOML parsing, and CLI flag types for oxide-sloc

Rename a r2SMT LiftedSlice into Static Single Assignment form ready for the SMT backend.

Solver port: the narrow contract every r2SMT SMT backend / differential oracle implements.

Git CLI wrappers, HMAC webhook verification, and scan-schedule store for oxide-sloc

A HTTP server nano-framework, which can be used to create custom small-scale HTTP server applications

ASIMOV Software Development Kit (SDK) for Rust

ASIMOV Software Development Kit (SDK) for Rust

ASIMOV Software Development Kit (SDK) for Rust

Branch collector and (forthcoming) backward slicer for r2SMT.

Ghidra/SLEIGH P-code lifter for r2SMT — emits IrStmt from radare2 `pdgsd` P-code text.