facebook/infer

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

Open

#1.083 geöffnet am 10. Apr. 2019

Auf GitHub ansehen
 (8 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)HTML (1.688 Forks)batch import
cgood first taskhelp wanted

Repository-Metriken

Stars
 (12.410 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 2T 7h) (9 gemergte PRs in 30 T)

Beschreibung

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-Richtung
Untersuche die Dead Store Erkennungslogik von Infer im Liveness Checker (wahrscheinlich im OCaml Quellcode). Stelle fest, ob es einen vorhandenen Filtermachanismus gibt oder ob einer über Befehlszeilenoptionen hinzugefügt werden kann. Überprüfe die Diskussion in den Issue Kommentaren nach Vorschlägen der Maintainer. Schlage eine Konfigurationsoption vor, um Initialisierungen mit konstanten Literalen wie 0xFFFFFFFF vor dem Überschreiben zu ignorieren.
Tech Stack
Keine
Domain
tooling
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Keine
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
75