Checking Framework Interactions with Relationships
Abstract
Software frameworks impose constraints on how plugins may interact with them. Many of hese constraints involve multiple objects, are temporal, and depend on runtime values. Additionally, they are difficult to specify because they are non-local and may break behavioral subtyping. This work presents relationships as a means for specifying framework constraints, and it presents a formal description and implementation of a static analysis to find constraint violations in plugin code. We define three variants of this analysis: one is sound, one is complete, and one provides compromise of the two. We prove soundness and completeness for the appropriate variants, and we show how the compromise variant works on examples from real-world programs. This allows the user to select the option which is the most cost-effective in practice with regard to the number of false positives and false negatives.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 2008
- Accession Number
- ADA492512
Entities
People
- Ciera Jaspan
- Jonathan Erik Aldrich
Organizations
- Carnegie Mellon University