Homework Assignments Week 2.2: Monotone Frameworks
DataFlow Analysis
Give an example of dataflow analysis used in type systems.
Sets

In traditional set based analysis, what does a transfer function look like. What are the parts that the transfer function is divided into.

What is the common problem in such a transfer function when the controlflow graph does not go further than statements.
Monotone Frameworks
If we correctly instantiate a monotone framework with transfer functions, a lattice instance, and initial analysis information, we get a dataflow analysis with a termination guarantee. What are the requirements on the transfer functions and lattice instance that result in this termination guarantee?
Monotone Framework Execution

Executing a monotone framework instance involves propagating information along the controlflow graph. A topological order of the nodes would make sense for traversing the graph, running the transfer functions, and propagating the information. Why is it not possible to take a topological order of the controlflow graph in the general case? Is this problematic controlflow graph common?

What is the solution to the above problem that still allows us to use a topological order?
Answers
Verify your answers with the model answers.