Alternativas de código abierto a klee

Hay 4 alternativas de código abierto a klee (motor de ejecución simbólica dinámica basado en llvm para generar pruebas y analizar el código fuente en macos y linux). Las primeras son las más parecidas y populares.

Alternativas de código abierto a klee
ProgramaCosteLicenciaPlataformas
FORMGratisCódigo abiertoMac, Linux
ScriptellaGratisCódigo abierto—
symlinksGratisCódigo abiertoMac, Linux
MoaiGratisCódigo abierto—
Sistema de manipulación simbólica para matemáticas y física teórica, orientado a expertos en cálculo algebraico
  • Coste

    Gratis
  • Licencia

    Código abierto
  • Plataformas

    Mac, Linux
Herramienta ETL y ejecución de scripts en Java basada en SQL y XML para migrar datos entre múltiples fuentes
  • Coste

    Gratis
  • Licencia

    Código abierto
  • Plataformas

    —
Utilidad de línea de comandos para escanear, identificar y corregir enlaces simbólicos problemáticos en sistemas de archivos
  • Coste

    Gratis
  • Licencia

    Código abierto
  • Plataformas

    Mac, Linux
Motor de juegos de código abierto y plataforma de despliegue para crear juegos móviles en iOS y Android
  • Coste

    Gratis
  • Licencia

    Código abierto
  • Plataformas

    —

¿Buscas otra cosa? Mira todas las alternativas a klee.