主要观点：Revizor 是一款面向安全的模糊测试工具，用于检测 CPU 中的信息泄露，如 Spectre 和 Meltdown，可针对 Leakage Contracts 测试 CPU 并搜索意外泄露，有相关论文和后续研究。
关键信息：

• 提供快速启动指南Quick Start、用户文档User Documentation和贡献指南CONTRIBUTING.md。
• 若发现 Revizor 漏洞可打开一个问题，有疑问可在讨论页面寻求帮助。
• 引用项目的参考包括介绍基于模型的关系测试概念及 Revizor 工具的原论文、泄漏合同的理论基础、上述论文的期刊格式总结、引入推测过滤等的论文、引入基于异常测试的论文等。
  重要细节：
• 相关链接：GitHub、PyPI、GitHub all releases、GitHub contributors。
• 商标相关：需遵循Microsoft's Trademark & Brand Guidelines，使用第三方商标或标志需遵守其政策。