Expand description
trueno-ptx-debug: Pure Rust PTX debugging and static analysis tool
This crate provides static analysis capabilities for PTX (Parallel Thread Execution) code, implementing the Popperian falsification framework for systematic bug detection.
§Architecture
The analyzer is structured into several components:
- Parser: Lexer and AST construction for PTX source
- Analyzer: Static analysis passes (type, control flow, data flow, address space)
- Bugs: Bug pattern definitions and registry
- Falsification: 100-point Popperian testing framework
- Output: Report generation (HTML, FKR tests)
§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.
Re-exports§
pub use analyzer::AddressSpaceValidator;pub use analyzer::ControlFlowAnalyzer;pub use analyzer::DataFlowAnalyzer;pub use analyzer::TypeChecker;pub use bugs::BugClass;pub use bugs::BugRegistry;pub use bugs::Severity;pub use falsification::FalsificationRegistry;pub use falsification::FalsificationReport;pub use falsification::TestResult;pub use parser::Lexer;pub use parser::ParseError;pub use parser::Parser;pub use parser::PtxModule;
Modules§
- analyzer
- Static Analysis Passes
- bugs
- Bug class definitions and registry
- falsification
- Popperian Falsification Framework
- output
- Output Generation
- parser
- PTX Parser Module