Taint.getExternal and .setExternal implemented and applied on IGET/IPUT