Our experimental GMC source code can be downloaded here.

System Requirement

Our GMC tool requires Linux system with GCC version greater than or equal to 3.0.0. Nearly all modern Linux districutions satisfy this requirement

Installation

1. The instruction to install GMC is following:
2. Untar downloaded gmc source code.
3. Create a 'build' and a 'tool' directory in the 'gmc' directory which is generated by previous step.
4. cd build; ../gcc/configure --prefix=<gmc-directory>/tool --enable-languages=c
5. make; make install

Running Test Cases

Simply run: <gmc-directory>/tool/bin/gcc -O2 <your-c-program>