File	Date	Author	Commit
README	2014-07-11	Syrine Tlili	[315751] --signoff
ext-gcc-binaries.tar.gz	2014-07-11	Syrine Tlili	[315751] --signoff
patch-emunity	2014-07-10	Syrine Tlili	[b8277e] Initial Commit
secpolicy.xml	2014-07-10	Syrine Tlili	[b8277e] Initial Commit

Read Me

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

    Download and Install libxml2 from http://xmlsoft.org/
    Download and Install code2html from https://www.palfrader.org/code/code2html/
    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:

    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