https://123dok.org/document/yd73mlly-nuovo-control-flow-graph-implementazione-verificatore-basato-ipd.html