A Catalog of Research Compiler Infrastructures and Tools

WALA is a framework for static analysis of Java bytecode. From the web page:

The T. J. Watson Libraries for Analysis (WALA) provide static analysis capabilities for Java bytecode and related languages. The system is licensed under the Eclipse Public License, which has been approved by the OSI (Open Source Initiative) as a fully certified open source license. The initial WALA infrastructure was independently developed as part of the DOMO research project at the IBM T.J. Watson Research Center. In 2006, IBM donated the software to the community.

WALA features include:

• Java type system and class hierarchy analysis
• Source language framework supporting Java and JavaScript
• Interprocedural dataflow analysis (RHS solver)
• Context-sensitive tabulation-based slicer
• String analysis based on context-free languages
• Pointer analysis and call graph construction
• SSA-based register-transfer language IR
• General framework for iterative dataflow
• Significant support for J2EE semantics
• General analysis utilities and data structures

This entry was posted on Wednesday, March 12th, 2008 at 10:41 am and is filed under Java/JVM. You can follow any responses to this entry through the RSS 2.0 feed. You can skip to the end and leave a response. Pinging is currently not allowed.