Making Set-Constraint Based Program Analyses Scale

  • Manuel Fahndrich ,
  • Alexander Aiken

First Workshop on Set Constraints at CP'96 |

Available as Technical Report CSD-TR-96-917, University of California at Berkeley

Constraint-based program analyses are appealing because elaborate analyses can be described with a concise and simple set of constraint generation rules. Constraint resolution algorithms have been developed for many kinds of constraints, conceptually allowing an implementation of a constraint-based program analysis to reuse large pieces of existing code. In practice, however, new analyses often involve re-implementing new, complex constraint solving frameworks, tuned for the particular analysis in question. This approach wastes development time and interferes with the desire to experiment quickly with a number of different analyses.