Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection