determine_checkpoints_for_cfi