使用Infer静态分析器查找程序间的bug

使用Infer静态分析器查找程序间的bug

相关技术 1年前 (2023-03-27) 浏览: 269 评论: 0

静态分析器在程序运行之前捕获错误的能力正在稳步提高。在Facebook使用Infer静态分析器(https://fbinfer.com/)的过程中,我们经常被问及Infer与其他开源分析工具(如Findbugs、错误倾向和Clang静态分析器)之间的差异。一个主要区别是程序间错误,或涉及多个程序之间交互的错误。 我们将看看Infer在Java和C中发现的两个程序间错误示例——一个来自开源DuckD

登录

忘记密码 ?

切换登录

注册