JABA : Java Architecture for Bytecode Analysis
The Java Architecture for Bytecode Analysis (JABA) is an
extensible API, written in Java, that supports
The JABA API consists of
components that read bytecodes from Java class files and perform
analyses such as control flow and local data flow.
efforts in developing program-analysis techniques for Java
- the development of program-analysis-based software-engineering tools for Java.