WALA

Вала

---

Библиотеки TJ Watson для анализа (WALA) предоставляют возможности статического анализа для Java Bytecode и связанных с ними языков, а также для JavaScript. Система лицензирована по публичной лицензии Eclipse, которая была одобрена OSI (инициатива с открытым исходным кодом) как полностью сертифицированную лицензию с открытым исходным кодом. Первоначальная инфраструктура Wala была независимо разработана в рамках исследовательского проекта Domo в исследовательском центре IBM TJ Watson. В 2006 году IBM пожертвовал программное обеспечение сообществу.

Для недавних обновлений о Wala присоединяйтесь к списку рассылки.

Основные функции Wala

Особенности Wala включают в себя:

• Система Java типа и анализ иерархии классов
• Структура исходного языка, поддерживающая Java и JavaScript
• Межпроцедурный анализ данных данных (RHS Solver)
• Контекста-чувствительный к табуляции Slicer
• Анализ указателей и построение графа вызовов
• Язык на основе SSA-трансфер IR IR
• Общая структура для итеративного потока данных
• Утилиты общего анализа и структуры данных
• Библиотека приборов байт -кодов (Шрайк)

Начиная

Самый быстрый способ начать работу с Wala - это использовать пакеты в Maven Central, как отмечалось здесь. См. Репола Wala-Start для примера на основе градли. Мы активно реорганизуем более глубокую техническую документацию вики. В то же время, вы можете проверить обучающие слайды, чтобы получить обзор Wala:

• Ядро вала (PDF)
• Wala JavaScript (PDF)

Вы также можете посмотреть экраны учебника Wala JavaScript здесь.

Наконец, на данный момент, чтобы найти вики-документацию, мы рекомендуем поиск по конкретному сайту на GitHub, например, поиск «График вызова».

Документация

Мы проводим документацию для Wala на Github Wiki. Мы выбрали формат вики, чтобы вы могли внести свой вклад. Не стесняйся!

Отдел публикаций Wala заполняет эту вики с технической документацией на основе спроса, вызванных вопросами, размещенными в списке рассылки Wala-Wala, а также Gitter. Мы рекомендуем эту страницу для поиска архивов списка рассылки.

В настоящее время у нас есть документация Javadoc для постоянного обновления кода Wala. Если вы думаете, что конкретный файл заслуживает лучшего Javadoc, откройте запрос на функцию.

Получить помощь

Чтобы получить помощь с Wala, пожалуйста, отправьте электронное письмо в список рассылки, задайте вопрос о Gitter или откройте проблему.

Требуются версии Java

Большинство компонентов каждого официального выпуска Wala созданы для использования с Java 11 или новым. Однако компоненты, которые используют Eclipse, требуют как минимум Java 17.

Здание из источника

Wala использует Gradle в качестве своей системы сборки. Если вы намереваетесь изменить или построить Wala самостоятельно, то посмотрите, как для получения дополнительных инструкций и полезных советов.

Wala Tools в JavaScript

Недавно мы расширяем набор инструментов Wala, реализованного в JavaScript. Мы выпустили нормализатор и некоторые базовые анализы программы для JavaScript в репозитории JS_WALA GitHub. Мы также сделали доступным JSDELTA и Wala Delta, Delta Defugers для инструментов обработки JavaScript. Пожалуйста, смотрите связанные репозитории GitHub для получения более подробной информации об этих инструментах.

Инструменты на базе Вала

Несколько групп создали инструменты с открытым исходным кодом, которые улучшают или наращивают на Wala, которые могут быть полезны для других пользователей Wala. Для получения подробной информации см. Страницу «Инструменты» на основе Wala.

Благодарности

Мы благодарим Yourkit за предоставление разработчикам Wala бесплатную лицензию на их отличный Java Profiler, который мы используем для улучшения и поддержания производительности Wala.