Taint Propagation Analysis and Dynamic Verification with Information Flow Policy: Taint Propagation Analysis and Dynamic Verification with Information Flow Policy