facebook/infer

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

Open

#1,083 opened on 2019年4月10日

GitHub で見る
 (8 comments) (0 reactions) (0 assignees)HTML (12,410 stars) (1,688 forks)batch import
cgood first taskhelp wanted

説明

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?

コントリビューターガイド

技術スタック
なし
領域
tooling
Issue 種別
bug
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
3
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1-2 days
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
stale
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
clear
前提条件
Familiarity with InferBasic knowledge of static analysis
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
30
調査方針
Investigate Infer's dead store detection logic in the liveness checker (likely in OCaml source). Determine if there is an existing filtering mechanism or if one can be added via command line options. Review the discussion in issue comments for maintainer suggestions. Propose a configuration option to ignore initializations with constant literals like 0xFFFFFFFF prior to overwriting.