---
canonical: "https://www.softatlas.io/adacore/products/codesonar"
name: "CodeSonar"
provider: "AdaCore"
category: "Security & Compliance / Application, Cloud & Data Security / Application Security (AppSec)"
review_count: 0
format: "CORE_PRODUCT"
ai_powered: false
website: "https://www.adacore.com/codesonar"
updated: "2026-10-23"
---

# CodeSonar

By [AdaCore](/adacore.md)

Static analysis tool for C/C++ and Ada that finds defects and security vulnerabilities and checks coding standards such as MISRA.

## Features
- Detect defects and vulnerabilities before testing
- Check MISRA and coding standard compliance
- Analyze whole-program data flows
- Report findings for certification audits

## Built for
DEVELOPERS

Source: https://www.softatlas.io/adacore/products/codesonar