Intra-procedure taint propagation introduction