PAG -- an efficient program analyzer generator
specification and generation of analyzers
scientific article; zbMATH DE number 1862290