Tema · abstract-interpretation

abstract-interpretation

Repositorios de código abierto monitorizados etiquetados con abstract-interpretation, ordenados por estrellas.

Repositorios

Estrellas totales

6544

Estrellas de media

2181

Proporción

0,00%

Temas que aparecen con frecuencia junto a abstract-interpretation en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con abstract-interpretation.

No hay repositorios nuevos con este tema en los últimos 90 días.

#1
ikos ↗@NASA-SW-VnVC++
Analizador estático para C/C++ basado en la teoría de la Interpretación Abstracta.
★ 3163+1Variación de estrellas de los últimos 7 días
#2
SVF ↗@SVF-toolsC++
Marco de análisis de flujo de valores estáticos para código fuente.
★ 1708+1Variación de estrellas de los últimos 7 días
#3
BinAbsInspector ↗@KeenSecurityLabJava
BinAbsInspector: Escáner de vulnerabilidades para binarios.
★ 1673+0Variación de estrellas de los últimos 7 días