CodeSonar vs Security Code Scan

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.

Security Code Scan is a free, open-source static analyzer for .NET projects written in C# and VB.NET. It detects vulnerability patterns such as SQL injection, cross-site scripting, CSRF, and XML external entity injection, using inter-procedural taint analysis to follow input data. Projects can be analyzed in the background through IntelliSense or during a build. For delivery workflows, it supports GitHub and GitLab pipelines, MSBuild, and a stand-alone runner; custom integrations can emit SARIF results and place warnings alongside other build messages. Users can define taint sources, sinks, sanitizers, validators, and project-specific settings. The analyzer supports Visual Studio 2019 or higher, while the project says other Roslyn analyzer editors such as Rider or OmniSharp should work. Releases are available as a NuGet package, Visual Studio extension, and stand-alone runner for Windows and Linux. The maker warns that the extension or NuGet package can slow the IDE and recommends CI/CD pipelines as the more common use case. Audit mode is off by default. The repository identifies an LGPL-3.0 license.