110 citations · 146 across the 7 of their papers we have counts for
7 papers
MVD: Memory-Related Vulnerability Detection Based on Flow-Sensitive Graph Neural Networks
Sicong Cao, Xiaobing Sun, Lili Bo +3
Memory-related vulnerabilities constitute severe threats to the security of modern software. Despite the success of deep learning-based approaches to generic vulnerability detectio…
Efficient Path-Sensitive Data-Dependence Analysis
Peisen Yao, Jinguo Zhou, Xiao Xiao +3
This paper presents a scalable path- and context-sensitive data-dependence analysis. The key is to address the aliasing-path-explosion problem via a sparse, demand-driven, and fuse…
Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection
Yushan Zhang, Peisen Yao, Rongxin Wu +1
Database Management System (DBMS) plays a core role in modern software from mobile apps to online banking. It is critical that DBMS should provide correct data to all applications.…
Improving Code Summarization with Block-wise Abstract Syntax Tree Splitting
Chen Lin, Zhichao Ouyang, Junqing Zhuang +3
Automatic code summarization frees software developers from the heavy burden of manual commenting and benefits software development and maintenance. Abstract Syntax Tree (AST), whi…
Will Dependency Conflicts Affect My Program's Semantics?
Ying Wang, Rongxin Wu, Chao Wang +6
Java projects are often built on top of various third-party libraries. If multiple versions of a library exist on the classpath, JVM will only load one version and shadow the other…
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
Qingkai Shi, Rongxin Wu, Gang Fan +1
With an increasing number of value-flow properties to check, existing static program analysis still tends to have scalability issues when high precision is required. We observe tha…