Сhecking a key in an array in another function PossiblyUndefinedIntArrayOffset

Metriche repository

Star

5369 star (5369 star)

Metriche merge PR

Merge medio 3g 12h (Merge medio 3g 12h)5 PR mergiate in 30 g (5 PR mergiate in 30 g)

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