Tainted flow analysis on top of the phc compiler