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

Jan Midtgaard Thomas P. Jensen

Published in: Inf. Comput. (2012)

Keyphrases

flow analysis
abstract interpretation
information flow
termination analysis
static analysis
database
dynamic analysis
forensic analysis