TRUSTINSOFT ANALYZER FOR THE DEFENSE INDUSTRY

GUARANTEE THE ABSENCE OF COMPLETE FAMILIES OF SOFTWARE FLAWS

The TrustInSoft Analyzer is an advanced static source code analyzer that enables software developers and integrators to exhaustively analyze software for source code flaws. By using TrustInSoft, you can obtain formal guarantees that highlight your product’s robustness. You can also use TrustInSoft to maintain compliance or reach certification according to the norms EN-50128/IEEE 1558.

Summary table of the potential risks according to safety integrety level

WE CAN GUARANTEE YOUR SOFTWARE IS IMMUNE FROM:

Buffer Overflow

Invalid Pointer Usage

Division by Zero

Non-Initialized Memory Read

Dangling Pointer

Arithmetic Overflow

NaN In a Float Computation

Overflow in Float to Integer Conversion

TECHNICAL DEPLOYMENT

TrustInSoft Analyzer is installed on a dedicated server. You can connect to the server through a web browser or via the command line. You can also configure the TrustInSoft Analyzer server to interface with various source management systems or continuous integration platforms.

READY TO LEARN MORE?