Idee
Compiler setzt zusätzliche Sicherheitsüberprüfungen beim Verwenden von kritischen Funktionen wie
strcpy(), sprintf(), strcat(), malloc(), free() in den Code ein
Vorteil
Keine oder wenige False Positives, Analyseergebnis genauer
Nachteil
Code ist größer und weniger effizient