逆向工程可用于维护已有的软件，逆向工程能够 (13) 。

A．分析源程序，决定需要修改的部分及其影响的程度

B．能够使用数学方法证明各软件功能的正确性

C．分析源程序，从源程序导出程序结构

D．将源程序改写成易于理解的、结构清晰的程序