Vendor profile

TrustInSoft

TrustInSoft, founded in 2013 and based in Paris and San Francisco, provides a code analysis tool that uses formal methods to guarantee the security and safety of source code.

Represent this companytrust-in-soft.com1 product

About TrustInSoft

TrustInSoft is a software publisher that provides a source code analysis tool using formal methods to guarantee the security and safety of code, and on-demand Rust code analysis services for C, C++ and Rust hybrid code.

Offices: Paris, France
San Francisco, United States
Product responsibilities: Develops and publishes TrustInSoft Analyzer
Provides TrustInSoft Rust Code Analysis Services on demand
Customer reference options: Case studies with Mitsubishi Electric R&D Centre Europe and eSOL are linked on the product page, with customer quotes.

Software portfolio

Products

1 published product

TrustInSoft Analyzer

Helps developers, QA and test engineers in safety-critical industries find and eliminate memory safety issues, runtime errors and undefined behaviors in C, C++ and Rust code, with mathematical guarantees within the defined analysis scope and assumptions.

developer

View product →

Company timeline

2013
Founded