Download
The T. J. Watson Libraries for Analysis (WALA) provide static analysis capabilities for Java bytecode and related languages and for JavaScript. 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. The WALA publications department is populating this wiki with technical documentation on a demand-driven basis, driven by questions posted to the wala-wala mailing list and also Gitter.
Features
- Java type system and class hierarchy analysis
- Source language framework supporting Java and JavaScript
- Interprocedural dataflow analysis (RHS solver)
- Context-sensitive tabulation-based slicer
- Pointer analysis and call graph construction
- SSA-based register-transfer language IR
Project Samples
Categories
Static Code AnalysisLicense
Eclipse Public LicenseFollow WALA
Other Useful Business Software
Our Free Plans just got better! | Auth0
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of WALA!
