/sdl (Aktivieren zusätzlicher Sicherheitsüberprüfungen)

  • Artikel

Aktiviert empfohlene SDL-Prüfungen (Security Development Lifecycle). Diese Überprüfungen ändern sicherheitsrelevante Warnungen in Fehler und legen zusätzliche features der sicheren Codegenerierung fest.

Syntax

/sdl[-]

Hinweise

/sdl ermöglicht eine Obermenge der geplanten Sicherheitsüberprüfungen, die von /GS und Außerkraftsetzungen /GS-bereitgestellt werden. Ist standardmäßig /sdl deaktiviert. /sdl- deaktiviert die zusätzlichen Sicherheitsprüfungen.

Überprüfungen zur Kompilierzeit

/sdl aktiviert diese Warnungen als Fehler:

Durch /sdl aktivierte Warnung Entsprechender Befehlszeilenschalter Beschreibung
C4146 /we4146 Ein unärer Subtraktionsoperator wurde auf einen vorzeichenlosen Typ angewendet, was zu einem Ergebnis ohne Vorzeichen führte.
C4308 /we4308 Eine negative integrale Konstante wurde in einen vorzeichenlosen Typ konvertiert, was zu einem möglicherweise bedeutungslosen Ergebnis führte.
C4532 /we4532 Die Verwendung von continue, oder goto breakSchlüsselwörtern in einem __finally/finally Block hat ein nicht definiertes Verhalten während einer abnormalen Beendigung.
C4533 /we4533 Der Code, der eine Variable initialisiert, wird nicht ausgeführt.
C4700 /we4700 Verwendung einer nicht initialisierten lokalen Variablen.
C4703 /we4703 Verwendung einer möglicherweise nicht initialisierten lokalen Zeigervariablen.
C4789 /we4789 Pufferüberlauf, wenn bestimmte CRT-Funktionen (C Run-Time) verwendet werden.
C4995 /we4995 Verwendung einer Funktion, die mit Pragma deprecatedgekennzeichnet ist.
C4996 /we4996 Verwendung einer Funktion, die als gekennzeichnet ist deprecated.

Laufzeitüberprüfungen

Wenn /sdl diese Option aktiviert ist, generiert der Compiler Code, der diese Überprüfungen zur Laufzeit durchführt:

  • Aktiviert den strengen Modus der /GS Laufzeitpufferüberlauferkennung, die dem Kompilieren mit #pragma strict_gs_check(push, on).

  • Führt die eingeschränkte Zeigerbereinigung durch. In Ausdrücken, die keine Ableitungen umfassen, und in Typen ohne benutzerdefinierte Destruktor werden Zeigerverweise nach einem Aufruf deleteauf eine ungültige Adresse festgelegt. Diese Bereinigung trägt dazu bei, die Wiederverwendung veralteter Zeigerbezüge zu verhindern.

  • Initialisiert Klassenmememlerzeiger. Initialisiert automatisch Klassenmber des Zeigertyps für nullptr die Objektinstanziierung (bevor der Konstruktor ausgeführt wird). Dadurch wird verhindert, dass nicht initialisierte Zeiger verwendet werden, die der Konstruktor nicht explizit initialisiert. Die compilergenerierte Memberpointerinitialisierung wird aufgerufen, solange:

    • Das Objekt wird nicht mithilfe einer benutzerdefinierten (benutzerdefinierten) Zugeordnet. operator new

    • Das Objekt wird nicht als Teil eines Arrays zugeordnet (z. B new A[x]. )

    • Die Klasse wird nicht verwaltet oder importiert.

    • Die Klasse verfügt über einen benutzerdefinierten Standardkonstruktor.

    Um von der compilergenerierten Klasseninitialisierungsfunktion initialisiert zu werden, muss ein Element ein Zeiger und keine Eigenschaft oder Konstante sein.

Weitere Informationen finden Sie unter Warnungen, /sdl und verbessern die Erkennung nicht initialisierter Variablen.

So legen Sie diese Compileroption in der Visual Studio-Entwicklungsumgebung fest

  1. Öffnen Sie das Dialogfeld Eigenschaftenseiten des Projekts. Weitere Informationen erhalten Sie unter Set C++ compiler and build properties in Visual Studio (Festlegen der Compiler- und Buildeigenschaften (C++) in Visual Studio).

  2. Navigieren Sie zur Eigenschaftenseite Konfigurationseigenschaften>C/C++>Allgemein.

  3. Legen Sie die SDL-Check-Eigenschaft mithilfe des Dropdown-Steuerelements der Eigenschaft fest. Wählen Sie OK oder Übernehmen, um die Änderungen zu speichern.

Siehe auch

MSVC-Compileroptionen
Syntax für die MSVC-Compilerbefehlszeile