rust lisa

Rustlisa

Um analisador estático abstrato baseado em interpretação para ferrugem construído sobre LISA (Biblioteca para análise estática)

? Construir

Rustlisa vem como um projeto Gradle 6.6.

O desenvolvimento é feito no eclipse. Você precisa:

• Instale o plug -in Gradle IDE Pack no mercado Eclipse; Na barra de menus Eclipse:
  • Ajuda
  • Eclipse Marketplace ...
  • Pesquise por gradle ide pack 3.8
  • Instale o gradle ide pack 3.8
• Importe o projeto para o espaço de trabalho do Eclipse como um projeto Gradle.
• execute o ./rust-lisa/gradlew build

Execute o projeto com o Java 11. Nota: Para que a Gradle Run, você deve executar o projeto necessário com o Java 11 e nenhuma versão maior .

Correr

Para executar o projeto usando o Eclipse, você pode usar o RUN como aplicativo Java no Eclipse e passando um caminho para um arquivo de ferrugem como primeiro argumento.

O resultado será colocado na pasta output , que terá todos os relatórios ativados e um arquivo .dot com o LISA-CFG

Você pode executar outra tarefa gradle com

./rust-lisa/gradlew -q :tasks --all

Contribuir

Antes de cada compromisso, é necessário abrir um novo ramo com

git checkout -b < branch-name >

Então você pode começar a se comprometer nessa filial. Depois de terminar, você precisa primeiro correr

./rust-lisa/gradlew build
./rust-lisa/gradlew spotlessApply

e comprometa todas as alterações feitas com os arquivos.

Depois disso, você pode abrir uma solicitação de tração, marcando os revisores e adicionando tags sobre o PR, também com uma breve descrição.

PRÓXIMOS PASSOS

• Compilação completa de construções de ferrugem para lisa control-fluxo gráfico
• Métodos semantics completa dos nós do gráfico de fluxo de controle de ferrugem
• integrar o avental para análises numéricas