抽象表示相关论文
基于遗传算法的网络安全配置自动生成框架,是一种全新的、具备极高安全性能的接入权限判定机制,能够有效保证网络安全。本文围绕提......
为准确刻画程序的控制流和正确地提取程序控制结构,给出可执行代码控制流分析的整体架构和算法,阐述可执行代码反汇编结:果的抽象表示......
为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示(SAIR)。根据汇编指令的特点,给出SAIR的语法并详细......