tainting improvement: do not consider read/written registers of string
compare instructions