Gli exploit di overflow del buffer sono possibili in C#?

Question

Supponendo che un programma C# utilizzi solo codice .NET gestito, è possibile avere una vulnerabilità di sicurezza di buffer overflow all'interno di quel programma? In tal caso, in che modo tale vulnerabilità sarebbe possibile?

Answer 1

Sì, ma sono molto più difficili da produrre. È possibile ottenere buffer overflow solo se si utilizzano determinati costrutti non sicuri e non con il codice C# "normale". Il codice di corruzione della memoria non dovrebbe essere possibile, quando il codice è in esecuzione con un trust ridotto.

Qualche possibilità di buffer overflow:

1. utilizzando la parola chiave unsafe, che permette di puntatori. Il codice non sicuro è altrettanto facile da sbagliare, come il codice basato su puntatore in c o C++.
2. Utilizzando le API non sicuri, come ad esempio i metodi della classe Marshal
3. (mono) È possibile disattivare il controllo intervallo di matrice (sicurezza contro le prestazioni trade-off)

ci sono anche alcuni altri modi per danneggiare la memoria a parte i buffer overflow.

1. StructLayoutKind.Explicit
2. errati firme di interoperabilità nativa

(Il runtime stesso è scritto in C++, in modo da un bug nel runtime può memoria anche corrotto o un buffer overflow, ma ritengo che fuori del campo di applicazione di questa domanda)

Answer 2

Solo se si utilizza la parola chiave unsafe.

Answer 3

In un senso assoluto, sì un exploit di buffer è possibile a causa di errori nel runtime .NET. Tuttavia, .NET previene la maggior parte del codice utente finale (tranne l'utilizzo "non sicuro") da questi tipi di problemi, quindi nella vita reale è meno rischioso.

Nella vita reale, la maggior parte dei problemi di questo tipo si verificano dalle chiamate native (DLL COM ecc.) Richiamate dal codice gestito.

Answer 4

Sì, in ambienti non sicuri:

unsafe void bufferOverflow(string s) 
{ 
    char* ptr = stackalloc char[10]; 

    foreach (var c in s) 
    { 
     *ptr++ = c; // Bufferoverflow if s.Length > 10 
    } 
} 

"Consenti codice non sicuro" deve essere controllato per questo compilare.

Non è possibile un buffer overflow tradizionale con un array. Effettua il controllo dei limiti prima di accedere a un array, a meno che (CLR) possa garantire che sia sicuro.