Xgadget:基于动静结合的二进制Gadget搜索

代码复用技术一直以来都是软件安全研究领域的热点,ROP(return-oriented programming)、JOP(jump-oriented programming)和DOP(data-oriented programming)技术是典型代表。Gadget搜索是代码复用的基础,针对现有静态搜索算法存在支持的Gadget类型不多,不能同时搜索动态链接库等问题,提出了基于动静结合的二进制Gadget搜索方法,基于此开发了搜索工具Xgadget。利用动态映像级插桩,对所有函数进行反汇编;设计了Token级和指令级有穷自动机,实现了基于自动机的静态搜索算法;在五款应用程序中对其进行了测试与评估。实验结果表明,算法支持ROP、JOP、DOP等多种Gadget类型的搜索,能够同时对目标程序动态链接库进行搜索,搜索数量是ROPgadget的12.5倍,单位指令搜索时间较之降低32.1%。算法为不同需求的代码复用提供更为广泛的支持,且输出结果是二进制Gadget,后续复用更直接,有利于代码复用自动化利用。

MFC应用程序框架封装技术在Matlab/Simulink中的应用

介绍了一种将信号实时动态显示单文档-视图应用程序框架封装成动态链接库的方法,并应用到Matlab/Simulink中。Matlab C MEX S-函数,调用该动态库已实现的功能,开发了一个实时显示Simulink模块。

基于交叉指纹分析的公共组件库特征提取方法

软件公共组件库的广泛使用在提升了软件开发效率的同时,也扩大了软件的攻击面。存在于公共组件库中的漏洞会广泛分布在使用了该库文件的软件中,并且由于兼容性、稳定性以及开发延迟等问题,使得该类漏洞的修复难度大,修补周期长。软件成分分析是解决该类问题的重要手段,但是受限于特征选择有效程度不高和公共组件库的精准特征提取困难的问题,成分分析的准确度不高,普遍停留在种类定位水平。文中提出了一种基于交叉指纹分析的公共组件库特征提取方法,基于GitHub平台25000个开源项目构建指纹库,提出利用源码字符串角色分类、导出函数指纹分析、二进制编译指纹分析等方式来提取组件库的交叉指纹,实现了公共组件库的精准定位,开发了原型工具LVRecognizer,对516个真实软件进行了测试和评估,精确率达到94.74%。

GPGPU-Sim兼容性问题解决方案及脚本自动化运行方法的研究

分析了GPGPU-Sim模拟器在高版本Ubuntu操作系统上运行时发生的动态链接库不兼容的问题,通过实验发现了解决方案,在此基础上提出了无需编译GPGPU-Sim源代码便可使用GPGPU-Sim模拟运行CUDA程序的办法,并给出了利用脚本自动化运行和采集数据的方法.提出的兼容性解决方案和并行运行方式可以提高模拟器部署和工作的效率,对于该模拟器的使用者和研究者有积极借鉴意义.

基于双层BiLSTM的安装程序DLL劫持漏洞挖掘方法

动态链接库(dynamic link library,DLL)的出现给开发人员提供了极大的便利,也提高了操作系统与应用程序之间的交互性.然而,动态链接库本身存在的安全性隐患不容忽视,如何有效地挖掘Windows平台下安装程序执行过程中出现的DLL劫持漏洞是当下保障Windows操作系统安全的关键问题之一.搜集并提取大量安装程序的属性特征,从安装程序、安装程序调用DLL模式、DLL文件本身3个角度出发,使用双层BiLSTM(bi-directional long short-term memory)神经网络进行学习,抽取出漏洞数据集的多维特征,挖掘DLL劫持未知漏洞.实验可有效检测Windows平台下安装程序的DLL劫持漏洞,共挖掘10个未知漏洞并获得CNVD漏洞授权,此外通过和其他漏洞分析工具进行对比进一步验证该方法的有效性和完整性.

一种结合动态链接库信息的崩溃输入分类方法

软件崩溃是一种严重的软件缺陷,可导致软件终止运行.因此,对软件崩溃的测试在软件迭代的过程中极为重要.近年来,模糊测试技术(如AFL)由于可以自动化生成大量的测试输入来触发软件崩溃,被广泛用于软件测试中.然而,通过该技术产生的导致软件崩溃的测试输入中,大部分崩溃的触发原因都是重复的,因此软件开发人员需要对测试输入进行分类,带来了许多冗余工作.目前,测试输入分类已经有很多自动化方法,主要包括基于程序修复的分类算法和基于软件崩溃信息的分类算法.前者通过对程序在语义上进行分析,在运行时通过在程序中替换修复模板后重新运行测试输入,进而对输入分类.因为此方法需要人为地对于软件崩溃编写修复模板,所以其分类的效率与修复模板的质量存在很大联系;且由于需要先修复崩溃、再对崩溃做分类,影响了软件崩溃的修复效率.采用后者的思想,提出了一种轻量而高效的利用软件崩溃信息的测试输入分类算法CICELY.其在软件崩溃点堆栈信息分类的算法基础上,在分析软件崩溃点堆栈时引入了动态链接库信息,通过区分系统动态链接库与用户动态链接库,结合用户代码位置信息,得到用户关注的函数集合,以在分类时以用户函数为基准对崩溃进行界定.最后,分别将CICELY与几种基于程序修复的分类算法和基于软件崩溃信息的流行分类工具进行了比较,实验测试的数据集共计19个项目、42组测试集.在与基于软件崩溃信息的分类工具Honggfuzz, CERT BFF在相同数据集上比较时, CICELY在分类结果的组数上比上述二者减少了2112.89%和135.05%,说明CICELY在同类算法上的实验效果有较大提升,具有更高的精确性.在与基于程序修复的分类算法“语义崩溃分类”用其论文中提供的测试数据集进行比较时, CICELY比“语义崩溃分类”的分组结果差4.42%;在由对应了多个崩溃的测试输入所组成的测试集上实验时,CICELY比“语义崩溃分类”分组的重复度高了3%.但是语义崩溃分类只能对于空指针解引用和缓冲区溢出这两种崩溃输入导致的崩溃进行分类, CICELY不受这样的限制.

基于UG/Open和Visual Studio2010的热流道喷嘴快速设计系统二次开发关键技术

采用UG/Open二次开发工具,将注塑模热流道喷嘴按照一个整体实体特征设计,应用动态链接库技术将UG/Open API和Visual Studio2010这2个不同模块进行连接,通过用户界面输入热流道喷嘴主要参数即可快速获得典型热流道喷嘴模型,从而实现热流道喷嘴的快速设计或修改。

基于LabWindows动态链接库技术的航天器有效载荷通用测试系统的开发研究

航天器有效载荷产品的生产研制具有种类多、批次多、批量小等特点。为了提升有效载荷产品自动测试系统的软件灵活性,以应对测试项目复杂性增加所带来的挑战,提出了一种基于动态链接库技术的测试系统软件架构。该架构具备线程管理、仪器资源管理和测试序列编辑的功能,通过三层动态链接库的关联结构设计实现了自动测试系统中用户管理、业务逻辑和仪器控制的软件功能,同时给出了系统架构中各个模块的详细设计方案,最后通过产品测试验证了系统功能。提出的基于动态链接库技术组成的系统架构具有更小的程序粒度和良好的扩展性。通过三层动态链接库模块之间的灵活配置与重构,使得测试系统软件整体功能得到不断升级,极大地满足了当前航天有效载荷产品生产研制对于集成测试系统的需求,从而为航天器测试系统架构设计提供了的一种新思路。

一种解决视频会议客户端DLL劫持的新方案

随着2020年疫情的来临,基于云会议系统的线上会议突然兴起,各式各样的视频会议系统进入人们的日常生活中,而视频会议系统带来便利的同时,也在使用过程中暴露出很多信息安全问题,包括拦截、中断、篡改、伪造等攻击方式。因此,针对目前视频会议系统存在的信息安全问题,以解决信息安全问题为创新目标,文章对恶意动态链接库进行安全性分析,分析其对会议系统的危害现状,基于客户端安装包攻击和注入攻击分别提出和设计相对应的信息安全系统,用来加强整个信息系统的安全性,并进行结果对比分析,得到针对劫持漏洞的初步解决方案。

基于LabVIEW的数据采集系统的实现

阐述了开放式虚拟仪器平台LabVIEW的特点,并介绍了在该平台上使用普通数据采集卡进行数据采集的动态连接库的设计方法。在此基础上开发了一个由计算机控制的数据采集系统,并对电动汽车电机电枢电流、车轮速度以及车身速度等信号进行了实际采集。实验证明采用这种方法省去了复杂的语言编程,缩短了软件的开发时间,简化了开发过程,同时也增加了应用的灵活性。

利用动态链接库提高代码可重用性

介绍了动态链接库的一般构建及其在VC ++中的使用、编制方法。

MATLAB数学库与Windows应用程序间接口库的设计

论述了如何在Visual C++开发环境中，以Windows DDL技术为核心技术，建立MATLAB数学库与Windows应用程序间接口库的方法，并分别以VC和VB开发环境为例，详细说明了如何在类C语言（VC、VB、Dephi、Power Builder等）开发环境中引用该接口库。

在VB中用动态链接库技术实现工程数据的采集

提出在 VC中创建动态链接库和在 VB中调用该动态链接库对计算机外设进行读、写操作的函数实现工程数据采集的方法 ,使用该方法可提高工程数据采集软件的设计效率 ,实现工程计量、测试、监测等应用软件从 Dos平台到

VC与MATLAB混合编程之DLL实现方法

文章首先论述了ＶＣ和 ＭＡＴＬＡＢ各自的优缺点，然后提出了 ＶＣ与 ＭＡＴＬＡＢ混合编程的几种方法，并详细阐述。了如何通过动态链接库（ＤＬＬ）实现二者的结合。重点突出了如何在 ＭＡＴＬＡＢ生成动态链接库封装开发好的算法，以及如何在ＶＣ的集成开发环境中调用ＤＬＬ。该方法充分发挥了ＶＣ与ＭＡＴＬＡＢ的优势，为科学研究和工程技术提供了更强的技术支持。

Windows动态链接库原理分析及其应用

深入分析了Windows动态链接库 (DLL)的内部原理 ,阐述了DLL的动态链接、地址映射、引用计数等特性 ,介绍了创建和调用动态链接库的方法和技巧 ,为工程人员开发和使用动态链接库提供了一定的技术支持。

一种新体系结构的开放式软CNC的设计

在分析数控系统开放性基础上,给出了一种可重构、可扩充的开放式软CNC的实现机制。该系统基于WinNT+RTX实时扩展系统,软件设计采用了新的三层结构,面向最终用户,体系结构完全开放。系统可整体重构,便于升级。用户通过编制组件对象模型程序和实时动态链接库程序,可以方便地扩充用户专用指令。

动态链接库技术在虚拟仪器开发中的应用

虚拟仪器是计算机技术和现代仪器技术共同发展的结晶,代表着当今仪器发展的最新趋势。动态链接库(DLL)机制的引入使得LabVIEW具有了更加强大的硬件接口的驱动能力。文章首先阐述了DLL技术以及LabVIEW的动态链接库机制,最后详述了利用上述两项技术设计的基于USB总线的虚拟仪器的过程。

用VisualC++ 6.0开发SolidWorks三维标准件库

研究了基于ＳｏｌｉｄＷｏｒｋｓ的三维标准件库（３ＤＰａｒｔＬｉｂ）的总体结构，介绍了３ＤＰａｒｔＬｉｂ的应用环境和使用方法，并详细讨论了使用ＶｉｓｕａｌＣ＋＋开发３ＤＰａｒｔＬｉｂ需要解决的组件对象模型、动态连接库和数据库的操作等关键技术。

二次开发UG中标准件库的建立

针对目前开发CAD系统的需要,讨论了对三维绘图软件UG进行二次开发利用参数化特征建模方式建立标准件库的方法,并结合实例阐述利用Visual C++6.0编程语言和UG/OPEN API开发UG动态链接库DLL的步骤和编程方法,实现了DLL程序与UG的无缝集成,为相关三维CAD软件的开发提供了借鉴。

Visual Basic中控制输入输出口的方法

Ｖｉｓｕａｌ Ｂａｓｉｃ（ＶＢ）以其强大的图形界面功能、可视化编程及方便的代码维护赢得了许多程序员的青睐，但ＶＢ却没有提供直接的Ｉ／Ｏ操作功能，为开发与硬件接口设备有关的系统程序的编制带来了一定的难度。文章详细论述了一种运用动态链接库ＤＬＬ对ＶＢ的功能进行扩展，实现Ｉ／Ｏ操作的办法，并给出了具体实例。