facebook/infer

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

Open

#1,083 opened on Apr 10, 2019

View on GitHub
 (8 comments) (0 reactions) (0 assignees)HTML (1,688 forks)batch import
cgood first taskhelp wanted

Repository metrics

Stars
 (12,410 stars)
PR merge metrics
 (No merged PRs in 30d)

Description

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?

Contributor guide

Research direction
Investigate the Infer liveness checker source code to understand how dead store warnings are generated. Look for existing configuration options or command line flags that could be extended to filter out common initialization patterns. Consider adding a new option like ' no dead stores for constants' or an annotation to suppress warnings for certain patterns.
Tech stack
None
Domain
tooling
Issue type
Feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
2
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-2 days
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
None
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
75