lisa
0.1
Lisa (Biblioteca para Análise estática) visa aliviar a criação e implementação de analisadores estáticos com base na teoria da interpretação abstrata. O LISA fornece um mecanismo de análise que funciona em uma representação genérica e extensível do gráfico de fluxo de controle do programa para analisar. Os intérpretes abstratos da LISA são construídos para analisar essa representação, fornecendo uma infraestrutura de análise exclusiva para todos os analisadores que se basearão nela.
Construir um analisador sobre Lisa se resume a escrever um analisador para o idioma que se pretende analisar, traduzindo o código -fonte ou o código compilado em direção à representação do gráfico de fluxo de controle da LISA. Em seguida, as verificações simples que iterem os resultados fornecidos pelas análises semânticas da LISA podem ser facilmente definidas para traduzir informações semânticas em avisos que podem ser de valor para o usuário final.
Para obter mais informações, documentação e guias úteis, consulte o site do projeto!
O LISA é desenvolvido e mantido pelo grupo de verificação de software e sistema (SSV) @ università ca 'foscari em Veneza, Itália. Contribuições externas são sempre bem -vindas! Confira nossas diretrizes contribuintes para obter informações sobre como contribuir com a LISA.
Vá para a página de lançamentos para obter a lista completa de lançamentos.
O instantâneo da última confirmação da filial master está sempre disponível nos pacotes do GitHub. Esteja ciente de que você precisará de um token de acesso pessoal para usar os pacotes como servidor para resolver dependências. Você pode consultar o Guia Oficial do Github para Maven ou Gradle para obter mais informações.
