Compiler that produces program analysis information
