SVF-tools/SVF

Marco de análisis de flujo de valores estáticos para código fuente.

↗ Abrir en GitHub

Estrellas

1708

Bifurcaciones

495

Lenguaje

C++

Licencia

NOASSERTION

Último push

hace 1 semana

C++static-analysis llvm code-analysis pointer-analysis points-to-analysis static-analyzer source-code-analysis bug-detection dependency-analysis code-verification abstract-interpretation static-value-flow

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.