Overview
Product Information on TrustInSoft Analyzer
What is TrustInSoft Analyzer?
TrustInSoft Analyzer Pricing
Overall experience with TrustInSoft Analyzer
“TrustinSoft Analyzer could be a great help to the quality of well-designed software.”
About Company
Company Description
TrustInSoft, established in 2013, and based in Paris, primarily focuses on constructing measures to verify mission-critical software and eradicate potential vulnerabilities. The company's offerings contribute to minimizing cyber threats, decreasing the expenses linked with building safety-centric systems, and cutting down liabilities. TrustInSoft delivers the TrustInSoft Analyzer, a comprehensive static analysis instrument that employs formal methods to interpret source code. It aids in identifying a range of common and severe threat categories and coding errors prior to deployment. Additionally, TrustInSoft provides professional services and proficiency to perform formal audits on existing safety and security-critical software elements.
Company Details
Do You Manage Peer Insights at TrustInSoft?
Access Vendor Portal to update and manage your profile.
Key Insights
A Snapshot of What Matters - Based on Validated User Reviews
Reviewer Insights for: TrustInSoft Analyzer
Performance of TrustInSoft Analyzer Across Market Features
TrustInSoft Analyzer Likes & Dislikes
1. TrustinSoft Analyzer can help us identify bugs and defects in scenarios that are difficult to construct though conventional software testing. 2. With enough input and test cases, the analyzer can automatically do its work without interference. 3. Level 2 analysis could reduce the number of our test cases that are required for a high coverage rate.
The confidence the analysis provides, the assurance that there are no undefined behaviors in the software and the ease of use.
- The safety guarantees given by the analysis and strong, thus very useful - Customer support is fast and helpful - The documentation is detailed
Fine-grained tests for each component are needed for trustinsoft analyzer to produce meaningful results. Otherwise, it would require a large amount of hardware resources and time to walk through branches in your code, which is sometimes not acceptable.
Some analysis can take some very long time to be executed. It would be good to have at least an estimate of the time required.
- setting up the environment - duration of the analysis - not always easy to understand alarms raised by the analyzer
Top TrustInSoft Analyzer Alternatives
Peer Discussions
TrustInSoft Analyzer Reviews and Ratings
- Director of Software Development<50M USDSoftwareReview Source
TrustinSoft Analyzer could be a great help to the quality of well-designed software.
TrustinSoft Analyzer does improve the quality of our products. They have spotted multiple bugs and flaws in our source code, and reduced the time spent in software testing. - Engineering Manager50M-1B USDSoftwareReview Source
Easy setup, user-friendly Interface and essential for daily development in C
Setting up TrustInSoft Analyzer was quite easy even though we had to adapt some layers in our software to make it compatible. The overall tool (package, UI, CLI) is well done and easy to use. It provides a high level of confidence in our software and has quickly become essential in our daily day software development process . - Software Developer1B-10B USDEnergy and UtilitiesReview Source
Navigating the Analyzer: From Detailed Documentation to Fast Customer Support
The analyzer works well, the support is very efficient, and the documentation is well written and detailed. - Safety Engineer10B+ USDHardwareReview Source
TIS: Low entry barrier, easy-to-use formal verification tool
The TIS tool is a very convenient tool among the formal verification tools. As a security engineer, I have been using the TIS tool for more than one year. And I have used TIS to find some problems that other security tools did not find. - I&C Safety ExpertGov't/PS/EdGovernmentReview Source
Find a software defect is good, but proove there is no defect is much better.
TrustInSoft analyzer offers the ability to prove the absence of defect in critical software. With the help of their high level technical support, our target is to prove more complex properties than only run time errors.