Astrée vs Squish

Astrée

6.3 #16 in C and C++ Static Analysis Tools

About Astrée

Squish

7.2 #9 in Static Analysis Tools

About Squish
AstréeSquish
Free planNoNo
Free trialNoYes
Paid from——
Open sourceNoNo
PlatformsLinux, WindowsAndroid, api, iOS, Linux, macOS, self-hosted, Web, Windows
Free planNo—
Memory defect detectionYes—
Security analysisYesYes
Coding-rule checksYes—
Concurrency analysisYes—
MISRA supportYes—
Taint analysisYes—

Both are listed in Best C and C++ Static Analysis Tools. On The Geeks Club, Squish scores higher on our published basis.