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

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

Java程序的静态故障注入工具

对DrJava和50个Java语言开源项目的程序故障(差错)模式进行了分析,为其中一批比较常见的故障模式构建了故障模拟操作.设计并实现了一个基于BCEL库的字节码级Java程序故障注入系统原型,它以静态方式对Java目标程序进行故障模式扫描和故障注入,并给出相应的报告.对Java示例程序所进行的故障注入实验初步验证了所开发的原型的有效性.     

Pvm并行调试器DPD中的时序处理

针对并行调试器中传统排序模型的缺陷，提出了一套改进的时序处理机制．该机制是在调试系统中加入一个全局记录器，被调试模块在需要事件记录时向全局记录器申请一个全局序号，这样并行模块的事件就被自然地串行化，从而实现了并行程序时序的完全排序．该方法大大简化了排序过程，给记录一重放技术以及动态分析技术提供了有力的支持。     

Auto－DB的编译器的原理

程序方式是自动编程数据库管理系统ＡＵｔｏ－ＤＢ提供的最重要的运行方式Ａｕｔｏ－ＤＢ的编译器是一种解释性编译程序，它的任务是将用户提供的非程序信息，编译成目标程序．它具有小型、简捷、结构化等特点，本文以查询操作为例介绍了Ａｕｔｏ—ＤＢ的编译原理．     

Auto—DB的编译器的原理

程序方式是自动编程数据库管理系统Ａｕｔｏ－ＤＢ提供的最重要的运行方式，Ａｕｔｏ－ＤＢ的编译器是一种解释性编译程度，它在任务是将用户提供的非程序信息，编译成目标程序，它具有小型、简捷、结构化等特点，本文以查询操作为例介绍了Ａｕｔｏ－ＤＢ的编译原理。     

dBASEⅢ报表程序自动生成系统

报表自动生成系统，是当前较为热门的一项课题，而且众多的报表自动生成系统应运而生。本文所介绍的这个系统就是一个实例，但是其设计思想和实现技术上都有新的内容。文章着重向读者介绍了本系统在总体设计时的理论指导思想，即：1．从数据结构出目标程序的结构；2．从结构的类型导出目标程序结构的类型；3．从源数据文件与目标数据文件之间的关系，导出目标程序中的算法（加工）模型。     

基于Labwindows／CVI虚拟空调挂机调试系统的实现

简要介绍虚拟仪器及虚拟仪器程序设计语言Labwindows／CVI的基础知识，如何在Labwindows/CVI下实现虚拟空调挂机调试系统。该调试系统包括：用户操作界面的设计(其中有菜单栏、常用工具栏的制作及调试操作所需的控件等)、C语言执行程序的编写、运行、调试和生成软件包。该调试系统虽结构简单，但操作性很强，利用它可以配合完成挂机空调设计的初步调试。     

介绍一种微型机简易开发系统

本系统是一种微型机系统与单板机联机通信的简易开发系统,主要用于解决汇编语言的目标程序的传输问题。本系统可将目标程序送入单板机的内存,也可将磁带文件送入微机系统进行反汇编。本系统适用于所有带RS—232C的串行数据接口和具有CP/M磁盘操作系统的微型机。其接口与CRT终端显示器相连时,可进行简易通信。     

应用生成器NITAG的设计与实现

NITAG 是面向企事业事务数据处理、以自动生成事务数据处理应用软件为目标的应用生成器。它提供了一个需求说明语言 RSL,用户可以用它描述数据及应用需求。NITAG 在接受这种描述后便可自动生成用户所需的应用软件。NITAG 采用了程序变换法与知识工程法相结合的系统工作原理,首先对用户的需求说明按变换规则进行变换、细化,使需求说明逐步地接近目标语言(EQUEL/C)的表示形式,然后根据系统的编程知识进行分析、推理,取出相应的软部件构造用户的目标程序。     

以自然语言为界面实现VC＋＋程序的自动生成

本文提出以自然语言为界面实现程序自动生成的研究成果。该研究系统使用面向对象的方法与技术,以自然语言为输入界面,使用扩充的格语法进行语法语义分析,将用户描述的VC 期望程序功能的汉语篇章依次进行自动切词处理、语法处理、语义分析理解、目标程序的自动生成,最终形成满足用户要求且符合Visual C 语法的结果程序。     

可编程序控制器（PLC）系统的接地

接地系统在自动化控制系统中是一个不可忽视的重点。它对系统是否能够安全运行以及信号能否正确传输起着不可小视的作用。本文就可编程序控制器中的接地问题,说明一些在电气施工和调试中应注意的事项。希望能够为将来可编程序控制器系统的施工和调试工作带来一些方便。     

基于Web的自主式移动机器人的调试仿真环境

提出了一种采用浏览器／服务端和客户端／服务端混合结构的机器人调试与仿真环境。该环境部分采用了网页技术，适用于调试和仿真多智能主体系统结构的自主移动机器人．在介绍其组成结构的基础上，详细分析了自主移动机器人调试和仿真的结构，讨论了在实时在线监控、离线数据回放、模拟仿真、真实数据仿真等几种情况下的工作模式及作用．实验结果表明，该调试仿真环境能有效地对自主移动机器人进行监控、跟踪、记录、调试、仿真，在实际项目开发中提高了系统的开发效率，缩短了开发周期．     

适用于PDA的PLC编程系统开发

传统上调试PLC通常采用手持式PLC编程器，且只能适用于相应型号的PLC，上位计算机上的编程软件无法适用于现场实时调试、编辑程序．本系统在分析PLC编程器和编程软件的功能上，通过系统分析．设计出适合PDA的模块．它采用PDA作上位机，嵌入式VB为开发工具．开发出相应的微型GUI和上层应用软件．该系统可用PDA代替原有的手持式PLC编程器，具有初始化内存、编辑调试程序、监视PLC运行等功能．其既具有PLC编程器的灵活方便的优点．又具有上位计算机易于编程、方便调试且应用范围广的优点。     

NC-401数控车床与微型计算机的通讯研究

分析了录音磁带记录数据的萨斯城（Kansas）标准和Intel Hex数据记录格式及其在NC－401数控车床上的具体应用。通过解析NC－401数控车床的数据传输格式，实现了用通用声卡在计算机上砘取程序，从而代替了原机床用录音机存取程序，大大提高了程序存贮的速度和可靠性，为该机床的离线编程、调试及加工过程仿真创造了条件。     

基于PLC构件的继电保护系统调试探讨

继电保护系统在电力系统中的应用，大幅度地提高了电力系统的安全与可靠性，同时推进了电力系统的自动化进度。它的重要意义不仅体现在它所带来的经济效益上，同时也为我国电力管理系统的进步做出了贡献。PLC凭借其程序编写容易、安全可靠等优点，在各个行业都得到了广泛的应用，在继电保护系统中的运用也得到了大力推广。本文主要探讨的就是PLC构件在继电保护系统中调试方面的优点。     

浅析分量记录方式的优越性

通过对复合视频记录方式的概述,指出了该种记录方式不能获得高画质的原因,从而引导出分量记录的概念,并对分量录像机的视频记录及重放工作原理进行分析,阐述了分量记录的优越性。     

嵌入式系统虚拟实验平台仿真调试技术

为了提高嵌入式系统课程的教学质量,加强学生的嵌入式系统程序设计与调试能力的培养,根据课程教学内容设计了便携式的嵌入式系统课程虚拟实验平台,针对虚拟实验平台的程序仿真调试功能,提出了基于Proteus的远程仿真和基于GCC的本地仿真的两种在线仿真调试技术。以虚拟实验平台的行列式键盘实验项目为例,针对两种在线仿真调试技术在虚拟实验平台上分别进行了程序仿真调试演示,进一步完善了嵌入式系统课程虚拟实验平台的功能。     

浅析分量记录方式的优越性

通过对复合高频记录方式的概述,指出了该种记录方式不能获得高画质的原因,从而引导出分量记录的概念,并对分量录像机的视频记录及重放工作原理进行分析,阐述了分量记录的优越性。     

元程序设计环境的自动生成技术实现

针对因目标程序和元程序的复杂性而导致元程序设计环境的构造过程十分复杂的问题,将面向对象的方法应用于元程序设计环境的自动生成技术,并以此为基础,实现了一个支持多种环境语言(实现元程序的语言)的元程序设计环境自动生成系统--O_MPS.实验结果表明,该系统可以根据用户提供的说明自动生成元程序设计环境,O_MPS生成的元程序设计环境包含丰富的元级操作,支持中间表示和元级操作的同时扩展,为灵活高效地进行元程序设计提供了支持.     

关于录象机(VHS 方式)色度信号的同步问题

所谓录象机色度信号的同步是指色度信号 C 必须跟亮度信号 y 保持同步。本文对该系统同步电路中所用的 AFC 与 APC 锁相环使用同一的基准信号进行锁相,从而使记录与重放状态实现了真正的同步。