PAGAI: a path sensitive static analyzer

Julien Henry David Monniaux Matthieu Moy

Published in: CoRR (2012)

Keyphrases

shortest path
data acquisition
database
information retrieval
learning algorithm
case study
high speed
data processing
endpoints
optimal path
dynamic analysis