Introduction to Inter-procedural taint propagation