vimeo/psalm

Psalm doesn't notice session_unset()

Open

#9198 aperta il 29 gen 2023

Vedi su GitHub
 (2 commenti) (0 reazioni) (0 assegnatari)PHP (668 fork)batch import
Help wantedeasy problemsenhancement

Metriche repository

Star
 (5369 star)
Metriche merge PR
 (Merge medio 3g 12h) (5 PR mergiate in 30 g)

Descrizione

For example: https://psalm.dev/r/c1dc7af1fb

When the session is cleared by setting it to an empty array Psalm is aware that the key doesn't exist, but if the same is done using session_unset() Psalm doesn't notice this fact.

Guida contributor

Direzione di ricerca
Indaga come Psalm traccia gli effetti collaterali delle funzioni PHP e aggiungi uno stub o una gestione per session unset per marcare $ SESSION come cancellata.
Tech stack
php
Dominio
backend
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
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
GitPHP
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
75