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