CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
About
CrossHair es una herramienta de análisis diseñada para Python que combina elementos de pruebas y sistemas de tipos. Permite a los usuarios agregar contratos a funciones con anotaciones de tipo y trata de identificar contraejemplos explorando rutas de ejecución utilizando entradas simbólicas. La herramienta puede generar pruebas unitarias y detectar diferencias de comportamiento entre funciones, lo que la hace adecuada para desarrolladores que buscan mejorar la fiabilidad y corrección del código.
Open Source Health
- Stars
- 1,324
- Forks
- 97
- License
- Not stated
- Last commit
- 1 months ago
Alternativas a CrossHair
Vscanby VeoHerramienta de escaneo de vulnerabilidades de sitios web de código abierto, ligera, rápida y multiplataforma, que te ayuda a detectar rápidamente riesgos de seguridad.
jsEncrypterby c0ny1Un plugin de Burp Suite para pruebas de fuzz en funciones de cifrado del frontend.
Mishegosby TrailofbitsUn fuzzer diferencial para decodificadores x86.Oss Fuzzby GoogleOSS-Fuzz: fuzzing continuo para software de código abierto.
Reg Suitby reg-viz:recycle: Herramienta de Pruebas de Regresión Visual
Resources & Links
Related Categories
¿Usas CrossHair?
Controla su coste junto al resto de tu stack y recibe un recordatorio antes de que se renueve.
Añadir a mi stackVendor
Phillip Schanely
Mostly working on "CrossHair": easy SMT, fuzzing, & verification for Python