Context Sensitive Static Taint Analysis for C programs