Submit Software
  1. Home
  2. Linux
  3. Other
  4. catchconv

catchconv 0.1

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes
Download

Automatic generation of test inputs to catch conversion errors between signed and unsigned integers. Valgrind plug-in that works with the STP decision procedure (downloaded separately). See http://catchconv.pbwiki.com/ for setup instructions.

VERSION HISTORY

  • Version valgrind-catchconv-0.1 posted on 2007-02-05
    Several fixes and updates
  • Version valgrind-catchconv-0.1 posted on 2007-02-05

Program Details

Related Programs

  • E-Dot Free

    E-Dot (which means Encryption and Decryption Of Texts) is a very small tool for encrypting textfiles. E-Dot doesn't use Keyfiles: A password is enough. This tool is available for Linux and Windows, too.

  • Greasemonkey::phpinfo() Security Checker Free

    Whenver the script detects a phpinfo() page, it fingerprints it for how much secure that phpinfo page. Ideal for web masters and web server admins who are a bit confused with phpinfo() page's numberous configuration items.

  • CesTa - Security Framework Free

    CesTa (Code Enhancing Security Transformation and Analysis) is a tool for enhancing security by program transformations. Focused on Smart Cards (Java Card in particular), powered by Ant, ANTLR and StringTemplates.

  • IVIL Free

    Intermediate Vulnerability Information Language is is an XML schema for the exchange of vulnerability information from one tool handling vulnerability information to the other.

  • Total Security Antivirus Solution Free Trial

    We do not understand the importance of total protection for our PC unless we actually face a devastating data loss situation. Yes, data loss in a majority of circumstances occur due to our ignorance and lack of sufficient pro

  • HcryptoJ Free

    HcryptoJ (Historical cryptology in Java) is a Java based programming library for implementing and analyzing historical ciphers. HcryptoJ is designed to support research and teaching in historical cryptography and computer sci

  • Alfresco Encryption plugin Free

    Encryption plugin for Alfresco. Enables the user to crypt and decrypt (it handles the 'pkcs5' MIME-type). This is a component of the IDX-eDOC project (OpenTrust suite), contributed by IDEALX

  • SmartDefense Delta Free

    sddelta shows the differences in the configuration of SmartDefense between two exports from a Check Point NGX SmartCenter. sddelta requires Perl and has only been tested on Linux so far.

  • SecCube Free

    SecCube introduces a record based cryptosystem that depends neither on a specific OS (Windows, Linux...) nor on a specific media (Disk, Flash...). It provides therefore an easily deployable, highly portable and top-secure wal

  • Linmkfwall Free

    Linmkfwall is able to set up a firewall for your linux box ( ipfwadm, ipchains and iptables are supported ). The firewall rules are put in a Unix script shell file that you have to execute as root.