Dynamic analysis with debugging