catchconv 0.1
You'll be able to download in 5 seconds.
You can also click on the following External Download Link to start download:
http://sourceforge.net/projects/catchconv/files/catchconv/valgrind-catchconv-0.1/valgrind-catchconv-0.1.tar.gz/download
ABOUT catchconv
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.
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.