Control-flow analysis of function calls and returns by abstract interpretation.

Jan Midtgaard Thomas P. Jensen

Published in: ICFP (2009)

Keyphrases

flow analysis
abstract interpretation
information flow
termination analysis
database
information systems
query processing
intrusion detection
fine grained
dynamic analysis
forensic analysis