Sign in

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

Tuo LiJia-Ju BaiYulei SuiShi-Min Hu
Published in: ASPLOS (2022)
Keyphrases
  • static analysis
  • genetic algorithm
  • case study
  • data structure
  • database
  • neural network
  • social networks
  • data analysis