Build Code Analysis with Symbolic Evaluation
Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen, Tien N. Nguyen

To run SyMake successfully, you need first to have the following plugins/software installed:
1. Graph Visualization Software (Graphviz) : http://www.graphviz.org/Download.php
2. Microsoft .NET Framework 4: http://www.microsoft.com/download/en/details.aspx?id=17851
3. Adobe PDF Reader: http://www.adobe.com/products/reader.html

SyMake Tool Installer: [SyMake-0.1.zip 113KB] Updated on 11/04/2011
Sample Makefiles to start with: [SampleMakefiles.zip 5KB]

Related Makefile tools:
1. MAKAO: http://sailhome.cs.queensu.ca/~bram/makao/index.html