关键词: 反编译, 识别算法, 复合算法, 逻辑分支语句, 与或图, 逻辑关联矩阵, 软件逆向工程, ,

Abstract: By a formalizing description to the construction of logic compound sentences in the process of decompilation，a novel algorithm is proposed in course of software reverse engineering.It applies the logic diagram to the recognition of LCS which belongs to graph theory.In this way，the algorithm overcomes the shortcomings of some typical current recognition approaches.Furthermore，this paper introduces logical correlation matrices in the solution to the logic diagrams，and a dynamic pruning policy is executed in this course，by which the novel algorithm is greatly predigested.In the end of the paper，it offers a specific instance and the complexity analyses，which proves the validity and sophistication of the new algorithm.

Key words: decompilation, recognition algorithm, composite algorithm, logic compound sentences, logic diagram, logical correlation matrices, software reverse engineering