Formale Methoden
TrustInSoft verwendet formale mathematische Techniken, um Probleme in C- und C++-Programmen umfassend zu erkennen. Dieser Ansatz gewährleistet ein hohes Maß an Genauigkeit bei der Identifizierung potenzieller Schwachstellen und Fehler im Code.
Volle Kontextsensitivität
Im Gegensatz zu heuristischen Ansätzen behält TrustInSoft die volle Kontextsensitivität während des gesamten Analyseprozesses bei. Das bedeutet, dass das Tool den exakten Ausführungskontext während aller Programmschritte beibehält, was zu einem umfassenden und detaillierten Verständnis von Codefehlern führt.
Unerreichte Zuverlässigkeit
Die Kombination aus mathematischer Verifikation und vollständiger Kontextsensitivität stellt sicher, dass keine falsch-negativen Ergebnisse gefunden werden ("soundness") und führt zu einer beispiellosen Zuverlässigkeit. Das bedeutet, dass TrustInSoft die Fehlerfreiheit von C- und C++-Programmen mathematisch zusagen kann und damit ein in der Branche unübertroffenes Maß an Sicherheit bietet.