Eine Einführung in die statische Verifikation
Definition der statischen Verifikation Die statische Verifikation ist ein Verfahren zur Erkennung von Softwarefehlern und anderen Sicherheitsproblemen, ohne dass das Programm tatsächlich ausgeführt wird. Es handelt sich dabei um eine Form der statischen Analyse, bei der der Quellcode gescannt und potenzielle Sicherheitsmängel, logische Fehler und andere Kodierungsprobleme identifiziert werden. Die statische Überprüfung dient dazu, die … Weiterlesen