Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities.

Xiang Du Liangze Yin Haining Feng Wei Dong

Published in: APSEC (2021)

Keyphrases

data analysis
quantitative analysis
artificial intelligence
knowledge base
objective function
image analysis
anomaly detection
static analysis