Motivation Intra-procedural analysis depends upon accurate control-flow information. In the presence of certain language features (e.g. indirect calls) it is nontrivial to predict accurately how control may flow at execu - Procedural control - Document - PDFSEARCH.IO

First Page	Meta Content
	Motivation Intra-procedural analysis depends upon accurate control-flow information. In the presence of certain language features (e.g. indirect calls) it is nontrivial to predict accurately how control may flow at execu Add to Reading List Document Date: 2006-02-23 06:00:00 Open Document File Size: 167,28 KB Share Result on Facebook City Constraint / / IndustryTerm call site / least solution / minimal solution / / / SocialTag Mathematical logic Function Lambda calculus Control flow analysis Combinatory logic Fixed-point combinator Mathematics Data-flow analysis Theoretical computer science

Motivation Intra-procedural analysis depends upon accurate control-flow information. In the presence of certain language features (e.g. indirect calls) it is nontrivial to predict accurately how control may flow at execuAdd to Reading List