WALA

Wala

---

Las Bibliotecas TJ Watson para Analysis (WALA) proporcionan capacidades de análisis estático para el bytecodo Java y los idiomas relacionados y para JavaScript. El sistema tiene licencia bajo la licencia pública de Eclipse, que ha sido aprobado por la OSI (Iniciativa de código abierto) como una licencia de código abierto totalmente certificada. La infraestructura de Wala inicial se desarrolló independientemente como parte del Proyecto de Investigación de Domo en el IBM TJ Watson Research Center. En 2006, IBM donó el software a la comunidad.

Para actualizaciones recientes sobre Wala, únase a la lista de correo.

Características de Core Wala

Las características de Wala incluyen:

• Sistema de tipo Java y análisis de jerarquía de clase
• Marco de lenguaje de origen que admite Java y JavaScript
• Análisis de flujo de datos interprocedural (solucionador RHS)
• Slicer basado en la tabulación sensible al contexto
• Análisis de puntero y construcción de gráficos de llamadas
• Lenguaje de transferencia de registro basado en SSA IR
• Marco general para flujo de datos iterativo
• Utilidades de análisis general y estructuras de datos
• Una biblioteca de instrumentación de bytecode (shrike)

Empezando

La forma más rápida de comenzar con Wala es usar los paquetes en Maven Central, como se señaló aquí. Vea el repositorio de Wala-Start para un ejemplo basado en Gradle. Estamos reorganizando activamente la documentación técnica Wiki más profunda. Mientras tanto, puede consultar las diapositivas de tutoriales para obtener una visión general de Wala:

• Core Wala (PDF)
• Wala JavaScript (PDF)

También puede ver screencasts del tutorial Wala JavaScript aquí.

Finalmente, por ahora, para buscar la documentación Wiki, recomendamos una búsqueda específica del sitio en GitHub, por ejemplo, una búsqueda de "gráfico de llamadas".

Documentación

Estamos organizando documentación para Wala en el Wiki Github. Hemos elegido un formato wiki solo para que pueda contribuir. ¡No seas tímido!

El Departamento de Publicaciones de Wala está llenando este wiki con documentación técnica sobre una base impulsada por la demanda, impulsadas por preguntas publicadas en la lista de correo de Wala-Wala y también Gitter. Recomendamos esta página para buscar los archivos de la lista de correo.

Actualmente, tenemos la documentación de Javadoc para el código WALA que se actualiza continuamente. Si cree que un archivo en particular merece un mejor Javadoc, abra una solicitud de función.

Obtener ayuda

Para obtener ayuda con Wala, envíe un correo electrónico a la lista de correo, haga una pregunta sobre Gitter o abra un problema.

Versiones Java requeridas

La mayoría de los componentes de cada lanzamiento oficial de Wala están construidos para su uso con Java 11 o más. Sin embargo, los componentes que usan Eclipse requieren al menos Java 17.

Edificio de la fuente

Wala usa Gradle como su sistema de construcción. Si tiene la intención de modificar o construir Wala usted mismo, consulte el RepeadMe específico de Gradle para obtener más instrucciones y consejos útiles.

Herramientas de Wala en JavaScript

Recientemente, hemos estado expandiendo el conjunto de herramientas Wala implementadas en JavaScript. Hemos lanzado un normalizador y algunos análisis de programas básicos para JavaScript en el repositorio JS_WALA GitHub. También hemos puesto a disposición JSDelta y Wala Delta, Delta Debuggers para herramientas de procesamiento de JavaScript. Consulte los repositorios de GitHub vinculados para obtener más detalles sobre estas herramientas.

Herramientas basadas en Wala

Varios grupos han creado herramientas de código abierto que mejoran o se basan en Wala que pueden ser útiles para otros usuarios de Wala. Para más detalles, consulte la página de herramientas basadas en Wala.

Expresiones de gratitud

Agradecemos a YourKit por proporcionar a los desarrolladores de Wala una licencia de cortesía por su excelente perfilador de Java, que utilizamos para mejorar y mantener el rendimiento de Wala.