Docs.rs

DROIDSAW Unity IL2CPP metadata parser for Android APKs. Recovers C# names from global-metadata.dat and binds them to ARM64 ELF symbols.

DROIDSAW Dart AOT snapshot decompiler for Flutter apps. Resolves function names, extracts the canonical string pool, surfaces secrets and endpoints.

Pinocchio helpers to invoke Token-2022 program instructions

Phase-typed Property-Directed Reachability (IC3) with compile-time phase ordering, built on warp-types-sat

Command-line interface for Veric — types-first static analysis for data warehouses

SQL type analysis for Veric — types-first static analysis for data warehouses

Phase-typed bounded model checker with compile-time depth tracking, built on warp-types-sat

Phase-typed SMT solver for QF_EUF with compile-time phase ordering, built on warp-types-sat

Core type-checking engine for Veric — types-first static analysis for data warehouses

Transaction API for the Rust SDK for the Sui Blockchain

RPC interface definitions and client for the Sui Sdk

Phase-typed CDCL SAT solver with compile-time phase ordering, built on warp-types

Vendored static assets for the IronTide Web UI (HTMX + Pico CSS)

Auto-generated Rust client for the nucel.dev REST API (OpenAPI-driven, progenitor-built)

Core types for the Sui Sdk