- TrustInSoft is an international software publisher, based in San Francisco and Paris. We provide an advanced static source code analyzer tool founded on formal methods, to verify software.
- TrustInSoft Analyzer offers all the features needed to check the behaviours of the software, and the resources to solve the detected errors. It is the Turnkey solution to guarantee your software is safe and secure.
- We operate in different markets, both in terms of safety: Railway, Aeronautic, Nuclear, Automotive, Space, and Cobots; And cybersecurity: Defense, Telecom, IoT and IoT for industry, and Healthcare.
- In 2015, TrustInSoft was nominated as one of the 10 most innovative companies in the world in Cybersecurity at the RSA conference. Our technology has, also, been recognized by the federal agency NIST (National Institute of Standards and Technology) in the report “Dramatically Reducing Software Vulnerabilities”, directed to the White House Office of Science and Technology Policy.
The TrustInSoft Analyzer is an advanced static source code analyser that performs comprehensive mathematical analyses of software, to find and resolve source code flaws. Its technology detects all vulnerabilities, and is the only software that can mathematically guarantee the absence of complete families of software flaws. 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.
The offers we have are:
Advanced software audit: You provide us with a piece of software and we perform an advanced software audit on your source code.
License of TrustInSoft Analyzer: You can perform the verification task yourself or your team. It’s especially useful if you can not disclose your source code to third parties.
Both of those offers come with dedicated training and support.