CBMC vs Parasoft SOAtest
| CBMC | Parasoft SOAtest | |
|---|---|---|
| Free plan | Yes | |
| Free trial | No | Yes |
| Paid from | Free | |
| Platforms | Linux, macOS, Windows | Android, api, iOS, Linux, macOS, self-hosted, Windows |
| Free plan | Yes | No |
| Memory defect detection | Yes | Yes |
| Security analysis | Yes | |
| Coding-rule checks | Yes | |
| Concurrency analysis | Yes | |
| MISRA support | Yes | |
| CI/CD integration | Yes | |
| Database testing | Yes | |
| Service virtualization | Yes | |
| Deployment model | both | |
| Supported languages | Java, JavaScript, Groovy, Jython | |
| Test data management | Yes | |
| Supported frameworks | JUnit 3, JUnit 4, TestNG, GoogleTest | |
| CI/CD integrations | Jenkins, Azure DevOps, GitLab, GitHub, Bamboo, TeamCity | |
| Flaky-test detection | Yes | |
| Failure analysis | Yes | |
| Execution trend reports | Yes | |
| Self-hosted deployment | Yes | |
| Test targets | API, microservices, web UI, mobile, databases, security, performance, service virtualization | |
| Execution environment | hybrid | |
| Cross-browser testing | Yes | |
| Mobile testing | Yes |
Listed together in Best C and C++ Static Analysis Tools