May 15, 2026 | Demos
Sneak preview of the CodeSonar MCP server analyzing C code and automatic fixing of MISRA violations
A quick demonstration of how the CodeSonar MCP server can be used with your favorite LLM to rapidly find and fix static analysis findings such as MISRA violations.
Author
Mark Hermeling
Head of Technical Marketing, AdaCore
Mark has over 25 years’ experience in software development tools for high-integrity, secure, embedded and real-time systems across automotive, aerospace, defence and industrial domains. As Head of Technical Marketing at AdaCore, he links technical capabilities to business value and is a regular author and speaker on on topics ranging from the software development lifecycle, DevSecOps to formal methods and software verification.
Videos_
