Automatic generation and management of interprocedural program analyses
Kwangkeun Yi, Williams Ludwell Harrison · 1993
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.