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