论文部分内容阅读
在进行软件逆向工程的过程中,对C反编译后的逻辑分支语句结构进行了形式化的描述,将图论领域中的与或图概念应用到逻辑分支语句的识别上来,克服了相关识别算法的局限性。求解与或图的过程中,提出了逻辑关联矩阵的概念,通过执行动态剪枝策略,大大简化了算法复杂度。最后给出算法实例和复杂度分析,验证了算法的正确性和有效性。