Analytic Provenance for Software Reverse Engineers