7. Constraints Based Analysis

Question 1

What is constraints based analysis?

Answer 1

Constrains based analysis is concerned with the specification of the analysis rather than the implementation of the analysis.

Question 2

What are the benefits of constraints based analysis?

Answer 2

• Separates analysis specification from implementation
• Yields natural program specifications.
• Enables sophisticated analysis implementations (leverage powerful off-the-shelf constraint solvers)