Constraint solving is an alternative to using dataflow analysis framework
Approach: derive from the code and constant pool a set of constraints in a restricted, solvable logic. Using a constraint solver to find a minimal solution to the constraint problem.
Strongly related to the Planware approach
- Constraints and their relationships are analyzed at design time to generate an efficient algorithm
Also related to work by Aiken, and others on Set -Based Analysis