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

The following are some snapshots takes from SYMake tool in actions:



                                            Figure 1: SyMake Overview Snapshot



                                            Figure 2: Variable renaming as _src is highlighted



                                            Figure 3: SyMake showing the generated Symbolic Dependency Graph (SDG)



                                            Figure 4: Cyclic dependency detection



                                            Figure 5: A variable is selected and a rule node is expanded