TrustInSoft develops solutions that validate mission-critical software and eliminate attack vectors. The company’s products reduce cyber risks, lower the cost of designing safety-critical systems, and reduce liabilities. The company was started in 2013, the Paris-based company produces the TrustInSoft Analyzer, an advanced static source code analyzer based on the Frama-C platform. The TrustInSoft Analyzer enables software developers and integrators to exhaustively detect the most frequent and dangerous families of threats before deployment. TrustInSoft also offers professional services and expertise to formally audit safety and security-critical existing software components.
Company Strapline: #Software publisher that provides tools to mathematically guarantee the #safety and #cybersecurity of C & C++ software.
Founded In: 2013
222 avenue du Maine, Paris, 75014, FR, France