论文部分内容阅读
基于数据流的程序分析算法能够有效识别程序的数据处理流程，但是对于采用数据加密技术进行通信的网络程序，数据流分析由于无法准确识别、提取解密数据而失效．针对如何提取解密数据，提出一种基于内存依赖度的算法，从解密数据内存依赖度的角度研究如何提取加密通信中的明文数据及实现该算法的原型工具EncMemCheck．通过实验对比分析该算法的优缺点，并在加密通信软件UnrealIrcd上进行实际测试，验证了算法的准确性和实用性．