DECAF: A Platform-Neutral Whole-System Dynamic Binary Analysis Platform
DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation