AliveToolkit/alive2

Verificação automática de otimizações do LLVM

↗ Abrir no GitHub

Estrelas

1.163

Bifurcações

160

Linguagem

C++

Licença

MIT

Último push

há 6 dias

C++verification model-checking llvm llvm-ir smt symbolic-execution automatic-verification translation-validation

Ainda não há intel relacionado

Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.