Alternativas a klee para Mac
Hay 3 alternativas para Mac 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). 2 son de código abierto. Las primeras son las más parecidas y populares.
| Programa | Coste | Licencia | Plataformas |
|---|---|---|---|
 FORM | Gratis | Código abierto | Mac, Linux |
 symlinks | Gratis | Código abierto | Mac, Linux |
 Plover | Gratis | Propietaria | Windows, Mac |
Sistema de manipulación simbólica para matemáticas y física teórica, orientado a expertos en cálculo algebraico
Coste
GratisLicencia
Código abiertoPlataformas
Mac, Linux
Utilidad de línea de comandos para escanear, identificar y corregir enlaces simbólicos problemáticos en sistemas de archivos
Coste
GratisLicencia
Código abiertoPlataformas
Mac, Linux
Motor de estenografía gratuito y de código abierto para escribir a alta velocidad en cualquier aplicación
Coste
GratisLicencia
PropietariaPlataformas
Windows, Mac
¿Buscas otra cosa? Mira todas las alternativas a klee.