Search papers, labs, and topics across Lattice.
Affiliation:
2
0
2
Merely getting decompiled C to compile hides critical runtime failures, but gating LLM repairs sequentially on compiler diagnostics and official test suites achieves an 87.5% full behavioral recovery rate on GNU Coreutils.
ShadowProbe uncovers hidden algorithmic risks in codebases, revealing vulnerabilities that traditional methods miss, with significant implications for software reliability.