Bug Detection

Accerlating Constraint Solving in Symbolic Execution by CNN
An extensible work to “CNNSAT: Fast, Accurate Boolean Satisfiability using Convolutional Neural Networks”.
Code
Data Race Detection in Interrupt-driven Programs
Detecting Race in Interrupt-driven Programs by Static Analysis, Symbolic Execution and Dynamic Validation.
Code
Learning Semantic Program Embeddings
Learning Semantic Program Embeddings via Graph Interval Neural Network.
Code
Preventing Dangling Pointers with Intermediate Pointers
We design a lightweight approach to eliminate dangling pointers during the compilation time.
Code
Scalable, Context-Sensitive, Guarded Data Race Detection
A data race detection method that is built upon value flow analysis.
Code
Scalable, Context-Sensitive, Guarded Data Race Detection