DFTracker: detecting double-fetch bugs by multi-taint parallel tracking