facebook/infer

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

Open

#1083 aperta il 10 apr 2019

Vedi su GitHub
 (8 commenti) (0 reazioni) (0 assegnatari)HTML (1688 fork)batch import
cgood first taskhelp wanted

Metriche repository

Star
 (12.410 star)
Metriche merge PR
 (Merge medio 2g 7h) (9 PR mergiate in 30 g)

Descrizione

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?

Guida contributor

Direzione di ricerca
Indaga la logica di rilevamento delle dead store di Infer nel controllore di liveness (probabilmente nel codice sorgente OCaml). Determina se esiste un meccanismo di filtraggio esistente o se ne può essere aggiunto uno tramite opzioni da riga di comando. Rivedi la discussione nei commenti dell'issue per i suggerimenti dei manutentori. Proponi un'opzione di configurazione per ignorare le inizializzazioni con letterali costanti come 0xFFFFFFFF prima della sovrascrittura.
Tech stack
Nessuno
Dominio
tooling
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Nessuno
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
75