afl覆盖率统计工具afl-cov常见问题总结

最新推荐文章于 2024-09-13 22:28:30 发布

happygogf

最新推荐文章于 2024-09-13 22:28:30 发布

阅读量6.1k

点赞数 2

分类专栏： afl afl-cov 文章标签： afl-cov afl 覆盖率统计

本文链接：https://blog.youkuaiyun.com/happygogf/article/details/106433043

版权

afl 同时被 2 个专栏收录

3 篇文章

订阅专栏

afl-cov

1 篇文章

订阅专栏

本文详细介绍了如何使用AFL-cov工具对AFL和KLEE的模糊测试进行覆盖率统计，包括编译配置、命令行参数设置、常见错误解决及结果查看。通过实例演示了如何针对不同输入类型（stdin或文件）执行覆盖统计。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

“官网”http://cipherdyne.com/afl-cov/ https://github.com/mrash/afl-cov
编译
需要使用gcc -fprofile-arcs -ftest-coverage test.c (-o cov.out)对源码进行插桩从而支持覆盖率的统计
C++ lcov reached unexpected end of file问题
A：将编译信息清空make clean all
ref：https://stackoverflow.com/questions/35965415/c-lcov-reached-unexpected-end-of-file

对afl覆盖统计命令

afl-cov -d /path/to/afl-fuzz-output/ --live --coverage-cmd \
"cat AFL_FILE | LD_LIBRARY_PATH=./lib/.libs ./bin/.libs/somebin -a -b -c" \
--code-dir .
先执行afl-cov，再执行afl，afl-cov将读取afl output/queue中的所有文件，--live将实时读取新生成的文件。
--coverage-cmd里面用带覆盖率插桩的可执行文件“./cov.out AFL_FILE".
AFL_FILE为固定写法，代表从queue中读取到的文件。
如果使用stdin读取输入，需要使用cat。

对klee覆盖统计命令
afl-cov -d klee-last --live --coverage-cmd "cat AFL_FILE | ./gcccov.out" --code-dir . --klee --overwrite
覆盖路径、时间
在kleetmp-cov和afltmp-cov文件夹中*.extra的文件对于klee-last/testxxx, afl/output/queue/xxx，可以在python中用pickle处理文件
注意：afl-cov一开始执行就会计时，统计覆盖信息会等klee/afl生成测试用例，后者开始的时间影响覆盖计时。
Non-zero exit status '1' for CMD: /usr/bin/readelf -a cat Could not find an executable binary with code coverage support ('-fprofile-arcs -ftest-coverage' ) in --coverage-cmd 'cat -A AFL_FILE|./gcccov.out'
A:注意管道|前后加空格，注意gcccov.out使用gcc -fprofile-arcs -ftest-coverage，afl-gcc不可以
对于stdin做输入：afl-cov -d ./output --live --coverage-cmd "cat -A AFL_FILE | ./gcccov.out" --code-dir .
对于file做输入：afl-cov -d ./output --live --coverage-cmd "./gcccov.out AFL_FILE" --code-dir .
lcov: ERROR: no valid records found in tracefile问题
A：重新gcc -fprofile-arcs -ftest-coverage test.c (-o cov.out)试试，不仅.out需要覆盖插桩对版本，还有包括.gcda .gcdo等文件
覆盖结果查看
The code coverage results in /path/to/afl-fuzz-output/cov/web/lcov-web-final represent cumulative code coverage across all AFL test cases.
执行过程中也会窗口打印