Multiplier 更快地发现更多bug
Multiplier提供精确而全面的代码理解能力。它通过将构建产物保存到数据库中,然后使用C++或Python API持续访问这些产物来实现这一点。
Multiplier强调能够唯一标识构建过程中的所有实体,包括单个标记、AST节点和中间表示。使用Multiplier,分析人员可以在其中一种表示上识别感兴趣的代码模式,然后以可读形式准确地将结果反馈给人类,或通过实体ID传递给后续脚本。
Multiplier的API非常广泛,通常提供与编译器级别相当或更好的质量信息,但在整个程序的粒度上链接。我们喜欢说,使用其API,你可以从任何地方到达所有地方。
- 关于
- 其他索引器如何工作,以及为什么普通的代码索引方式对C/C++来说不够
- 为什么选择Multiplier? Multiplier解决了哪些分析挑战?
- 使用
- 文章
- 包含的Python工具
- 包含的C++工具
- 包含的实用工具
许可证
这项研究是在国防高级研究计划局(DARPA)的资助下开发的。文中表达的观点、意见和/或发现属于作者,不应被解释为代表国防部或美国政府的官方观点或政策。
分发声明"A"(批准公开发布,无限制分发)。