YARPGen——挖掘编译器Bug的另一个工具

最新推荐文章于 2024-05-22 09:51:57 发布
原创 最新推荐文章于 2024-05-22 09:51:57 发布 · 1.4k 阅读 · 3 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#bug #c语言 #c++

YARPGen是为了解决Csmith在编译器验证中的局限性而开发的随机程序生成器，尤其在避免未定义行为和增强C++支持方面有所改进。通过使用‘生成策略’，YARPGen能更有效地测试编译器的优化阶段，已在多个编译器中发现大量新Bug。与Csmith相比，YARPGen在避免未定义行为时采取了不同的策略，支持更高的C++标准。文章还介绍了如何编译和使用YARPGen进行编译器验证。

        在上一篇文章中，我介绍了一种编译器验证工具——Csmith，它随机产生有效的C代码，通过模糊测试的方式来帮助发现编译器中的Bug。但是Csmith也有其局限性，例如对C++的支持不完善等。为了克服Csmith存在的问题，并加强随机程序生成器的Bug挖掘能力，Dmitry Babokin，John Regehr和Vsevolod Livinskiy三人开发了另一个随机程序生成器——YARPGen（Yet Another Random Program Generator）。本文首先对YARPGen进行基本介绍，然后将其与Csmith进行对比，最后介绍使用YARPGen对编译器进行验证的方法。

一、YARYPGen基本介绍

        YARPGen论文原文：Random testing for C and C++ compilers with YARPGen | Proceedings of the ACM on Programming Languages

        使用YARPGen验证编译器的思想与Csmith一样，都是通过差分测试进行的。关于差分测试的讲解可以参考我的上一篇文章：使用Csmith自动挖掘编译器的Bug_ClarkC.的博客-优快云博客

       

最低0.47元/天 解锁文章
ClarkC.
关注
使用Csmith自动挖掘编译器的Bug
ClarkCC的博客
12-27 2722
编译器作为系统软件，无论在小型还是大型软件系统中都有着相当重要的作用。以C程序为代表的计算机软件都需要通过编译来得到可执行文件，因此由编译器导致的 Bug 会对软件带来灾难性的影响。那么如何挖掘编译器中的bug呢？Csmith是一种广泛使用的编译器验证工具，本文首先介绍用Csmith验证编译器的基本思想，然后演示Csmith的用法，最后展示一个基于Csmith的自动寻找编译器Bug的脚本。
编程语言测试综述
pl_lab_001的博客
07-07 2333
本文从编程语言及其基础设施的概念出发，结合工程化过程中遇到的测试难点，分别从学术界和工业界的角度，对编译器、标准库及其它工具链组件的测试技术做了重点介绍，最后总结了编程语言测试技术面临的机会和挑战。
csmith:Csmith，C程序的随机生成器
04-12
关于 Csmith是C程序的随机生成器。 它的主要目的是使用差异测试作为测试预告片来查找带有随机程序的编译器错误。 Csmith可以在编译器测试领域之外使用。 如果您的应用程序需要一个C程序测试套件，而您又不用费心编写它们，请随时尝试Csmith。 Csmith输出的C程序没有任何未定义的行为（相信我们，这并非微不足道），以及每个生成程序的统计信息。 安装Csmith 您可以从下载的压缩包中安装Csmith ，也可以从源代码中构建它。 以下命令适用于Ubuntu。 git clone https://github.com/csmith-project/csmith.git cd csmith sudo apt install g++ cmake m4 cmake -DCMAKE_INSTALL_PREFIX=<INSTALL> . make && make inst
推荐开源项目：Yet Another Random Program Generator（YARPGen）
最新发布
gitblog_00043的博客
05-22 561
推荐开源项目：Yet Another Random Program Generator（YARPGen） 项目介绍 YARPGen 是一个创新的随机程序生成器，专为触发编译器优化错误而设计，适用于编译器测试。它能生成一系列正确运行且无未定义行为的C/C++和DPC++程序，并确保其在不同编译器和优化级别下有相同的执行结果。目前，该项目有两个版本，分别针对循环测试和标量优化测试。 项目技术分析 YA...
yarpgen, 另一个随机程序生成器.zip
09-17
yarpgen, 另一个随机程序生成器 是另一个随机程序生成器yarpgen 是一个随机 C/C 程序生成器，它生成正确的可以运行 C/C 程序。 生成器专门用来触发编译器优化 Bug，它用于编译器测试。生成的随机程序保证静态和动态地正确地执行 C/C 程序。 这
tiny4412 uboot 2020.10版本移植（一）——交叉编译器的选择
lgc1990的博客
10-19 1617
交叉编译器的选择并不需要一定是开发板光盘提供的编译器，可以自己上网下载最新的编译器，也可以下载自己认为稳定的编译器。我这里移植的目的是为了学习，所以我下载了最新的编译器版本。 tiny4412核心板使用的是Samsung ARM Cortex-A9 四核 Exynos 412 Quad-core处理器，是一个32位Cortex-A系列的Arm处理器。 可以到如下网站下载交叉编译器。 https://developer.arm.com/tools-and-software/open-source-sof
精选资源
编译原理实验——编译器自动生成工具生成代码
05-19
本实验主题“编译原理实验——编译器自动生成工具生成代码”主要关注如何利用特定的工具来自动化编译器的部分或全部构建过程。 首先，我们要理解C语言的语法。C语言是一种结构化编程语言，其语法严谨且强大，包括...
PIC——PICC编译器
09-13
用于单片机的PICC的编译器,破解版的.
yarpgen:另一个随机程序生成器
04-30
另一个随机程序生成器 yarpgen是一个随机程序生成器，它生成正确的可运行C / C ++和DPC ++（这项工作处于早期阶段）程序。 该生成器专门用于触发编译器优化错误，旨在用于编译器测试。 保证生成的随机程序是静态和动态正确的程序。 这意味着没有未定义的行为，但是允许实现定义的行为。 当前，YARPGen有两种版本：一种用于测试循环（正在开发中，并且位于主分支中），另一种用于测试标量优化（它位于）。 有关YARPGen和标量版本的更多信息，可以在和找到，发表在OOPSLA 2020上，并获得了ACM SIGPLAN杰出论文奖。 每个生成的程序都包含几个文件，并且在编译和运行后会生成一个十进制数，该十进制数是所有程序全局变量值的哈希值。 对于所有编译器和优化级别，该数字均应相同。 如果不同编译器和/或优化级别的输出不同，则您应该遇到编译器错误。 有几种技术可用于提高触发编译器错
团队项目-BUG挖掘
weixin_30826095的博客
04-20 110
测试硬件： 华为畅享5 测试平台： 安卓5.1 测试项目Git地址： https://github.com/RABITBABY/We-have-bing 测试Apk来源地址： http://www.ard9.com/bgxx/2639088.html 测试结果： 不兼容，闪退。无法运行。 程序截图： 转载于:https://www.cnblogs.com/mxdmxd...
csmith chart program
09-07
含破解序列号，绿色版解压即可使用。 具体介绍： CSmith is Smith chart program with many high-level features ans some enhancements to previous versions (Look at the help file for details on the extensions). It is also be integrated to the complete information based system for electrical engineering ELEKTA. With CSmith you can design matching networks in a similar way to the conventional Smith diagram, but there is a number of new features included elements includes parasitics, also transistors and S-parameter blocks are available, easy modifying, rearranging, loading and saving of circuits, export of S-parameters and the total circuit, performs frequency sweeps and Monte-Carlo analysis, displays power gain or return loss vs frequency, gives more information like stability factor, MAG, available gain, VSWR, etc., transforms mixed parallel and series RLC combinations). CSmith runs on Windows 95/98/ME/NT4.0/2000/XP and higher.
[bugbank]漏洞挖掘奇思妙想
prettyX的博客
12-08 982
快速且全面的信息收集 whois信息 子域名 Google Dork Brute Subdomain 证书反查：censys.io、crt.sh virustotal dnsdumper github:搜的时候加引号 IP段收集：whois 端口探测：nmap（nmap -sS -A -Pn -p- --script=http-title dontscanme.bro） 目录...
【亲测免费】 推荐项目：Csmith
gitblog_00047的博客
03-14 737
**Csmith** 是一个开源的 C 语言随机生成器。它的目标是为软件测试、静态分析工具等提供有用的输入数据。 ## Csmith 能用来做什么？ - 测试编译器和解释器的正确性； - 验证静态代码分析工具的效果； - 用于性能基准测试； - 提供有趣的编程练习题目。 ## Csmith 的特点 Csmith 的主要特点是它可以生成有效的 C 程序，并且这些程序具有以下几个特性： - ...
测试编译器经典论文阅读（Finding and Understanding Bugs in C Compilers）
geoffrey00的博客
09-07 1357
编译器测试经典论文paper reading
[论文笔记]A Survey of Compiler Testing
Rac1ne的博客
12-21 1462
A Survey of Compiler Testing Chen, Junjie, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao和Lu Zhang. 《A Survey of Compiler Testing》. ACM Computing Surveys 1, 期 1 (不详): 35. INTRODUCTION 编译器错误可能导致从正确的源代码生成不正确的二进制代码。编译器中的单个错误可以传播到基于它的任何应用程序
可信编译器构造途径简介
MIRSTAMP的博客
06-03 749
可信编译器 基本介绍： 可信编译具有两方面含义:一是编译器自身是可信的。即必须保证整个编译操作的可信性, 保证编译器在编译过程中不会给编译处理对象带来任何安全性问题, 防止恶意攻击者通过修改编译器, 在编译过程中对代码的原始语义进行篡改, 影响程序代码本身的可信性。编译器本身是一个可执行程序, 同样会遭受到攻击, 造成编译器自身的不可信。二是编译所得可执行程序代码是可信的。可信编译器除实现传统的编译功能外,还需对其编译对象的安全性进行检测加强、可信性进行验证, 确保系统安全、可靠运行。 1. 主要构造途径
what is csmith
qq_38963393的博客
04-10 342
Csmith is a test case generation tool. It can generate random C programs that statically and dynamically conform to the C99 standard. It is used for stress-testing compilers, static analyzers, and other tools that process C code. It is a free, open sou
WCET学习（八）
Caramel_biscuit的博客
10-15 712
（3）比较编译器的输出，如果编译器的结果不同，则说明有错误，取大部分产生的结果为正确输出，少数的为错误输出。（2）当考虑不同的基准b时，TPI i和EPI i的值通常不是恒定的∈B，在标准商用硬件上，它们随指令参数和处理器状态（加载和存储操作时的缓存内容）变化。然而，正如，我们评估显示的那样，使用我们的Cortex-M0+模型，我们能够确定程序代码的上界。对于给定指令集I中的每一种指令i，必须测量TPI i（每条指令i所需的时间）的值，给出该指令执行所需的时间。NEO的核心思想是运行一组任意给定的基准。
tuning csmith
qq_38963393的博客
04-10 248
An advantage of random testing is that it is very easy to tune properties of the generated code including the C subset, the size of the program, and other properties. There are two levels at which Csmith can be tuned (or three, really, since you can always
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值