BEARS 2012 February 23, 2012 Berkeley, CA An Ontology Framework for Static Analysis Ben Lickly Elizabeth Latronico Charles Shelton Edward A. Lee.