博客
关于我
SymCC 使用教程
阅读量:472 次
发布时间:2019-03-06

本文共 1011 字,大约阅读时间需要 3 分钟。

SymCC 使用教程

项目介绍

SymCC 是一个基于 LLVM 的 C 和 C++ 编译器,它将混合执行(concolic execution)直接集成到二进制文件中。SymCC 可以作为 clang 和 clang++ 的替代品,用于软件开发。它通过编译时插入符号执行代码,显著提高了符号执行的速度,使其更接近原生执行速度。SymCC 是一个开源项目,遵循 GPL-3.0 许可证。

项目快速启动

安装依赖

在开始使用 SymCC 之前,需要确保系统中安装了必要的依赖项,包括 LLVM 和 Clang。可以通过以下命令安装这些依赖项:

sudo apt-get update
sudo apt-get install -y cmake llvm clang

克隆项目

首先,从 GitHub 克隆 SymCC 项目:

git clone https://github.com/eurecom-s3/symcc.git
cd symcc

构建项目

使用 CMake 构建 SymCC:

mkdir build
cd build
cmake -G "Unix Makefiles" ..
make

使用 SymCC 编译代码

使用 SymCC 编译 C 或 C++ 代码:

./symcc /path/to/your/source.c -o output

应用案例和最佳实践

应用案例

SymCC 可以用于各种安全相关的应用,例如:

  • 漏洞检测:通过符号执行分析程序路径,发现潜在的安全漏洞。
  • 模糊测试:结合模糊测试工具(如 AFL),提高测试覆盖率。

最佳实践

  • 结合 AFL 使用:SymCC 可以与 AFL(American Fuzzy Lop)结合使用,提高模糊测试的效率。
  • 优化编译选项:根据具体需求调整编译选项,以达到最佳性能。

典型生态项目

SymQEMU

SymQEMU 是一个基于 QEMU 的工具,它利用 SymCC 进行符号执行,扩展了 QEMU 的功能,使其能够执行符号执行。

LibAFL

LibAFL 是一个模糊测试库,支持与 SymCC 结合进行符号执行,提供了更强大的测试能力。

GNATfuzz

GNATfuzz 是一个 AdaCore 开发的工具,它集成了 SymCC,用于生成测试用例,提高代码覆盖率。

通过以上教程,您可以快速上手 SymCC,并了解其在安全领域的应用和相关生态项目。

转载地址:http://ximbz.baihongyu.com/

你可能感兴趣的文章
Mysql学习总结(36)——Mysql查询优化
查看>>
Mysql学习总结(37)——Mysql Limit 分页查询优化
查看>>
Mysql学习总结(38)——21条MySql性能优化经验
查看>>
Mysql学习总结(39)——49条MySql语句优化技巧
查看>>
Mysql学习总结(3)——MySql语句大全:创建、授权、查询、修改等
查看>>
Mysql学习总结(40)——MySql之Select用法汇总
查看>>
Mysql学习总结(41)——MySql数据库基本语句再体会
查看>>
Mysql学习总结(42)——MySql常用脚本大全
查看>>
Mysql学习总结(43)——MySQL主从复制详细配置
查看>>
Mysql学习总结(44)——Linux下如何实现mysql数据库每天自动备份定时备份
查看>>
Mysql学习总结(45)——Mysql视图和事务
查看>>
Mysql学习总结(46)——8种常被忽视的SQL错误用法
查看>>
Mysql学习总结(48)——MySql的日志与备份还原
查看>>
Mysql学习总结(49)——从开发规范、选型、拆分到减压
查看>>
Mysql学习总结(4)——MySql基础知识、存储引擎与常用数据类型
查看>>
Mysql学习总结(50)——Oracle,mysql和SQL Server的区别
查看>>
Mysql学习总结(51)——Linux主机Mysql数据库自动备份
查看>>
Mysql学习总结(52)——最全面的MySQL 索引详解
查看>>
Mysql学习总结(53)——使用MySql开发的Java开发者规范
查看>>
Mysql学习总结(54)——MySQL 集群常用的几种高可用架构方案
查看>>