vimeo/psalm

Psalm doesn't notice session_unset()

Open

#9.198 geöffnet am 29. Jan. 2023

Auf GitHub ansehen
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)PHP (668 Forks)batch import
Help wantedeasy problemsenhancement

Repository-Metriken

Stars
 (5.369 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 3T 12h) (5 gemergte PRs in 30 T)

Beschreibung

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.

Contributor Guide

Research-Richtung
Untersuche, wie Psalm Nebenwirkungen von PHP Funktionen verfolgt, und füge einen Stub oder eine Behandlung für session unset hinzu, um $ SESSION als gelöscht zu markieren.
Tech Stack
php
Domain
backend
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
GitPHP
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
75