https://asplos.dev/wordpress/2022/02/21/program-analysis-control-flow-graph/