facebook/infer
GitHub で見るDEAD STORE reports many harmless cases like int i = 0xFFFFFFFF; i = SomeFunc();
Open
#1,083 opened on 2019年4月10日
cgood first taskhelp wanted
Repository metrics
- Stars
- (12,410 stars)
- PR merge metrics
- (平均マージ 2d 7h) (30d で 9 merged PRs)
説明
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?