在Ubuntu上编译z3：报错与处理

最新推荐文章于 2022-07-22 19:21:04 发布
最新推荐文章于 2022-07-22 19:21:04 发布
阅读量627 收藏
点赞数
分类专栏： 系统安全与恶意学习 文章标签： ubuntu linux z3 编译与安装
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/baimafujinji/article/details/120379510
版权
本文介绍了如何在Ubuntu上编译Z3，特别是在使用Clang Static Analyzer时，需要从源代码编译Z3以增强其能力。在编译过程中遇到的`variant: No such file or directory`错误，原因是Ubuntu 18.04默认GCC版本不支持。解决方案是切换到clang进行编译，并通过指定参数改变安装路径。
摘要由CSDN通过智能技术生成

Z3 is a high performance theorem prover （SMT solver） developed by Microsoft Research. 通过提供API的方式，它支持多种计算机语言，前面的文章中我们演示了在Python中使用z3的方法（通过使用z3py）。

LLVM中的Clang Static Analyzer（CSA）是在Clang编译器基础上构建的软件源代码分析工具，它可以被用来进行bug finding。CSA中默认使用的constraint solver具有一定的局限性，但我们可以选择Z3作为CSA中的SMT solver，这样可以扩展CSA的能力。

通常情况下，Pre-built binaries for stable releases are available，所以在Ubuntu的shell上直接使用下面的命令就可以安装z3了。

sudo apt install z3

但是，如果使用带z3功能的CSA， 就需要在计算机上build z3 from source（并以此为基础编译clang）。本文将介绍在buntu上编译z3的方法&

了解本专栏 订阅专栏 解锁全文 超级会员免费看
白马负金羁
关注
专栏目录
订阅专栏
Redis框架从入门到学精（全）
码农研究僧的博客
07-02 2万+
目录前言1.NoSQL2.Redis2.1 软件安装数据类型 前言 解决功能新问题：JAVA jsp rdsms tomcat html linux jdbc svn 解决发展性问题：strtus spring springmvc hibernate mybatis 解决性能问题：NOSQL java 线程 hadoop nginx mq elasticsearch 1.NoSQL NoSQL特点 非关系型数据库，不依赖业务逻辑数据库存储，以简单key-value存储 适用于 ~高并发读写 ~海量数据读
Ubuntu下配置python的SMT z3-solver
sky_xyc的博客
04-11 2727
由于需要在Linux系统上安装Z3 solver的python库，所以在此记录一下。Ubuntu版本：14.04.5python版本：2.7.61.在pypi上下载（网址：https://pypi.python.org/pypi/z3-solver/4.5.1.0#downloads）后缀为.tai.gz的z3-solver压缩包。2.将z3压缩包解压，并打开终端cd到解压后的文件夹目录下3.先输...
ubuntu18.04下安装Z3
u013928488的博客
07-11 1767
系统：Ubuntu 18.04 安装对象：Z3 Z3属于SMT Solver 安装过程如下： Choice 1. Building Z3 using make and GCC git clone https://github.com/Z3Prover/z3.git cd z3 python scripts/mk_make.py cd build make sudo make install Choice 2. Building Z3 using make and Cla..
Ubuntu下安装Z3
IWani_Z的博客
03-28 1762
确认已经安装Git工具 1.使用Git下载Z3 git clone https://github.com/Z3Prover/z3.git 2.进入 Z3 文件夹并生成 Z3 Makefile： cd z3 python scripts/mk_make.py 3.进入 build 文件夹并编译 Z3 （注:这一步需要等待挺久） cd build make 4.将 make 生成的文件安装到系统目录中 sudo make install ...
WSL安装z3报错ModuleNotFound
qq_33995823的博客
07-22 286
wsl安装z3
Ubuntu安装z3报错ModuleNotFoundError: No module named ‘distutils.sysconfig’
影子传说的博客
11-15 3161
在用Ubuntu安装z3的过程中，一直报错。搜索了很多和ModuleNotFoundError相关的文章，但发现这种方法很难，同时不一定能解决我这个问题，因为我也没有安装pycharm,对python也不是很熟悉。后来转念一想，我直接搜索ubuntu distutils.sysconfig，果然找到了解决办法。 参考自：​​​​​​ubuntu14(python3.7) 安装pip3报错：ImportError: cannot import name 'sysconfig'_Joker's b..
ubuntu安装klee教程
goto2091的博客
01-22 1783
ubuntu16.04安装klee(基于llvm 3.8)教程 前言 查阅了很多资料，踩了不少的坑，总的来说，这个应该是比较完善的基于llvm3.8和ubuntu16.04的安装教程，至少我自己按照这个没有问题，而且可能遇到的坑也写在了这里。如果你有什么疑问，欢迎评论。 进入klee官网 http://klee.github.io/ 选择Documentation 的BuildingKLEE(L...
php编译
热门推荐
u014576908的博客
07-30 4万+
linux下如何把php升级到5.6 08-03 阅读数 22764 phpstudy集成环境升级mysql5.6 02-13 阅读数 6774 CentOS 通过yum来升级php到php5.6 06-07立即下载 linux系统安装php5.6 08-09 阅读数 591 将lnmp 自带的 php 5.4升级为 5.6 08-03 阅读数 5556 Ubuntu 16.0...
树莓派安装共享打印机HP LaserJet CP1025（foo2zjs）
Change, We Need!
02-08 5512
hp
常用linux命令&&Ubuntu安装z3库及使用
Y1seco的博客
05-27 2481
文章目录前言linux命令Ubuntu安装z3库python相关 前言 最近学逆向遇到一些安装问题，在这里总结一下 linux命令 常用linux命令 Ubuntu安装z3库 git clone https://github.com/Z3Prover/z3.git cd z3 python scripts/mk_make.py cd build make sudo make install python相关 ubuntu中查看已安装的python模块： 在命令行下运行$ pydoc modules
Z3求解器简介及环境搭建
guo_shaokun的专栏
08-20 7766
0、引言 Z3 是微软研究领域最先进的定理证明器。它可以用来检查逻辑公式在一个或多个理论上的可满足性。Z3为软件分析及验证工具提供了一个引人注目的匹配, 因为几个常见的软件构造直接映射到支持的理论中 1、Z3的基本架构： 在深入研究Z3的体系结构细节之前，让我们看一下Z3的体系结构，以了解它是如何执行的。Z3集成了一个SAT求解器、一个核心理论求解器(同余闭合核)、4个辅助求解计算器以及一个...
Z3 SMTsolver 学习笔记（二）——examples运行篇（未完成）
weixin_41529962的博客
05-14 5117
经历千辛万苦，翻过种种错误。我总算是成功的完成了Z3的安装和配置工作。下一步是逐渐掌握使用方法。1、网上找到的一个小说明书：https://rise4fun.com/z3/tutorial Z3完整的API文档在这：http://z3prover.github.io/api/html/index.html 这里更新一篇C++的较完整教程 ：http://www.cs.utah.edu/~vinu/...
ubuntu下安装smt solver z3
Yi Sun的博客
10-27 2048
系统：Ubuntu 安装对象：Z3 Z3属于SMT Solver 安装z3之前需要安装python,python的安装可以看我的另一篇博客：https://blog.csdn.net/weixin_39408343/article/details/102771891 这个python安装教程中有我遇到的真实问题以及解决办法，供大家参考。 z3安装过程如下： Choice 1...
关于CCI项目中缺少libz3.dll、Microsoft.Z3.dll、Microsoft.Z3V3.dll的解决办法
学而时习之
01-23 2695
今天将CCI项目源码下载下来，整体编译时，看起来是成功了，但是打开Samples下的AnalysisToText时，却报错了。顺着提示找到Z3Wrapper进行编译，这时又报了错。提示说是没有libz3.dll、Microsoft.Z3.dll、Microsoft.Z3V3.dll，找遍了整体项目都没有发现有这些DLL，于是上网搜索一番。 最终找到了Microsoft Research下的Z3项
ubuntu下安装XXX失败---解决方法
Timsley的专栏
12-22 2327
ubuntu下安装XXX失败---解决方法
python pip3 安装太慢_ubuntu18安装Python3.7
weixin_39702483的博客
11-14 367
ubuntu18安装Python3.7ubuntu18系统自带了python2.7和python3.6；不要卸载ubuntu自带的python版本；ubuntu下不同版本的python可以共存，可直接安装python3.7。1.升级包索引和软件sudo apt update sudo apt upgrade -y2.安装编译所需包sudo apt install build-essential z...
Z3 学习笔记
BadRer的博客
08-27 7859
前言 也遇到了很多使用z3解决的题，但由于没有整理，对一些api不熟悉，导致解决问题的速度很慢，所以特此做出整理。 参考API https://z3prover.github.io/api/html/namespacez3py.html https://ericpony.github.io/z3py-tutorial/guide-examples.htm 常见用法 初始化变量 f...
安装z3-solver(python库)失败z3.z3types.Z3Exception: libz3.dll not found.
vs974532452的博客
07-19 2536
安装z3-solver报错 Could not find libz3.dll; consider adding the directory containing it to - your system's PATH environment variable, - the Z3_LIBRARY_PATH environment variable, or - to the custom Z...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

白马负金羁

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值