- 授权协议: Apache
- 开发语言: Python
- 操作系统: 跨平台
- 软件首页: https://github.com/google/domato
- 软件文档: https://github.com/google/domato/blob/master/README.md
- 官方下载: https://github.com/google/domato
软件介绍
Domato 是 Google 开源模糊测试工具，用于测试浏览器 DOM 引擎。
组成部分：
可以生成给定输入语法的样本的基本引擎。 这部分是非常通用的，除了 DOM 模糊之外，它也可以应用于其他问题。
解析参数并使用基本引擎创建样本的主脚本。 在这部分中捕获了大多数 DOM 特定的逻辑。
一组用于生成 HTML，CSS 和 JavaScript 代码的语法。
使用：
生成 .html 样本：
python generator.py <output file>
通过单次调用生成多个样本：
python generator.py --output_dir <output directory> --no_of_files <number of output files>
生成的样本将被放置在指定的目录中，并将其命名为 fuzz-<number>.html，例如 fuzz-1.html，fuzz-2.html 等。生成多个样本则更快，因为输入语法文件只需加载和解析一次。
可计算性和计算复杂性
朱一清 / 国防工业出版社 / 2006-4 / 18.0
本书深入浅出地介绍了研究可计算性的四个主要模型以及四个模型彼此之间的关系：介绍了计算复杂性的基本概念和重要的研究方法与一些研究成果。内容涉及递归函数、图灵机、λ演算、马尔可夫算法、计算复杂度的分类、NP完全理论、非一致复杂性等。分述于十章,书中附有习题。 本书可作为广大有志于突破计算复杂性研究僵局——“P=NP？”的科技工作者,计算机科学和元计算机科学工作者,数学和元数学工作者以及大......一起来看看 《可计算性和计算复杂性》 这本书的介绍吧!
