Der Microsoft BinScope Binary Analyzer überprüft Binärdateien wie DDLs oder Exe-Dateien auf Sicherheitsrisiken. Dabei legt BinScope zunächst Wert auf sichere Compileroptionen bei der Erzeugung des Binärcodes. Beispielsweise gibt es mit dem /GS-Flag eine Option, die Buffer Overflows zur Laufzeit erkennt und damit einen der häufigsten Angriffsvektoren eliminiert. Auch die Data Execution Prevention und das Safe Exception Handling müssen laut SDL-Richtlinen aktiviert sein.
