程序分析是什么，逆向吗