verify if there exist some CFI needed to resolve at the end of tainting
phase