7. Constraint-based Analysis.

Question 1

Benefits of Constraint based analysis

Answer 1

Separates analysis specification from implementation
Analysis writer can focus on what rather than how
Yields natural program specification
Enables sophisticated analysis implementations

Question 2

What does the user need to decide when using constraint based analysis?

Answer 2

Specification, not implementation

Question 3

Datalog

Answer 3

declarative logic programming language
not turing complete
subset of prolog or sql

Question 4

Datalog Program, what needs to be defined at a high level?

Answer 4

Input relations = form of input to program
Output relations = form of output to program
Rules = rules of inference that compute the input from output

Question 5

Reaching Definitions Analysis

Answer 5

OUT[n] = (IN[n]-KILL[n]) U GEN[n]
IN[n] = U OUT[n'] where n' is predecessor n