Fixed bugs related to taint propagation of ARM/THUMB/THUMB2 instructions.