Bug Detection

Accerlating Constraint Solving in Symbolic Execution by CNN

An extensible work to "CNNSAT: Fast, Accurate Boolean Satisfiability using Convolutional Neural Networks".

Data Race Detection in Interrupt-driven Programs

Detecting Race in Interrupt-driven Programs by Static Analysis, Symbolic Execution and Dynamic Validation.

Learning Semantic Program Embeddings

Learning Semantic Program Embeddings via Graph Interval Neural Network.

Preventing Dangling Pointers with Intermediate Pointers

We design a lightweight approach to eliminate dangling pointers during the compilation time.

Scalable, Context-Sensitive, Guarded Data Race Detection

A data race detection method that is built upon value flow analysis.