Combining the benefits of static and dynamic source code analyzers to deliver the most advanced & exhaustive code verification tool
Invalid pointer usage
Division by zero
Non-initialized memory access
NaN in float computation
Overflow in float-to-int conversion
Developers can use TrustInSoft Analyzer to visualize all variable values at every step of the execution path and navigate back and forth along the execution, giving developers a mathematical debugger to observe their program.
TrustInSoft Analyzer indicates all statements defining the contents of the memory to which the selected variable left–value point to, allowing developers to get to the bug’s root origin
TrustInSoft Analyzer gives a synthetic view on results, bugs found and coverage.
Helps reach industry standards
Identify and correct all undefined behaviors to fulfill the most difficult-to-achieve industrial standards requirements. The analyzer helps reach standards such as CERT-C, ISO26262, DO178C, IEC61508, EN50128 or CEI60880 etc.
Compatible with all popular target platforms
Analyze the behavior of your software on all hardware target platforms. Supported platforms include ARM, X86, PPC, MIPS variants with the possibility to easily add new platforms.
Mathematical guarantee on the absence of items of Common Weakness Enumeration™
Guarantee the absence of CWE vulnerabilities, including CWE-369 Divide by Zero, CWE-125 out-of-band read etc.
Integrated with DevOps processes
TrustInSoft Analyzer easily integrates with any DevOps or DevSecOps process to automate analysis actions.
The analyzer can be deployed and used in any configuration, including local workstations or local and remote Cloud for immediate setup and productivity.
Command Line Interface (CLI)
TrustInSoft Analyzer is available through a command-line interface for easy integration with any CI/CD platform.
Discover the TrustInSoft business offer