GUARDIAN: Guarded Universal Architecture for Defensive Interpretation And traNslation
Aditya Thalang, Josh Brown
GUARDIAN is a multi-stage, LLM-driven system to automate the translation of C codebases to memory-safe Rust. GUARDIAN promotes defense acceleration at-scale by guiding an LLM transpiler with dependency graph strongly-connected-components, static-analysis-guided rule hints, examples from the demonstration corpora and iterative, compiler-guided refinement.
In evaluation on 27 C functions, including 20 with adversarial vulnerabilities, GUARDIAN achieves 100% compilation success and 92.6% fully safe outputs, outperforming a baseline LLM by 22.2pp. GUARDIAN demonstrates that safety-oriented constraints can significantly improve automated translation quality at scale. Limitations include evaluation on a small test set and a lack of functional-equivalence guarantees; future work will target repository-scale evaluation, expanding the classes of vulnerabilities covered by static analyses, adding functional-equivalence guarantees and robust evaluation sandboxing.
Strengths: This addresses a real defensive bottleneck. Memory-unsafe code dominates vulnerability lists, and manual C-to-Rust migration is slow. The multi-stage pipeline is well-designed. The 22pp improvement over baseline LLM on adversarial cases is meaningful. Clear alignment with CISA/White House guidance on memory-safe languages.
Suggestions: The test suite is small and compilation success may not guarantee semantic equivalence. The system could produce memory-safe code that behaves differently than the original. Functional equivalence testing (unit test generation, property-based testing) would strengthen confidence. Red-teaming with adversarially crafted C code that exploits the pipeline's assumptions would also help.
From a Halcyon Ventures investor's POV: This maps to our interest in securing AI infrastructure and reducing attack surface in legacy systems. We are also interested in novel solutions for remediating open-source code vulnerabilities at scale, particularly as open-source AI development rises globally. This was an impressive effort and badly needed, well done!
Well-motivated project with a clear defensive use case. The report explains the problem and deployment path well, and the prototype results are encouraging. My main concerns are robustness and real-world reliability. I'd like to see a better argument for the broader qualitative impact of this project.
Cite this work
@misc {
title={
(HckPrj) GUARDIAN: Guarded Universal Architecture for Defensive Interpretation And traNslation
},
author={
Aditya Thalang, Josh Brown
},
date={
},
organization={Apart Research},
note={Research submission to the research sprint hosted by Apart.},
howpublished={https://apartresearch.com}
}


