Press release

How is it possible to protect smartphones, information systems, and computers from cyber threats? To answer these questions, the National Institute of Standards and Technology (NIST) launched the Static Analysis Tool Exposition (SATE). Our Frama-C technology was the only technology to meet rigorous Ockham criteria

The stakes have never been higher for the open-source software community and the millions of people across the world who rely on a wide variety of software, such as OpenSSL, where security is critical. That’s why the Linux Foundation’s Core Infrastructure Initiative has selected TrustInSoft to leverage its groundbreaking technology to help provide the open source community with an easy-to-use tool that is also effective at finding bugs in open-source critical code that other technologies miss.

TrustInSoft today has been named one of 10 finalists for RSA® Conference Innovation Sandbox Contest 2015, which is celebrating its 10-year anniversary this year. On Monday, April 20, 2015, TrustInSoft will have the opportunity to showcase its innovative information security technology to the Innovation Sandbox Contest panel of judges for a chance to be named “Most Innovative Company at RSA Conference 2015.”

Together, Prove & Run and TrustInSoft aim to raise the quality and security of software development projects to the very high levels required in today’s markets while taking into account real-world constraints such as time-to-market, cost and required skill levels.

Case Study

French nuclear reactors rely heavily on software to perform critical safety tasks. Because of this, IRSN encourages the use of formal methods to prove the correctness of the software, crucial to ensure the proper performance of the required safety tasks. To explore new approaches that prove different structural properties on critical safety C software, IRSN required an advanced and robust static analysis tool with a high level of reactive support. IRSN became an early adopter of the TrustInSoft Analyzer.

Verification Kit

The PolarSSL Verification Kit is a report that describes how to compile, configure, and use PolarSSL in order to remain immune from CWE 119 to 127, 369, 415, 416, 457, 476, 562, 690. We used TrustInSoft Analyzer (recognized by NIST) to generate this report.


Tour guide of TrustInSoft Analyzer and its 2016 code editing and progress charts features on the ntpd daemon.

Media Contact
USA: +1 (408) 829-5882
Europe: +33 1 84 06 43 91