Сhecking a key in an array in another function PossiblyUndefinedIntArrayOffset

Metriche repository

Star

5369 stelle (5369 stelle)

Metriche merge PR

Metriche PR in attesa (Metriche PR in attesa)

Descrizione

Guida contributor

Direzione di ricerca

Esamina l'esempio della sandbox di Psalm (https://psalm.dev/r/f1c0b3b1ba) per comprendere il falso positivo per PossiblyUndefinedIntArrayOffset. Quindi, analizza il codice sorgente di Psalm, in particolare la logica nell'analisi degli array che gestisce le chiamate di funzione e i controlli di esistenza delle chiavi. Cerca dove l'analisi presume erroneamente che un offset non sia definito quando in realtà è definito tramite una chiamata di funzione all'interno di un'altra funzione. Traccia il flusso di controllo e l'inferenza del tipo per identificare il bug.

Tech stack

php

Dominio

developer experiencetooling

Tipo issue

Bug

DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.

3

Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.

1-3 ore

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

PHPBasic understanding of Psalm

Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.

70