4 papers
AgentExecutor: Partial Code Execution via Agentic Context Generation
Junkai Chen, Chengran Yang, Xing Hu +3
Executing code snippets is essential for dynamic program analysis, but it remains challenging to execute an arbitrary code snippet due to issues like missing context and incomplete…
PPT4J: Patch Presence Test for Java Binaries
Zhiyuan Pan, Xing Hu, Xin Xia +3
The number of vulnerabilities reported in open source software has increased substantially in recent years. Security patches provide the necessary measures to protect software from…
PS: Precise Patch Presence Test based on Semantic Symbolic Signature
Qi Zhan, Xing Hu, Zhiyang Li +3
During software development, vulnerabilities have posed a significant threat to users. Patches are the most effective way to combat vulnerabilities. In a large-scale software syste…
Exploiting Library Vulnerability via Migration Based Automating Test Generation
Zirui Chen, Xing Hu, Xin Xia +4
In software development, developers extensively utilize third-party libraries to avoid implementing existing functionalities. When a new third-party library vulnerability is disclo…