WALA

Wala

---

Les bibliothèques TJ Watson for Analysis (WALA) fournissent des capacités d'analyse statique pour les bytecode Java et les langues connexes et pour JavaScript. Le système est autorisé en vertu de la licence publique Eclipse, qui a été approuvée par l'OSI (Initiative open source) en tant que licence open source entièrement certifiée. L'infrastructure Wala initiale a été développée indépendamment dans le cadre du projet de recherche Domo au IBM TJ Watson Research Center. En 2006, IBM a fait don du logiciel à la communauté.

Pour les mises à jour récentes sur Wala, rejoignez la liste de diffusion.

Fonctionnalités Core Wala

Les fonctionnalités de Wala incluent:

• Analyse du système de type Java et de la hiérarchie des classes
• Framework de langue source soutenant Java et Javascript
• Analyse interprocédurale du flux de données (solveur RHS)
• Signer basé sur la tabulation contextuelle
• Analyse du pointeur et construction de graphiques d'appel
• Langue de transfert de registre basé sur la SSA IR
• Cadre général pour la flux de données itératif
• Utilitaires et structures de données d'analyse générale
• Une bibliothèque d'instrumentation Bytecode (Shrike)

Commencer

Le moyen le plus rapide de commencer avec Wala est d'utiliser les packages de Maven Central, comme indiqué ici. Voir le dépôt Wala-Start pour un exemple basé sur Gradle. Nous réorganisons activement la documentation technique Wiki plus profonde. En attendant, vous pouvez consulter les diapositives du tutoriel pour obtenir un aperçu de Wala:

• Core Wala (PDF)
• Wala Javascript (PDF)

Vous pouvez également regarder des screencasts du tutoriel Wala Javascript ici.

Enfin, pour l'instant, pour rechercher la documentation du wiki, nous recommandons une recherche spécifique au site sur GitHub, par exemple, une recherche de "Graphique d'appel".

Documentation

Nous hébergeons la documentation pour Wala sur le Wiki GitHub. Nous avons choisi un format wiki juste pour que vous puissiez contribuer. Ne soyez pas timide!

Le département des publications Wala remplit ce wiki avec une documentation technique sur une base axée sur la demande, motivé par des questions publiées sur la liste de diffusion Wala-Wala et également Gitter. Nous recommandons cette page pour rechercher les archives de la liste de diffusion.

Actuellement, nous avons la documentation Javadoc pour le code Wala en cours de mise à jour. Si vous pensez qu'un fichier particulier mérite un meilleur Javadoc, veuillez ouvrir une demande de fonctionnalité.

Obtenir de l'aide

Pour obtenir de l'aide avec Wala, veuillez envoyer un e-mail à la liste de diffusion, poser une question sur Gitter ou ouvrir un problème.

Versions Java requises

La plupart des composants de chaque version officielle de Wala sont conçus pour une utilisation avec Java 11 ou plus récent. Cependant, les composants qui utilisent Eclipse nécessitent au moins Java 17.

Bâtiment de Source

Wala utilise Gradle comme système de construction. Si vous avez l'intention de modifier ou de construire Wala vous-même, consultez la lecture spécifique à Gradle pour plus d'instructions et de conseils utiles.

Outils Wala en javascript

Récemment, nous avons élargi l'ensemble des outils Wala mis en œuvre en JavaScript. Nous avons publié un normalisateur et quelques analyses de programme de base pour JavaScript dans le référentiel JS_WALA GitHub. Nous avons également mis à disposition les débogueurs JSdelta et Wala Delta, Delta pour les outils de traitement JavaScript. Veuillez consulter les référentiels GitHub liés pour plus de détails sur ces outils.

Outils basés sur Wala

Plusieurs groupes ont construit des outils open-source qui améliorent ou construisent sur Wala qui peuvent être utiles à d'autres utilisateurs de Wala. Pour plus de détails, consultez la page des outils basés sur Wala.

Remerciements

Nous remercions votrekit d'avoir fourni aux développeurs Wala une licence gratuite pour leur excellent profileur Java, que nous utilisons pour améliorer et maintenir les performances de Wala.