WALA

Wala

---

As bibliotecas TJ Watson para análise (WALA) fornecem recursos de análise estática para Java Bytecode e idiomas relacionados e para JavaScript. O sistema está licenciado sob a licença pública do Eclipse, que foi aprovada pelo OSI (iniciativa de código aberto) como uma licença de código aberto totalmente certificado. A infraestrutura inicial do Wala foi desenvolvida independentemente como parte do projeto de pesquisa do DOMO no IBM TJ Watson Research Center. Em 2006, a IBM doou o software para a comunidade.

Para atualizações recentes sobre o Wala, participe da lista de discussão.

Recursos do Wala Core

Os recursos de wala incluem:

• Sistema de tipo Java e análise de hierarquia de classes
• Estrutura de linguagem de origem que suporta Java e JavaScript
• Análise de fluxo de dados interprocedural (Solver RHS)
• Slicer baseado em tabulação sensível ao contexto
• Análise de ponteiro e construção de gráficos de chamada
• IR IR de transferência de registro baseado na SSA
• Estrutura geral para fluxo de dados iterativo
• Utilitários de análise geral e estruturas de dados
• Uma biblioteca de instrumentação bytecode (Shrike)

Começando

A maneira mais rápida de começar a Wala é usar os pacotes no Maven Central, conforme observado aqui. Consulte o repositório do Wala-Start para um exemplo baseado em graduação. Estamos reorganizando ativamente a documentação técnica mais profunda do wiki. Enquanto isso, você pode conferir os slides do tutorial para obter uma visão geral do Wala:

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

Você também pode assistir screencasts do tutorial de Wala JavaScript aqui.

Finalmente, por enquanto, para pesquisar a documentação do Wiki, recomendamos uma pesquisa específica do site no GitHub, por exemplo, uma pesquisa por "CHAMADA GRAPH".

Documentação

Estamos hospedando documentação para Wala no Wiki do Github. Escolhemos um formato wiki apenas para que você possa contribuir. Não seja tímido!

O Departamento de Publicações da Wala está preenchendo esse wiki com documentação técnica de uma base orientada pela demanda, impulsionada por perguntas publicadas na lista de discussão da Wala-Wala e também ao Gitter. Recomendamos esta página para pesquisar os arquivos da lista de discussão.

Atualmente, temos a documentação Javadoc para o código Wala sendo atualizado continuamente. Se você acha que um arquivo específico merece melhor javadoc, abra uma solicitação de recurso.

Obtendo ajuda

Para obter ajuda com o Wala, envie um email para a lista de discussão, faça uma pergunta sobre Gitter ou abra um problema.

Versões Java necessárias

A maioria dos componentes de cada lançamento oficial da Wala é construído para uso com o Java 11 ou mais recente. No entanto, os componentes que usam o Eclipse exigem pelo menos Java 17.

Edifício da fonte

Wala usa o Gradle como seu sistema de construção. Se você pretende modificar ou construir a Wala, consulte o ReadMe específico da Gradle para obter mais instruções e dicas úteis.

Ferramentas Wala em JavaScript

Recentemente, estamos expandindo o conjunto de ferramentas de wala implementadas no JavaScript. Lançamos um normalizador e algumas análises básicas do programa para JavaScript no repositório JS_Wala Github. Também disponibilizamos JSDelta e Wala Delta, Delta Debuggers para ferramentas de processamento de JavaScript. Consulte os repositórios do GitHub vinculados para obter mais detalhes sobre essas ferramentas.

Ferramentas baseadas em Wala

Vários grupos criaram ferramentas de código aberto que aprimoram ou desenvolvem o Wala que podem ser úteis para outros usuários da Wala. Para detalhes, consulte a página Ferramentas baseadas em Wala.

Agradecimentos

Agradecemos ao YouSkit por fornecer aos desenvolvedores da Wala uma licença gratuita para o seu excelente Profiler Java, que usamos para melhorar e manter o desempenho do Wala.