C/C++程序内存泄漏检测算法的研究

为了获得最佳性能,C/C++语言把操纵内存的权限以指针的方式暴露给开发人员。但是C/C++语言编译器GCC和Clang都不提供内存安全检测,导致开发人员使用C/C++语言编写的项目可能存在内存泄漏的风险。文章介绍了改进指针算法和shared_ptr源码,分析了它们检测内存泄漏的方式,最后指出该类算法的缺陷,提出改进思路,并建议用户避免写出该类算法无法检测的代码结构。

一种面向大规模C程序的内存错误调试方法

为了实现极致的性能,C语言将操纵内存的权限以指针的方式暴露给开发人员。但是C语言编译器GCC和Clang都不提供内存安全检测,导致开发人员使用C语言编写的项目可能含有潜在的内存安全性漏洞。可以先使用检测工具定位错误,然后执行GDB来验证。文章介绍了GDB调试C程序时所采用的方法和技巧,并使用GDB验证了内存检测工具AddressSanitizer和Movec在大规模测试集SPEC上检测的有效性。

面向大规模源代码的内存安全性动态分析技术

随着软件规模越来越大,如何保证程序的可靠性和安全性越来越受到人们的关注。由于C语言缺乏内存安全检测的机制,导致使用C语言编写的程序容易存在安全漏洞,所以针对C语言的可靠性研究也很越来越多。当前,软件可靠性和安全性常用的验证方法是静态分析和动态分析,动态分析由于能真实反映程序中存在的问题而得到广泛应用。目前针对程序内存安全性的分析工具对较小规模的程序能够正确检测,但是在大规模程序中无法有效地对程序进行插桩和检测。针对此问题,该文在基于指针技术的内存安全分析技术的基础上,采用源代码插桩实现了大规模C程序内存分析工具Movec,并对其进行了有效性和性能实验。通过实验表明,该方法可以有效且高效地对大规模程序进行安全性分析。

法检快办“23条”为70件职务犯罪案提速增效

2014年9月，河南省桐柏县检察院与法院研讨磋商后，出台了《桐柏县法院、县人民检察院关于职务犯罪案件快速办理的工作机制》，从线索精细化管理、初查证据收集、各环节办案期限、办案责任义务、协作衔接配合、案件质量监控、快办“一体化模式”、发案单位采纳检察建议八个方面23条，

基于TXL的源代码插桩技术研究

常见的运行时验证技术的插桩方式包括中间代码插桩、二进制代码插桩和源代码插桩。前两种插桩方式的插桩结果通常依赖于平台,而且不同的优化等级也会带来不同的结果,会使得部分错误被忽略。TXL是一种函数和规则混合的语言,提供源代码到源代码的转换。文章使用TXL作为插桩工具,提出一套完整的源代码插桩算法,实现了基于指针技术的C语言运行时验证工具。实验表明,该算法可以有效实现对C程序的插桩。

汉画印象

课程背景资源：灵石不言，片石写春秋。南阳汉画，起源于西汉，鼎盛于东汉，是汉代生活画卷的记录，也是古代悠久历史文明的见证。汉画题材广泛，雕刻精湛，布局大胆，堪称一部形象化的汉代百科全书，更是中国古代艺术的瑰宝。