Committee: Michal Young (chair), Chris Wilson, Stuart Faulk
Directed Research Project(Jul 2013)
Keywords: static analysis; dynamic invariant detection; relational database; filtering
Saliency of invariants reported by dynamic detection techniques tend to be poor. We present a prototype intra-procedural static analysis and invariant filtering system that improves reported invariant saliency by applying a data flow based admission criteria. While successful at reducing the number of nonsensical invariants reported, the current prototype is overly aggressive due to the limitations of intra-procedural data flow. Extension to inter-procedural analysis is non-trivial. Some of the challenges are discussed.