Heuristic Semantic Analyser for C→Rust Transpilation to identify raw pointer hazards, unsafe memory layouts, and LLM-induced translation hallucinations.
rust static-analysis safety memory-safety transpilation code-migration c2rust rust-analyzer sast-scanner
-
Updated
May 20, 2026 - HTML