Tópico · abstract-interpretation

abstract-interpretation

Repositórios de código aberto acompanhados marcados com abstract-interpretation, ordenados por estrelas.

Repositórios

Total de estrelas

6.544

Média de estrelas

2.181

Participação

0,00%

Tópicos que aparecem com frequência ao lado de abstract-interpretation no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com abstract-interpretation.

Nenhum repositório novo marcado com este tópico nos últimos 90 dias.

#1
ikos ↗@NASA-SW-VnVC++
Analisador estático para C/C++ baseado na teoria de Interpretação Abstrata
★ 3.163+1Variação de estrelas nos últimos 7 dias
#2
SVF ↗@SVF-toolsC++
Framework de análise de fluxo de valores estáticos para código-fonte
★ 1.708+1Variação de estrelas nos últimos 7 dias
#3
BinAbsInspector ↗@KeenSecurityLabJava
BinAbsInspector: Scanner de vulnerabilidades para binários
★ 1.673+0Variação de estrelas nos últimos 7 dias