trueno-ptx-debug

Pure Rust PTX debugging and static analysis tool.

Philosophy

Pure Rust PTX Analysis - Zero CUDA SDK Dependency. Following Popper's falsificationism: we cannot prove PTX correct, but we can systematically attempt to falsify it.

Features

• PTX Parser: Full lexer and AST construction for PTX source.
• Type Checker: Validates register types match operations.
• Control Flow Analyzer: CFG construction, barrier safety analysis.
• Data Flow Analyzer: Detects critical JIT bugs (F081, F082).
• Address Space Validator: Detects generic shared access patterns.
• 100-Point Falsification Framework: 90+ tests across 10 categories.
• Output Generation: HTML reports and FKR test generation.
• CLI Interface: analyze and gen-fkr commands.

Installation

cargo install --path trueno-ptx-debug

Usage

Analyze PTX file

trueno-ptx-debug analyze kernel.ptx --falsify --html report.html

Generate FKR tests

trueno-ptx-debug gen-fkr kernel.ptx -o tests/kernel_fkr.rs

License

MIT

Part of the Aprender monorepo — 70 workspace crates.