Final Report Summary - SPADE (Sophisticated Program Analysis, Declaratively)
As a result, the project has significantly advanced the state of the art in static program analysis, along several directions. In addition to conceptual and algorithmic progress, the project has produced significant open-source implementations, available in public repositories. These include the Doop and CClyzer frameworks for analysis of JVM bytecode and LLVM bitcode.