WALA
A comprehensive static analysis library for Java bytecode and JavaScript, supporting interprocedural dataflow, pointer analysis, and call graph construction.
What is WALA?
WALA is a comprehensive static analysis framework that enables deep inspection of Java bytecode and JavaScript programs without executing them. It provides a suite of analyses including pointer analysis, call graph construction, and dataflow analysis to help developers understand, verify, and optimize code. Originally developed at IBM Research, it serves as a foundational tool for building custom program analysis tools and conducting research.
Researchers, tool developers, and software engineers who need to build custom static analysis tools for Java or JavaScript, or who require advanced program understanding capabilities beyond standard linters.
WALA offers a mature, modular, and extensible codebase with proven algorithms for complex analyses like context-sensitive slicing and interprocedural dataflow. Its support for both Java and JavaScript in a unified framework makes it uniquely versatile for cross-language analysis projects.
Overview
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.
Use Cases
Best For
- Building custom static analysis tools for Java applications
Related Projects
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
