IGOR: A tool for developing Prolog dataflow analyzers

We describe a tool, Igor, for implementing, testing, modifying, and evaluating abstract domains for analysis of Prolog programs. A highlevel specification language is used for specifying abstract domains that are compiled into Prolog and interfaced with an fixpoint engine to make up a complete analyzer. The compiler automatically generates code for basic domain operations from special domain type definitions. These definition are also used to combine and reduce domains. The special purpose language provides primitives, such as set and lattice operations, and a concise method for specifying abstract interpretation of built-in predicates. We evaluate the tool and show that the highlevel specifications are close to an order of magnitude less voluminous than the corresponding Prolog code and that the execution speed of the generated code is close to that of hand-written analyzers. Keywords: automatic generation, abstract domains, program analysis, logic programming 1 Introduction Dataf..