facebook/infer

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

Open

#1 083 ouverte le 10 avr. 2019

Voir sur GitHub
 (8 commentaires) (0 réactions) (0 assignés)HTML (1 688 forks)batch import
cgood first taskhelp wanted

Métriques du dépôt

Stars
 (12 410 stars)
Métriques de merge PR
 (Merge moyen 2j 7h) (9 PRs mergées en 30 j)

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?

Guide contributeur

Direction de recherche
Étudiez la logique de détection des dead stores d'Infer dans le vérificateur de liveness (probablement dans le code source OCaml). Déterminez s'il existe un mécanisme de filtrage existant ou si un peut être ajouté via des options en ligne de commande. Examinez la discussion dans les commentaires de l'issue pour les suggestions des mainteneurs. Proposez une option de configuration pour ignorer les initialisations avec des littéraux constants comme 0xFFFFFFFF avant l'écrasement.
Stack technique
Aucun
Domaine
tooling
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Aucun
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
75