Home

If you download the source code patch, follow the instructions below:

1. Download and Install libxml2 from http://xmlsoft.org/
2. Download and Install code2html from https://www.palfrader.org/code/code2html/
3. Apply patch_emunity to gcc-4.8.2 and install the extended compiler :
   • tar -xf gcc-4.8.2.tar.gz
   • cd gcc-4.8.2
   • patch -p1 < pathto/patch_emunity
   • ./contrib/download_prerequisites
   • cd ..
   • mkdir gcc-build
   • cd gcc-build
   • ../gcc-4.8.2/configure --disable-multilib --prefix=$EXTGCC
     CFLAGS=xml2-config --cflags LDFLAGS=xml2-config --ldflags
   • make
   • make install

If you download the binaries archive:

1. Unpack the binaries archive in directory $EXTGCC.

Run your first security checks with the following command :

$EXTGCC/bin/gcc -O2 --fsafety-check=$XMLPOLICY -fsafety-dir=$MYDIR  file.c

$XMLPOLICY stands for the path to file secpolicy.xml. All detected vulnerabilities will be listed in file $MYDIR/ERROR