Checking Framework Interactions with Relationships

摘要: Software frameworks impose constraints on how plugins may interact with them. Many of these involve multiple objects, are temporal, and depend runtime values. Additionally, they difficult to specify because often extrinsic break behavioral subtyping. This work introduces relationships as an abstraction for specifying framework in FUSION (Framework Usage SpecificatIONs), it presents a formal description implementation static analysis find constraint violations plugin code. We define three variants this analysis: one is sound, complete, pragmatic variant that balances tradeoffs. prove soundness completeness the appropriate variants, we show can effectively check from real-world programs.