8.43 DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation