Go With The Flow: Data Flow Analysis For Binary Differencing