| Price from | — | — |
| Free plan | — | — |
| Free trial | — | Yes |
| Open source | — | — |
| Windows | Yes | Yes |
| macOS | — | Yes |
| Linux | Yes | Yes |
| Plans published | 0 | 1 |
| Spec score · C and C++ Static Analysis Tools | 7.8 (#11) | 8.3 (#7) |
| Headquarters | Saarbrücken, Germany | Wilmington, Delaware, United States |
| Purpose | Astrée is a sound static analyzer designed to prove the absence of runtime errors and data races in C/C++ programs. | CppDepend analyzes C, C++, Java, and Rust codebases to visualize architecture, detect issues, enforce coding standards, and prevent technical debt. |
| Support | The maker's factsheet invites users to speak with a product specialist by phone and lists [email protected] as a contact email. | Support during the subscription period covers installation and usage problems, general questions, and bug fixes. |