首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
您找到你想要的搜索结果了吗?
是的
没有找到

静态数据竞争检测工具之RELAY-安装和使用

RELAY同样也是基于中间语言编写的静态数据竞争检测工具 安装RELAY之前确保Ocaml安装完毕,可参考之前的文章 http://blog.csdn.net/yangzhen92/article/details/46980511 下载RELAY,可参考这里,选择0.10版本,解压 进入cil目录,执行下面操作 ./configure make make check 然后回到relay根目录,执行make操作 上述步骤完成之后,relay安装成功 进入racetest目录,执行make renew_small; make 命令 执行成功就能够看到测试结果 racetest中的测试用例的整体结果都保存在out目录中 而如果想要查看每一个测试用例的详细输出信息,则进入相关的子目录,以thread_tests为例 子目录中包含gcc-log.txt文件,内容如下 cd test_dir duppy -c threads2.c -I ../../include cd ../test_dir duppy -c threads.c -I ../../include 其中每个文件表示需要待测试源文件 进入ciltrees目录, 这里可以发现有两个warnings.xml文件,都保存着数据竞争相关的信息

01

干货:微信域名链接被微信封杀拦截屏蔽解决方案

想通过活动营销来推广产品的用户,肯定经常遇到域名被微信封杀拦截屏蔽的情况,想申请恢复访问过程复杂,而且由个人或小团队经营的网站基本只能放弃,花钱解封价格昂贵,遇到恶意举报还是一样被封,如此循环带来的损失无疑是很大的,都是在做推广,为何有人推广起来畅通无阻,而有人的微信域名频繁被封,其实微信被拦截被封无法访问很常见,经过测试以后还是可以防止微信域名被封的,并且很多团队也是通过微信域名防封的技术让域名存活的时间更长。那我们要怎样如何快速知道域名已经被微信封杀并恢复访问呢?我们从以下几方面来了解:

08

借你一双慧眼,识别代码安全审计工具「建议收藏」

代码安全审计产品、代码缺陷分析产品、代码安全分析等基于源代码静态分析技术的产品市场上越来越多,但是质量却层次不齐,误报率非常高,漏报率也不低,究其原因是为什么呢?因为一款静态分析类产品研发不是轻松的事,往往要经历几年时间,产品才会逐渐成熟,支持的开发语言和安全漏洞类型才能达到企业级应用水平,一般中小企业是很难投入如此长的时间进行研发的,而且静态分析类产品底层技术是采用的与编译器非常类似的技术,也就是说大学课堂中编译原理课程上讲得哪些分析技术(例如:抽象语法树、切片、数据流分析、符号执行、指向分析、区间计算、到达定值分析、守卫值和非守卫值等等让人理解起来头疼的技术)大多都要用上,我记得当时学这些原理时就似懂非懂的,再把这些技术应用到产品中,难度可想而知,所以说市场上国内外的主流静态分析工具必然采用这些技术,把程序代码转化为抽象语法树是必须的一步,在抽象语法树上基础上,形成控制流图、函数调用图等之后再次进行切片分析,各种守卫值计算等等,零星的技术分析在网络上大多都能找到,但是缺乏系统化的技术分析,用这些技术、算法编码实现,在工程实践中会遇到各种各样的问题,产品市场化更是具有非常高的门槛,市场很多产品并非采用这样的主流技术,大多只是通过文件遍历扫描过程中,使用规则表达式、关键字搜索等技术匹配的特征字符串,所以这样的分析工具必然误报率非常高,这种搜索方法也只能查出一些特定的缺陷或安全漏洞函数,硬编码等特定缺陷,对于很多跨越文件的缺陷和安全漏洞是根本发现不了的。对于检测出大量误报的审计报告,测评人员和开发人员要花大量时间去分析,消耗大量时间,长此以往,这种工具必然被淘汰。

02

WeTest小程序质量专项方案推出,小程序异常监控开启内测招募

行业背景 近年来,随着微信生态不断完善,小程序已成为金融、政务、零售等多个行业加速数字化转型的重要载体,以小程序为载体的多元营销生态日渐成熟。 但随着小程序市场规模和用户数量的持续增长,风险隐患也出现了同步转移,加载卡顿、宕机崩溃等质量问题时有发生,更有甚者利用小程序漏洞套现、仿造小程序,爬取用户信息。轻则影响用户购物体验与交易金额下滑,重则可能导致用户流失、舆情风险以及品牌形象受损。 WeTest小程序异常监控服务开启内测招募 由于线上环境相对复杂,一些问题只会在特定网络环境或者设备上发生,对于这类

03
领券