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