Tainting graph construction rewritten with the outer interface approach.