共查询到20条相似文献,搜索用时 15 毫秒
1.
设计了基于Soot字节码分析框架并实现了软件原型,利用Soot提供的Spark指向分析框架对整个程序做出指向分析,在此基础上拓展了Soot分析框架,对每个可能竞争对进行线程局部对象分析、可能并行分析、别名锁分析,数据竞争结果逐步精确. 相似文献
2.
基于回溯与引导的关键代码区域覆盖的二进制程序测试技术研究 总被引:1,自引:0,他引:1
基于路径覆盖的测试方法是软件测试中比较重要的一种测试方法,但程序的路径数量往往呈指数增长,对程序的每一条路径都进行测试覆盖基本上是不可能的。从软件安全测试的观点看,更关心程序中的关键代码区域(调用危险函数的语句、圈复杂度高的函数、循环写内存的代码片断)的执行情况。该文提出了覆盖关键代码区域的测试数据自动生成方法,该方法基于二进制程序,不依赖于源码。通过回溯路径获取所有可达关键代码区域的程序路径,并通过路径引导自动为获得的路径生成相应的测试数据。路径引导策略基于程序的符号执行与实际执行,逐步调整输入,使用约束求解器生成相应的测试用例。理论分析与实验结果显示该文给出的方法可以降低生成测试数据所需要的运行次数,与传统的覆盖路径测试数据生成方法相比,所需要的运行次数显著降低,提高了生成测试数据的效率。 相似文献
3.
近几年来,Android手机木马病毒发展迅速,Android手机安全问题成为大家关注的焦点,基于Android的木马检测引擎的研究与实现变得日益迫切。为此,提出了一套特征码提取检测算法(FCPA),FCPA通过调用Android系统库函数获取恶意文件的源路径,利用源路径找到相应文件并对文件进行散列处理,获取文件特征信息,生成一个唯一标识该木马病毒的特征值,然后构建特征码库。同时,设计并实现了木马检测引擎,其利用特征码提取算法快速扫描并检测出手机应用程序中的恶意程序。实验结果表明,该木马检测引擎能够有效检测恶意应用。 相似文献
4.
5.
为了网页客户端能访问VFP编写的代码,可以用VFP编写DLL方式的组件文件,供网页脚本程序调用。通过VFP的ExecScript()函数,可以调用动态VFP程序,而不用重新编写DLL文件。通过传递网页对象到DLL的方法,在VFP中可以直接操作网页对象。结合网站服务器端VFP脚本,网页功能可更强大,开发更方便。利用VFP内置的Base64编解码函数,可在服务器与客户端方便地传递二进制文件。 相似文献
6.
7.
在软件开发过程中,常常要调用Win 95的系统程序或者在Win 95下安装的外部程序,这时可以用VB提供的shell(pathname[,windowstyle])来激活程序,但是在开发时不可能了解用户机器上软件的详细安装路径,因为大多数软件安装时允许用户修改安装路径,以满足特殊要求,所以shell()函数的使用有一定的局限性。然而可以通过win 95的注册表提取软件安装时 相似文献
8.
Keil C51中C51程序与汇编程序的接口方法 总被引:1,自引:0,他引:1
C语言程序与汇编语言程序的相互调用可视为函数的调用,只不过此函数是采用不同语言编写。在C和汇编程序的相互调用中,要求汇编程序必须服从Keil C51中对函数名的转换规则,同时也要弄清C函数的参数传递规则,通过实例详细介绍Keil C51中C51程序与汇编程序相互调用以及汇编程序与C51程序相互调用时的接口建立方法,并给出在不同的应用中对接口进行简化的方法。 相似文献
9.
10.
基于XML实现液晶编程的一种新方法 总被引:1,自引:1,他引:0
针对传统液晶显示编程工作量大、繁琐,且程序形成后,再进行修改比较困难的缺点,提出了基于可扩展标志语言(Extensible Markup Language,XML)技术编程的一种新方法。这种方法把显示内容和显示算法分开,由Pc绘制显示内容并转换成基于XML标准的文件存储到单片机的ROM中,而显示算法只需根据显示文件的格式进行判断调用相应的函数。这种运用XML技术实现液晶显示编程,不仅提高编程的效率、增强程序的可维护性,而且大大减小程序占用的空间。 相似文献
11.
函数是C程序基本构造模块,是构造结构化程序的基础。C语言中主调函数调用被调函数的重要目的之一就是为了获得调用后的结果,对C函数的调用做了全面的分析和研究,总结出C语言通过函数调用获得调用结果共有3种调用方式,每种方式获得的结果的情况并不一样,并对每一种调用方式的调用原理从内存机制给予了说明和解释。 相似文献
12.
论文提出了一个基于Windows系统调用序列检测的异常检测模型,并在原有的系统调用序列串算法的基础上引入了系统调用参数以及系统调用虚地址空间来对程序行为进行精确分析。 相似文献
13.
众所周知,JAVA以跨平台著称,这也是许多程序员喜欢JAVA的原因,但JAVA也有其不足之处,它与硬件设备的通信一直是以使用JNI调用.dll/.so共享类库来实现的,程序员如果使用JNI技术调用.dll/.so文件,首先需要另外编写一个.dll/.so共享库来调用.dll/.so文件中公布的函数,这种调用dll/.so库中的原生函数的JAVA程序非常麻烦,所以对于程序员来说,非到不得已,不会轻易使用JNI技术。为解决JNI技术的繁琐性,本文介绍将一个最新的访问本机代码的JAVA框架—JNA,探讨如何使用JNA技术调用第三方dll文件;并利用这一框架实现与读写器的通信。 相似文献
14.
15.
16.
17.
18.
程序在动态执行过程中泄露了大量的路径分支信息,这些路径分支信息是其内部逻辑关系的二进制表示.符号执行技术可以自动地收集并推理程序执行过程所泄露的路径信息,可用于逆向工程并可削弱代码混淆的保护强度.哈希函数可以有效保护基于等于关系的路径分支信息,但是难以保护基于上下边界判断的不等关系的路径分支信息.将保留前缀算法与哈希函数相结合提出了一种新的路径分支混淆技术,将符号执行推理路径分支信息的难度等价到逆向推理哈希函数的难度.该路径分支混淆方法在SPECint-2006程序测试集上进行了实验,试验结果表明该混淆方法能有效保护程序路径分支信息,具有实用性. 相似文献
19.
20.
自动微分 (AD)技术以非标准分析为理论基础 ,是计算机数值计算领域中的一种很有前途的方法。文中提出了基于 AD技术的器件模型参数提取算法 ,在 Visual C+ +平台编制了模型参数提取程序 ,对所建立的基于表面势的 MOSFET模型进行了有约束条件的参数提取。结果表明 ,算法收敛快、稳定性好、提取准确 相似文献