Automatic Generation and Management of Interprocedural Program Analyses

Abstract

We have designed and implemented an interprocedural program analyzer generator, called system Z. Our goal is to automate the generation and management of semantics-based interprocedural program analysis for a wide range of target languages.