Path-sensitive and alias-aware typestate analysis for detecting OS bugs.

Tuo Li Jia-Ju Bai Yulei Sui Shi-Min Hu

Published in: ASPLOS (2022)

Keyphrases

static analysis
genetic algorithm
case study
data structure
database
neural network
social networks
data analysis