基于程序动态信息的漏洞自动利用技术研究

近年来,随着模糊测试技术的发展,漏洞自动挖掘工作取得了较大研究进展,而漏洞自动利用研究进展相对缓慢。文章重点深入研究漏洞利用生成,旨在解决潜在漏洞仍需大量人工辅助进行利用性分析的问题,主要研究工作如下:(1)以Linux系统下的ELF文件为研究目标,综合考虑各种漏洞利用方式和缓解措施,提出自动化漏洞利用模型;(2)基于动态插桩获取程序对内存数据的读写情况,并在污点分析基础上提出了一种改进的内存信息获取技术,将程序对内存数据的读写情况记录成能够帮助漏洞利用生成的信息,并在Linux操作系统上实现了一个自动化漏洞利用系统(Exploiter),Exploiter针对目标程序以及使目标程序崩溃的异常输入,可输出一个在目标程序中打开的系统命令解析器。最后的实验结果验证了Exploiter的有效性和整体性能。     

提高VFP中用户名和密码的保密性

保密性是设计数据库应用系统时不可忽视的问题。本文针对应用管理系统的用户名与密码的设计 ,采用了变量文件的方法 ,通过科学、合理的处理 ,成功解决了登录系统和修改用户名与密码的工作 ,达到了较好的效果 ,并具有一定的通用性     

一个应用于动态内存管理算法中的数据结构

通过对原来的内存块管理链表的结构改进,提出了一种新的链表结构,该数据结构描述了已分配块链表和空闲块链表的结构关系,从而能够提高动态内存管理的效率.     

基于语义抽象的内存访问错误检测

为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错误.通过将程序分析和程序验证相结合,提高内存检查的自动化和准确性.原型实现表明了方法的有效性.     

嵌入式内存数据库在配料系统中的实现与应用

针对嵌入式配料系统采用单独的后台SQL数据库储存管理数据中存在的缺陷,提出了在嵌入式配料系统中采用前台内存数据库和后台SQL数据库协作的方式管理数据的全新解决方案.以某企业嵌入式配料系统项目为背景,研究了前台内存数据库和后台SQL数据库协作管理配料系统数据的实现过程,介绍了嵌入式内存数据库核心对象的数据组织方式.该方案已应用于嵌入式配料系统中,并使配料系统的实时性、可靠性、稳定性方面都得到了较大的提高.     

海量网络存储技术研究

在存储技术不断发展和转变的过程中,新的网络存储需求逐渐被提出,本文通过分析RAID、DAS、NAS、SAN存储方式的特点,对规划现代化网络存储系统、优化选择理想的存储模式,应考虑到的问题及必须坚持的原则,对如何选择存储系统,提出了理论分析,并对磁盘阵列的存储架构、扩充能力、响应速度,以及设备的扩充、异构系统兼容、网络传输速率乃至存储系统的可扩充性与扩充容量进行了实践探讨。     

基于xPC和反射内存网的半实物仿真

为了实现仿真系统的快速原型化以及保证群设备间的强实时性通信问题,提出了基于"xPC目标+反射内存网"的解决方案.介绍了基于xPC目标的半实物仿真系统设计过程,解决了xPC目标环境下利用反射内存技术构建高速实时网络的关键技术问题,测试了单点xPC目标的实时性和多点xPC目标间的反射内存网实时性.在某末制导半实物仿真系统中的集成和试验,验证了基于"xPC目标+反射内存网"的半实物仿真系统的仿真实时性和仿真精度.     

电信计费系统中实时重单稽核的实现方案

通过对电信计费系统中重复话单特点的分析以及对系统效率的考虑,确定了计费系统中实现实时重单稽核使用内存加文件排重方式,并阐述了具体的处理流程及实现方案。     

使用缓存的虚拟机内存扩展

针对虚拟机内存需求预测困难及内存分配不足时性能严重下降的问题, 提出在虚拟机监视器中加入一个缓存 HECache。HECache 预先保留部分内存, 运行在同一台物理主机上的所有虚拟机共享该部分内存, 且对 HECache中内存的使用申请都可以立即得到满足。通过预先牺牲少量内存的方法, 所有的虚拟机都获得了更多的可用内存。实验结果表明, 将内存保留在 HECache 中与直接分配给虚拟机相比开销很低。HECache 对应用程序透明, 与现有的其他内存机制( 例如 ballooning, page-sharing, hotplug) 等兼容。     

即时编译器辅助垃圾收集中的对象生命期分析研究

提出一种对象生命期分析算法,利用即时编译器分析应用程序并在其中安插显式释放对象等指令,通过辅助垃圾收集器改进对象的回收与分配来减轻垃圾收集器自动回收的负担.该算法结合了活跃变量分析和指针逃逸分析,对Java程序的每个方法仅分析一次,而且是过程间的,对域、上下文是敏感的,能够分析识别应用程序中的非全局对象及其死亡位置.实验结果表明:算法的执行时间占总编译时间的3.6%~5.3%;相比一般的Salagnac等指针逃逸分析,能识别出更多的对象生命期信息,而且对象死亡位置能精确到Java方法控制流图中的基本块;在即时编译器辅助的垃圾收集优化中能够显式地回收较多的内存空间.