首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > Python > 一种基于语法生成随机量化布尔公式的黑盒测试。

一种基于语法生成随机量化布尔公式的黑盒测试。

  • 资源大小:21.68 kB
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:1次
  • 资源积分:1积分
  • 标      签: Fuzzer qbf fuzz_testing qdimacs

资 源 简 介

QBFuzz is a grammar-based black box fuzzer for generating random Quantified Boolean Formulas (QBF) in QDIMACS format. Further, it may also be used for generating random CNF formulas in DIMACS format. QBFuzz is known to support any operating system running Python 3.0 or later.

文 件 列 表

qbfuzz.py
README
COPYING

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP