CodeSonar vs Puma Scan
CodeSonar
adacore.comPuma Scan
pumasecurity.ioSide by side
| Figure | CodeSonar | Puma Scan |
|---|---|---|
| Price from | — | $24.92/mo |
| Free plan | — | Yes |
| Free trial | Yes | Yes |
| Open source | — | — |
| Web | Yes | — |
| Windows | Yes | Yes |
| macOS | — | Yes |
| Linux | Yes | Yes |
| Self-hosted | Yes | Yes |
| Plans published | 1 | 5 |
| Spec score · Static Application Security Testing Software | 8.1 (#7) | 8.1 (#9) |
| Headquarters | New York, United States and Paris, France | West Des Moines, Iowa, United States |
| Purpose | CodeSonar is a static application security testing solution that finds security and quality defects in code. | Puma Scan is a static application security testing tool that scans C# code in Visual Studio and reports vulnerabilities as compiler warnings before code is committed. |
| Support | AdaCore says its engineering team is directly accessible through support and that customers can speak with the developers of the technology. | The Professional End User Edition includes email support and scheduled telephone support; the annual subscription includes product support and updates. |
Plans
Puma Scan
- CommunityFree
- End User$299 a year
- Server$4,999 a year
- Cloud CI Standard$5,999 a year
- Cloud CI Unlimited$10,999 a year
In their own words
CodeSonar
CodeSonar is AdaCore’s static application security testing solution for finding security and quality defects in source code and compiled binaries. It supports C/C++, Java, C#, Kotlin, Python, Go, Rust, JavaScript and TypeScript. Abstract interpretation and symbolic execution examine feasible execution paths across procedures and modules. Binary analysis covers mixed-language environments and cases where source is unavailable. Security coverage includes OWASP Top 10, SANS/CWE 25, SEI CERT C/C++ and DISA STIG; coding standards include MISRA-C, MISRA-C++, AUTOSAR C++, JSF++ and CERT. Integrations include Visual Studio, GitLab, Jira, Jenkins and VS Code, alongside project-management, CI/CD and IDE workflows. Pull-request scans, custom security rules and report exports to PDF, HTML or XML are supported. AdaCore offers on-premises, air-gapped and private-cloud deployment. The tool runs on supported 64-bit Windows and Linux distributions with glibc 2.39 or higher. Pricing is on request, with a trial available.
Puma Scan
Puma Scan is a static application security testing tool for C# code in Visual Studio. Its End User Edition scans code as developers write and reports vulnerabilities as compiler warnings before a commit. The extension supports C# in.NET Framework and.NET Core, including Web Forms and MVC; legacy website projects are unsupported. The product page says it also scans AI-generated code from GitHub Copilot, Cursor, Claude, ChatGPT, Amazon Q and Gemini Code Assist. For automated scanning, listed integrations include GitHub Actions, GitLab CI and Azure DevOps. CI editions can enforce configurable vulnerability severity thresholds and stop builds when requirements are not met. The Server Edition supports command-line scans, on-premises Azure DevOps build tasks and exports in HTML, JSON, MSBuild, VSO, VSTest and CSV formats. Community is free. End User costs $299 a year; Server is $4,999 a year, Cloud CI Standard $5,999 a year and Cloud CI Unlimited $10,999 a year. Trials last 30 days, require no credit card and do not include reporting. Community analyzers run locally and do not contact Puma Scan servers for rule updates.