| Price from | — | — |
| Free plan | — | — |
| Free trial | — | Yes |
| Open source | — | — |
| Windows | Yes | Yes |
| Linux | Yes | Yes |
| Plans published | 0 | 1 |
| Spec score · C and C++ Static Analysis Tools | 7.8 (#11) | 7.6 (#13) |
| Headquarters | Saarbrücken, Germany | San Luis Obispo, California, USA |
| Purpose | Astrée is a sound static analyzer designed to prove the absence of runtime errors and data races in C/C++ programs. | Imagix 4D helps developers understand, document, and improve complex, third-party, or legacy 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. | Imagix says it provides technical and sales assistance during evaluation and after purchase. |