research
∙
03/14/2023
Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object Generation
Java (de)serialization is prone to causing security-critical vulnerabili...
share
research
∙
03/05/2022
MVD: Memory-Related Vulnerability Detection Based on Flow-Sensitive Graph Neural Networks
Memory-related vulnerabilities constitute severe threats to the security...
research
∙
09/16/2021
Efficient Path-Sensitive Data-Dependence Analysis
This paper presents a scalable path- and context-sensitive data-dependen...
research
∙
07/08/2021
Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection
Database Management System (DBMS) plays a core role in modern software f...
research
∙
03/14/2021
Improving Code Summarization with Block-wise Abstract Syntax Tree Splitting
Automatic code summarization frees software developers from the heavy bu...
research
∙
06/13/2020
Will Dependency Conflicts Affect My Program's Semantics?
Java projects are often built on top of various third-party libraries. I...
research
∙
12/14/2019