Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. catchconv

catchconv 0.1

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎1 ‎Votos
Descargar

Generación automática de entradas de prueba para detectar errores de conversión entre enteros con y sin signo. Complemento Valgrind que funciona con el procedimiento de decisión STP (descargado por separado). Consulte http://catchconv.pbwiki.com/ para obtener instrucciones de configuración.

historial de versiones

  • Versión valgrind-catchconv-0.1 publicado en 2007-02-05
    Varias correcciones y actualizaciones
  • Versión valgrind-catchconv-0.1 publicado en 2007-02-05

Detalles del programa

Programas relacionados

  • E-Dot Gratis

    E-Dot (que significa cifrado y descifrado de textos) es una herramienta muy pequeña para cifrar archivos de texto. E-Dot no utiliza archivos clave: una contraseña es suficiente. Esta herramienta también está disponible para L

  • Greasemonkey::phpinfo() Security Checker Gratis

    Cuando el script detecta una página phpinfo(), lo se debe a la huella dactilar de la cantidad segura de esa página phpinfo. Ideal para maestros web y administradores de servidores web que están un poco confundidos con los ele

  • CesTa - Security Framework Gratis

    CesTa (Code Enhancing Security Transformation and Analysis) es una herramienta para mejorar la seguridad mediante transformaciones de programas. Centrado en tarjetas inteligentes (Java Card en particular), con tecnología Ant,

  • IVIL Gratis

    El lenguaje de información de vulnerabilidad intermedia es un esquema XML para el intercambio de información de vulnerabilidad de una herramienta que maneja la información de vulnerabilidad a la otra.

  • Total Security Antivirus Solution Prueba gratuita

    No entendemos la importancia de la protección total para nuestro PC a menos que realmente nos enfrentemos a una situación de pérdida de datos devastadora. Sí, la pérdida de datos en la mayoría de las circunstancias se produce

  • HcryptoJ Gratis

    HcryptoJ (Criptología histórica en Java) es una biblioteca de programación basada en Java para implementar y analizar cifrados históricos. HcryptoJ está diseñado para apoyar la investigación y la enseñanza en criptografía his

  • Alfresco Encryption plugin Gratis

    Complemento de cifrado para Alfresco. Permite al usuario cifrar y descifrar (controla el tipo MIME 'pkcs5'). Este es un componente del proyecto IDX-eDOC (OpenTrust suite), aportado por IDEALX

  • SmartDefense Delta Gratis

    sddelta muestra las diferencias en la configuración de SmartDefense entre dos exportaciones desde un Check Point NGX SmartCenter. sddelta requiere Perl y sólo ha sido probado en Linux hasta ahora.

  • SecCube Gratis

    SecCube introduce un criptosistema basado en registros que no depende ni de un sistema operativo específico (Windows, Linux...) ni de un medio específico (Disco, Flash...). Por lo tanto, proporciona una cartera fácil de despl

  • Linmkfwall Gratis

    Linmkfwall es capaz de configurar un firewall para su caja linux ( ipfwadm, ipchains y iptables son compatibles). Las reglas de firewall se colocan en un archivo de shell de script Unix que debe ejecutar como root.