Astrée vs TrustInSoft Analyzer
Astrée
absint.comTrustInSoft Analyzer
trust-in-soft.comSide by side
| Figure | Astrée | TrustInSoft Analyzer |
|---|---|---|
| Price from | — | — |
| Free plan | — | — |
| Free trial | — | — |
| Open source | — | — |
| Windows | Yes | — |
| macOS | — | Yes |
| Linux | Yes | Yes |
| Plans published | 0 | 1 |
| Spec score · C and C++ Static Analysis Tools | 7.8 (#11) | 6.7 (#19) |
| Founded | 1998 | 2013 |
| Headquarters | Saarbrücken, Germany | Paris, France, with a San Francisco, USA office |
| Integrations | The maker describes CI/CD and DevOps integration, automatic AUTOSAR integration analysis from ARXML files, and a TargetLink coupling; release notes also mention an Astrée Jenkins plugin. | The maker lists integrations with Jenkins, GitLab CI, and AWS CodePipeline. |
| Purpose | Astrée is a sound static analyzer designed to prove the absence of runtime errors and data races in C/C++ programs. | TrustInSoft Analyzer uses exhaustive static analysis and formal methods to detect memory safety issues and runtime errors in source code. |
| Support | The maker's factsheet invites users to speak with a product specialist by phone and lists [email protected] as a contact email. | The maker invites prospective customers to contact its team for demos, pricing information, and support questions. |
Plans
In their own words
TrustInSoft Analyzer
TrustInSoft Analyzer has no write-up on Specifiction yet; its figures are above.