Bytecode-based Java program analysis
Don Lance, Roland H. Untch, Nancy J. Wahl · 1999
Program analysis is the process of collecting control and data-flow information from a program.Current automated program analysis tools employ front-ends that process a program at the source code level.Unfortunately, creating such a conventional front-end is an expensive undertaking -akin to writing the front-end of a compiler.This article presents a new approach to building front-ends for automated program analysis tools.In this approach, a front-end processes a Java program at the object code level.