BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results