corrected registers taint analysis