Sicher Software entwickeln

Das umfassende statische Analysetool analysiert Schwachstellen und Fehler und garantiert mathematisch deren Abwesenheit in Software-Quellcode, der in C und C++ geschrieben ist, als auch in Bibliotheken, APIs und Low-Level-Code. Der TrustInSoft Analyzer bietet eine leicht zugängliche, benutzerfreundliche Technologie, deren umfassende Analyse undefinierte Verhaltensweisen zu 100 Prozent erkennt und mathematisch die Abwesenheit von Fehlern in sensibler Software nachweist. Die Kosten für die Code-Verifikation können so um das Vierfache reduziert werden. TrustInSoft will seine Entwicklung auf dem europäischen Markt, insbesondere in Deutschland, maßgeblich beschleunigen. Schon heute zählt das Unternehmen aus Frankreich globale Marktführer in der Automobil-, IoT-, Telekommunikations-, Halbleiter, Luftfahrt- und Verteidigungsindustrie zu seinen Kunden.