Verification Kit | Demo | Press releases | Case Study & White papers

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.

Press releases

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 and white papers

Discover how 6WIND was able to increase market and improve customer security with TrustInSoft!
In today’s highly competitive market, especially as security threats grow increasingly sophisticated, it’s increasingly critical to be able to prove the quality of your software…. [read more]

This position paper provides insight into the projected impact of cybersecurity on software design, as well as the role played by static analysis techniques.

How is it possible to protect smart phones, 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….