aprender-ptx-debug 0.29.0

Pure Rust PTX debugging and static analysis tool
Documentation
  • Coverage
  • 100%
    372 out of 372 items documented0 out of 24 items with examples
  • Size
  • Source code size: 197.66 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 16.85 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 27s Average build duration of successful builds.
  • all releases: 27s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • paiml/trueno
    25 3 28
  • crates.io
  • Dependencies
  • Versions
  • Owners
  • noahgift

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