WLLVM(whole-program-llvm)的使用

最新推荐文章于 2024-08-24 07:49:48 发布
最新推荐文章于 2024-08-24 07:49:48 发布
阅读量5.4k 收藏 4
点赞数 1
分类专栏： KLEE 文章标签： llvm
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/xjtu_czh/article/details/51896637
版权
本文档介绍了如何在Ubuntu 14.04环境下使用WLLVM项目来获取LLVM Bitcode。首先，从GitHub获取并了解WLLVM的主要工具，包括wllvm、wllvm++和extract-bc。接着，将WLLVM添加到系统路径，并设置相关环境变量，如LLVM_COMPILER和LLVM_GCC_PREFIX。最后，通过wllvm编译coreutils并使用extract-bc提取LLVM Bitcode。
摘要由CSDN通过智能技术生成

因为在做KLEE的coreutils实验时要获取coreutils的LLVM Bitcode，然而KLEE官方提供的klee-clang的脚本对于我基于LLVM3.4安装的KLEE是不可用的，查找问题的时候，看到很多开发者都推荐使用WLLVM项目来获取LLVM Bitcode，就用它做了下面的实验

先贴上wllvm在github上的链接，觉得我说的啰嗦可以自己看官方文档

系统环境

  • VMware workstation 10.0
  • Ubuntu-14.04-desktop-amd64
  • RAM:4GB
  • ROM:50GB
  • CPU:Intel-i7-4core

WLLVM使用

1. 获取whole-program-llvm

$ git clone https://github.com/travitch/whole-program-llvm.git

该步骤在当前工作目录下获取该github项目名为whole-program-llvm的文件夹，如果工作目录非home,需要有管理员权限，在命令前加上sudo即可

2. 文件夹简单介绍

该项目使用python编写，所以在装有python的系统下面是可直接执行的，不需要安装等步骤

主要关注的有4个文件

2.1 wllvm这是将系统默认C编译器替换成LLVM前端clang或llvm-gcc的工具

2.2 wllvm++是将系统默认C++编译器替换成LLVM前端clang++

最低0.47元/天 解锁文章
zehuac
关注
专栏目录
wllvm使用及注意事项
核桃树
03-10 2110
wllvm使用及注意事项
在linux中使用wllvm编译pkg-config生成.bc文件
weixin_42492218的博客
02-14 539
在linux中使用wllvm编译pkg-config生成.bc文件
从配置到演示：使用 WLLVM 将复杂项目编译成一个 bitcode 文件，并使用 SVF 工具进行分析
福宝的各种玩意~
08-11 339
使用 SVF 进行代码分析时，需要一个bitcode文件（.bc），但对于复杂的项目，一般只能得到分散的 bitcode 文件。GitHub上的项目 Whole Program LLVM 旨在解决这个问题，使用该工具将整个项目编译成单个 bitcode 文件。
whole-program-llvm:包装器脚本，用于构建整个程序的LLVM位代码文件
04-30
整个程序LLVM 介绍 WLLVM这个项目提供了用于从未经修改的C或C ++源程序包构建整个程序（或整个库）的LLVM位代码文件的工具。 它当前可在Linux，FreeBSD和Mac OS X等*nix平台上运行。 WLLVM提供了基于Python的编译器包装，可分两步工作。 包装程序首先正常调用编译器。 然后，对于每个目标文件，它们调用一个位代码编译器以生成LLVM位代码。 包装程序还将生成的位代码文件的位置存储在目标文件的专用部分中。 当目标文件链接在一起时，专用部分的内容将串联在一起（因此我们不会丢失任何组成位代码文件的位置）。 构建完成后，可以使用WLLVM实用程序读取专用部分的内容，并将所有位代码链接到一个完整的程序位代码文件中。 该实用程序适用于可执行库和本机库。 要在任何构建系统中替代gcc或g ++，必须分两个阶段进行构建。 在gcc和gold linker插件中使用L
Whole Program LLVM (WLLVM) 教程
gitblog_00318的博客
08-22 752
Whole Program LLVM (WLLVM) 教程 whole-program-llvmA wrapper script to build whole-program LLVM bitcode files项目地址:https://gitcode.com/gh_mirrors/wh/whole-program-llvm 项目介绍 Whole Program LLVM (WLLVM) 是一个...
全局编译LLVM：探索WLLVM的奇妙世界
最新发布
gitblog_01178的博客
08-24 576
全局编译LLVM：探索WLLVM的奇妙世界 whole-program-llvmA wrapper script to build whole-program LLVM bitcode files项目地址:https://gitcode.com/gh_mirrors/wh/whole-program-llvm 项目介绍 在软件开发的前沿阵地，WLLVM（Whole Program LLVM）正...
llvm-hs-kaleidoscope：使用llvm-hs的万花筒教程
02-04
LLVM-HS-Kaleidoscope教程是针对Haskell开发者的一个精彩资源，它引导你通过创建一个简单的编程语言——Kaleidoscope，来学习如何使用LLVM-HS库进行即时编译（JIT）和优化。LLVM-HS是Haskell对LLVM编译器基础设施的...
winlibs-x86-64-posix-seh-gcc-13.2.0-llvm-16.0.6-mingw-w64ucrt-11
08-11
支持c++23
winlibs-x86-64-posix-seh-gcc-13.2.0-llvm-16.0.6-mingw-w64msvcrt
05-29
标题“winlibs-x86-64-posix-seh-gcc-13.2.0-llvm-16.0.6-mingw-w64msvcrt”指的是一个专为Windows平台设计的C和C++编译工具链。这个工具链集成了GCC (GNU Compiler Collection) 13.2.0版本和LLVM 16.0.6编译器，...
在Ubuntu上安装配置klee和llvm, 使用klee测试GNU Coreutils（结合官网指南）
Joyyr的博客
04-22 1241
目录相关环境参数配置步骤一、使用llvm 6.0 构建klee二、 使用Klee来test GNU Coreutils三、 常见问题 在完成学习任务的过程中正好需要安装与配置klee和llvm，并且使用klee来测试GNU Coreutils。以下主要来自老师的安装指南，加上少量同学的讨论成果。经过10多次的失败，终于安装并运行成功，无法保证有些网站和下载包可能会因为墙的原因无法访问或下载。 相关...
KLEE应用实例3
fjnuzs的博客
04-09 1906
该实例是用KLEE测试Gun CoreUtils，之前一直有问题，这段时间想在grep的编译生成上，忘记改什么了，反正可以用了。该实例的应用假定你已经在编译KLEE时正确引用了uclibc和posix运行支持。实际上我也不知道当时怎么搞得。步骤1：利用gcov构造CoreUtils首先下载 coreutils，本例用的是版本6.11。gcov（GCC Coveage）是一个测试代码覆盖率的工具...
Ubuntu14.04下KLEE的安装教程和使用KLEE分析GNC代码的教程
Stone的博客
04-15 3050
KLEE  #需要一条条的执行，shell脚本中会出错 sudo apt-get update sudo apt-get upgrade #安装各种工具和库 sudo apt-get install g++ curl python-minimal git bison flex bc libcap-dev build-essential libboost-all-dev ncurses-d
Use KLEE to Test GNU Coreutils
zehuac的博客
07-10 1229
这篇博客讲一下我在做KLEE: Unassisted and Automatic Generation of High-CoverageTests for Complex Systems Programs(OSDI 2008)Coreutils实验时遇到的问题实验是按照官方教程做的Step 1：Build coreutils with gcov这个其实跟KLEE没有多大关系，按着说的来就行了Step
编译Linux内核获取LLVM bitcode (LLVM IR)
ckugua的博客
03-13 1061
编译Linux内核获取LLVM bitcode (LLVM IR)，记录踩坑与报错。
LLVM编译原理和使用
热门推荐
六神的博客
11-12 6万+
LLVM简介： LLVM是构架编译器(compiler)的框架系统，以C++编写而成，用于优化以任意程序语言编写的程序的编译时间(compile-time)、链接时间(link-time)、运行时间(run-time)以及空闲时间(idle-time)，对开发者保持开放，并兼容已有脚本。 LLVM最早的时候是Illinois的一个研究项目，主要负责人是Chris Lattner，他现在就职于A...
"20210626-廖春玉-LLVM的RISCV与RVV支持现状及经验详解
此外，作者还提到了一些关于性能优化和调试技巧的建议，如使用LLVM提供的工具进行性能分析和调试，以及合理地使用向量指令进行优化。 总之，LLVM在RISCV的支持方面表现良好，能够正确解析和生成RVV指令，并提供了...
评论 6
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值