Intra-procedural taint propagation