指针在C程序中应用广泛，指针引用错误多发且危害严重。目前代表性的检测工具由于使用方便性、检测精度不足以及难以处理大规模程序等原因，并不能满足实用需求。本文提出一种新型的错误检测方法，该方法基于域敏感、流敏感和上下文敏感的传播引擎，通过定义错误属性格、在源程序中对错误属性格值进行计算和传播来完成错误检测。在开放源码编译器Open64中实现了其原型系统Propagator。以空指针引用错误检测为实例研究，使用Apache、OpenSSH、gzip等应用领域广泛的典型应用为实验用例，与Saturn、Splint和Clang-SA进行对比，Propagator的平均检测时间仅为12秒，误报率平均仅为13%，远低于对比工具，没有发现漏报已知错误。上述结果表明，Propagator既提高了检测精度又保证了可伸缩性，具有很好的实用前景。
2021-02-21 09:08:23
614KB
1
MBTI性格测试题 根据美国Eastcarolina大学心理学专业的MBTI-G版本(量表版本：1998-N）的改编量表，供大家测试与参考。
2020-11-23 22:17:55
58KB
1
一款集合大学生心理素质健康测试和职场性格测试的源码，使用之前需要新建一个用户，测试结束会给出一个心理健康测试结果报告或者职场性格测试结果报告。题库使用了单机的Sqlite，另外作者留了一个关于个人说明的小彩蛋，在那个生活右手的选择图片上按住大约2秒左右会出现个人说明主页。
涉及模块&技术
Sqlite
2020-02-14 03:16:35
4.88MB
1