NASA-SW-VnV/ikos
@NASA-SW-VnVAnalizador estático para C/C++ basado en la teoría de la Interpretación Abstracta.
Estrellas
3163
Bifurcaciones
220
Lenguaje
C++
Licencia
NOASSERTION
Último push
hace 3 meses
Intel relacionado (0)
Aún no hay intel relacionado
Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.