A control-flow normalization algorithm and its complexity | IEEE Journals & Magazine | IEEE Xplore