一种利用内存保护技术实现程序踩内存的检测方法

提出了一种程序踩内存的检测方法。利用内存保护技术,在应用程序申请内存后根据情况将其所申请的内存页面属性设置为只读。如果应用程序发生不当的内存访问,将极有可能踩到属性为只读的内存页面,从而引发内存访问冲突异常。提示发现程序踩内存事件并准确定位错误代码。通过进行针对性的维护操作,达到优化程序、提高软件可靠性和安全性的目的。     

基于抽象语法树的代码抄袭检测方法的改进

针对传统基于抽象语法树的代码抄袭检测方法中存在的检测准确率不高及无法检测语义层面抄袭的问题,设计了一种基于改进抽象语法树的代码抄袭检测方法,该方法通过TF-IDF加权简化的语法树提高检测准确率.利用加权简化的抽象语法树设计特征提取和相似度计算方法实现对语义抄袭的部分检测,实验结果表明,该改进方法比传统的基于抽象语法树的检测方法的准确率更高,且能有效检测出部分基于语义层面的代码抄袭.     

深度学习源代码缺陷检测方法

针对由于传统的源代码缺陷分析技术依赖于分析人员的对安全问题的认识以及长期经验积累造成的缺陷检测误报率、漏报率较高的问题,提出了一种深度学习算法源代码缺陷检测方法.该方法根据深度学习算法,利用程序源代码的抽象语法树、数据流特征,通过训练源代码缺陷分类器完成源代码缺陷检测工作.其依据的关键理论是应用深度学习算法及自然语言处理中的词嵌套算法学习源代码抽象语法树和数据流中蕴含的深层次语义特征和语法特征,提出了应用于源代码缺陷检测的深度学习一般框架.使用公开数据集SARD对提出的方法进行验证,研究结果表明该方法在代码缺陷检测的准确率、召回率、误报率和漏报率方面均优于现有的检测方法.      

基于分层模型的FlexRay车载网络容错检错机制研究

FlexRay是可应用于车用实时控制系统的通信协议.本文首先分析了它的时钟同步、容错及检错功能.在此基础上,建立了网络抽象分层传输模型.根据此模型,对FlexRay在车用分布式实时控制系统中的错误检测应用进行研究,通过关注协议对错误即时识别分类,分情况讨论各个抽象层在错误发生时层内机制的处理过程,发现FlexRay可在较短时间内定位错误所在的网络层,集中检测该层工作状况最终迅速对错误作出反应.     

基于源代码的内存泄漏静态分析方法

在很多大型C、C++程序中,内存泄漏是一种十分常见的问题.内存泄漏是很难识别的,因为它唯一的特征就是内存消耗的增长.对内存泄漏产生的原因进行了分析,并且提出了一种基于可执行源码的静态分析方法.对可执行源码进行预处理,生成抽象语法树和控制流图,并且计算出所有可达路径,然后在每条可达路径上进行内存泄漏故障的检测和分析.此方法已在缺陷检测系统(DTS)中进行验证,通过对大量GCC开源工程的测试,证实本方法有效的检测出内存泄漏的故障.     

基于字段完整性的内存破坏漏洞检测方法

为了有效地检测二进制程序的内存破坏漏洞,根据数据结构中字段独立性的特征,提出了一种基于字段完整性的漏洞检测方法.利用基于字段格式的动态污点技术记录二进制程序的执行轨迹,由此分析出目标程序中与输入数据相关的数据结构.依据输入数据结构中字段的完整性,比较输入字段与得到的数据结构,得到被内存破坏漏洞破坏的数据结构.通过定位被破坏的数据结构合理地检测内存破坏漏洞.实验表明该方法可以准确有效地检测出内存破坏漏洞.     

基于静态分析方法的Android应用内存泄漏检测模型

因为部分开发人员对Android内存管理机制理解模糊,所以Android应用程序的内存泄漏问题较为常见.为了解决内存泄漏的检测问题,首先分析了Android系统的内存管理机制,通过代码分析找出了Android应用内存泄漏的原因,并根据内存泄漏与组件、资源访问的相关性进行分类.在此基础上,提出了一种Android应用内存...     

关于抽象逻辑紧致性的一个定理

以模糊语义为背景 ,在标号集具有一定结构的一族全序完备格的乘积上引入了抽象语义及其连续性概念 ,证明了具有这种连续性的抽象语义是紧致的 ,由此可以推出取值于 [0 ,1]的Lukasiewicz语义是紧致的     

过程提取用于改善程序模型检测的可伸缩性

针对目前基于谓词抽象的程序模型检测工具很难处理大规模软件的现状，提出用过程提取技术对待检的源代码进行预处理，以改善程序模型检测的可伸缩性．首先，将程序中一个选定的语句集合提取出来并包装成一个独立的过程，然后在原程序的相应位置用一个过程调用替代，进而将大型程序分解成语义一致的小型过程的集合．由于模型检测算法中的过程总结边可单独计算，所以过程提取使整个程序的模型检测任务模块化，当程序对某过程进行多次调用时，利用总结边可以避免对过程体内状态空间的重复搜索，从而降低了模型检测算法在空间：和时间上的开销．理论分析和实验表明，所提技术能有效缩短大型程序的模型检测时间，并在程序的转换中不会改变原程序语义，满足了程序模型检测的安全性要求．     

一种嵌入式系统虚拟内存管理机制的实现方法

在内存资源有限的条件下,为实现嵌入式系统访问内存的高效和可靠性.在分析vxWorks操作系统的内存管理机制的基础上,提出一个轻量级的虚拟内存管理机制的实现方法,即通过内存映射为系统提供虚拟地址空间、通过内存交换为每个任务提供足够的内存容量.最后通过实验,验证了该方法的有效性和实用性.     

C＋＋中常见内存错误及对策浅析

C＋＋程序设计语言动态内存机制为灵活地进行程序设计提供了方便，但同时也增加了各种内存错误发生的机会。本文分析了C＋＋中常见的内存错误，提出了解决对策和预防措施，以期抛砖引玉为初学者提供一些帮助。     

Windows环境下编程的内存管理

Ｗｉｎｄｏｗｓ多任务系统应用程序设计中，内存管理是一项关键技术．论述了为降低应用程序占用内存量和占有时间及应注意应用程序设计中内存组织形式的选择，以减少或限制不必要的内存对象．并使用可移动对象，合理管理内存以防止ＧＰ故障的产生．     

图像压缩编码在DSP上的实现与优化

利用嵌入式系统完成MPEG-4图像编码时,由于编码运算复杂度高,而硬件运算速度又有限制,因而实现实时编码具有较大困难。通过分析MPEG-4图像编码器的运算量分布情况,结合TMS320C6416的结构特点,可以综合使用程序结构优化、应用层优化、代码优化的方法,把开源的XVID的C代码移植到C6416的过程中,实现程序整体优化。该方法相对于传统的单一优化,能更好提高程序的并行性和存储器的访问效率,从而在基于DSP(digital signal processor)的嵌入式系统中实现了MPEG-4图像实时编码。     

基于训练方式的存储器时钟信号的自适应同步

存储器是现代电子系统的核心器件之一, 常用于满足不同层次的数据交换与存储需求. 然而频率提高、时钟抖动、相位漂移以及不合理的布局布线等因素, 都可能导致CPU对存储器访问稳定性的下降. 针对同步动态随机读写存储器(synchronous dynamic random access memory, SDRAM)接口的时钟信号提出了一种自适应同步的训练方法, 即利用可控延迟链使时钟相位按照训练模式偏移到最优相位, 从而保证了存储器访问的稳定性. 在芯片内部硬件上提供了一个可通过CPU控制的延迟电路, 用来调整SDRAM时钟信号的相位. 在系统软件上设计了训练程序, 并通过与延迟电路的配合来达到自适应同步的目的：当CPU访问存储器连续多次发生错误时, 系统抛出异常并自动进入训练模式. 该模式令CPU在SDRAM中写入测试数据并读回, 比对二者是否一致. 根据测试数据比对结果, 按训练模式调整延迟电路的延迟时间. 经过若干次迭代, 得到能正确访问存储器的延迟时间范围, 即“有效数据采样窗口”,取其中值即为SDRAM最优时钟相位偏移. 完成训练后对系统复位, 并采用新的时钟相位去访问存储器, 从而保证读写的稳定性. 仿真实验结果表明, 本方法能迅速而准确地捕捉到有效数据采样窗口的两个端点位置, 并以此计算出最佳的延迟单元数量, 从而实现提高访问外部SDRAM存储器稳定性的目的.     

扩充OpenMP并行编程模型支持事务存储执行

虽然OpenMP是多核体系结构上的流行多线程并行编程模型,但是OpenMP编译器不检查数据相关性、访问冲突和其他可能导致程序错误执行的问题,这些问题传统上完全依赖用户使用锁机制来保证程序的正确性.锁机制的并行编程中存在并行程序效率和并行编程难度的矛盾.粒度大的锁机制编程容易,可应用的并行性挖掘比较差;粒度小的锁机制应用的并行性挖掘较好,可编程难度大,容易带来优先权倒置、死锁和锁护航等问题.通过动态二进制插桩技术,扩充OpenMP支持事务存储执行功能,可有效缓解OpenMP并行编程中并行程序效率和并行编程难度之间矛盾.     

远志皂苷和茯苓多糖对学习记忆的改善作用及其机制研究

目的观察PSP(远志皂苷和茯苓多糖Polygalaceae saponins and Pachymaran)对多种化学药物所致学习记忆障碍模型小鼠学习记忆能力的改善作用,探讨其可能的作用机制.方法本研究通过跳台实验和避暗实验观察PSP高、中、低剂量组对记忆获得、巩固和再现模型小鼠学习记忆能力的影响;测定记忆获得障碍模型小鼠脑组织乙酰胆碱酯酶活性(ACHE);测定记忆巩固障碍模型小鼠脑组织超氧化物歧化酶(SOD)活性和丙二醛(MDA)活性.结果 PSP能使记忆获得障碍模型小鼠5 min内学习及记忆的错误次数减少并延长潜伏期;PSP能使记忆获得、巩固障碍模型小鼠5 min内错误次数减少并延长潜伏期;PSP能使记忆再现障碍模型小鼠5 min内错误次数减少并延长潜伏期;PSP能有效降低记忆获得障碍模型小鼠脑组织中乙酰胆碱酯酶(ACHE)活性;PSP能有效提高记忆巩固障碍模型小鼠脑组织中超氧化物歧化酶(SOD)活性并降低丙二醛(MDA)活性.结论 PSP能改善模型小鼠学习记忆能力的作用机制可能是通过抑制脑内乙酰胆碱酯酶合成、减少乙酰胆碱水解、提高脑组织内ACHE活性而发挥改善学习记忆的作用;PSP能有效提高SOD活性并减低MDA活性,从而减少氧自由基对小鼠损伤而发挥改善学习记忆的作用.     

利用内存映射连续性提高TLB地址覆盖范围的技术评测

定义并评测典型基准测序程序内存映射中的连续性分布, 验证程序的内存映射中普遍存在多样的连续性(混合连续性)。对利用内存映射连续性提高TLB翻译覆盖范围的技术进行评测, 发现混合连续性的存在能够限制现有技术在真实场景中的实际效果。     

解决计算机内存不足方法探讨

论述了处理大型数据时内存不足的几种主要方法，尽可能空闲基本内存；利用覆盖技术，虚拟存储技术，编译程序、hughe指针等，并且分析了几种方法的使用范围和特点。     

RSMC:A Safety Model Checker for Concurrency and Memory Safety of Rust

Rust is a system-level programming language that provides thread and memory safety guarantee through a suite of static compiler checking rules and prevents segmentation errors. However, since compiler checking is too strict to confine Rust's programmability, the developers prefer to use the keyword "unsafe" to bypass compiler checking, through which the caller could interact with OS directly. Unfortunately, the code block with "unsafe" would easily lead to some serious bugs such as memory safety violation, race condition and so on. In this paper, to verify memory and concurrency safety of Rust programs, we present RSMC(Safety Model Checker for Rust), a tool based on Smack to detect concurrency bugs and memory safety errors in Rust programs, in which we combine concurrency primitives model checking and memory boundary model checking. RSMC, with an assertion generator, can automatically insert assertions and requires no programmer annotations to verify Rust programs. We evaluate RSMC on two categories of Rust programs, and the result shows that RSMC can effectively find concurrency bugs and memory safety errors in vulnerable Rust programs, which include unsafe code.     

LabWindows/CVI对Matlab的引擎调用技术

提出一种LabWindows/CVI对Matlab的引擎调用技术,它将Matlab当作计算引擎,通过CVI编写引擎程序向Matlab传送数据并调用.与Active X服务控件、Matlab编译器两种软接口实现技术进行比较,在易用性方面,LabWindows/CVI引擎调用技术最佳;在数据交流的可靠性方面,如果计算机的内存足够且配置高,LabWindows/CVI引擎调用技术具有巨大的应用潜力.利用引擎调用技术和Matlab功能强大的小波分析工具箱的处理功能,对光电色选信号进行小波消噪实践应用,结果表明,LabWindows/CVI引擎调用技术可大大提高智能虚拟仪器的开发效率.