2 papers
cs.SE2026
Behavior Specification-Guided Program Synthesis for Binary Deobfuscation
Kangchen Zhu, Shangwen Wang, Zhiliang Tian +5
Deobfuscation is critical to reverse engineering and security analysis because it restores the readability and analyzability of obfuscated code. However, existing research primaril…
cs.SE2025
Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors
Renshuang Jiang, Pan Dong, Zhenling Duan +6
To provide flexibility and low-level interaction capabilities, the unsafe tag in Rust is essential in many projects, but undermines memory safety and introduces Undefined Behaviors…