dotnet/runtime

Сhecking for NULL

Open

#92.566 aperta il 24 set 2023

Vedi su GitHub
 (2 commenti) (1 reazione) (0 assegnatari)C# (5445 fork)batch import
area-TypeSystem-coreclrhelp wanted

Metriche repository

Star
 (17.886 star)
Metriche merge PR
 (Merge medio 12g 11h) (661 PR mergiate in 30 g)

Descrizione

Description

We have two pointer pMT dereferences: https://github.com/dotnet/runtime/blob/cc2670b53ecc1576d3aa1a1011476c99372adfd7/src/coreclr/vm/typedesc.cpp#L888 https://github.com/dotnet/runtime/blob/cc2670b53ecc1576d3aa1a1011476c99372adfd7/src/coreclr/vm/typedesc.cpp#L909 And they are absolutely identical. But before the second dereference there is a check for NULL, before the first there is not. I assume two options. The first option is an unnecessary check. The second option is that the pointer at the first dereference can really be NULL. Between these two dereferences, the pointer pMT itself does not change. Only the following lines: https://github.com/dotnet/runtime/blob/cc2670b53ecc1576d3aa1a1011476c99372adfd7/src/coreclr/vm/typedesc.cpp#L890-L898 Found by Linux Verification Center (portal.linuxtesting.ru) with SVACE.

Author A. Voronin.

Guida contributor

Direzione di ricerca
Analizza i due dereferenziamenti di pMT in typedesc.cpp. Verifica se il puntatore può essere NULL al primo dereferenziamento esaminando il codice tra i due dereferenziamenti (righe 890-898). Determina se il controllo NULL prima del secondo dereferenziamento è ridondante o se il primo dereferenziamento manca della protezione necessaria.
Tech stack
cppcsharp
Dominio
backendinfrastructure
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
C++debugging
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
50