@lqd suggested that we have a look at https://github.com/hdc-arizona/cfgexplorer for visualizing loops