3 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.SE2026
Three Heads Are Better Than One: A Multi-perspective Reasoning Framework for Enhanced Vulnerability Detection
Xin Peng, Bo Lin, Jing Wang +5
Automated vulnerability detection is crucial for enhancing software security by identifying potential flaws that attackers could exploit, thereby reducing the reliance on labor-int…
cs.SE2026
Debug Like a Human: Scaling LLM-based Fault Localization to Processor Design via Block-Level Instruction-Oriented Slicing
Zizhen Liu, Xiaoguang Mao, Deheng Yang +6
Fault localization in modern processor design code is a critical yet time-consuming step during processor verification. While recent advances in LLM-based techniques for module-lev…