facebook/infer

DEAD STORE reports many harmless cases like int i = 0xFFFFFFFF; i = SomeFunc();

Open

#1,083 创建于 2019年4月10日

在 GitHub 查看
 (8 评论) (0 反应) (0 负责人)HTML (1,688 fork)batch import
cgood first taskhelp wanted

仓库指标

Star
 (12,410 star)
PR 合并指标
 (平均合并 2天 7小时) (30 天内合并 9 个 PR)

描述

infer version v0.15.0 in my case, 0xFFFF or 0xFFFFFFFF is a common initializer and there are a lot of this semantics in our code. I would like to ignore those harmless. but if I turn off liveness checker, I worry about missing some truely harmful bugs. Does Infer provide some filtering option or method?

贡献者指南

研究方向
研究 Infer 在活跃性检查器（可能在 OCaml 源代码中）中的死存储检测逻辑。确定是否存在现有的过滤机制，或者是否可以通过命令行选项添加。查看 issue 评论中的讨论以获取维护者的建议。提出一个配置选项，用于忽略在覆写之前使用常量字面量（如 0xFFFFFFFF）进行的初始化。
技术栈
无
领域
tooling
议题类型
功能
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
2
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-2 天
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
清晰
前置要求
无
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
75