Static analysis, compiler and code coverage driven by an LLM
Support and warranty are important for projects building high-integrity software. You need tools that you can rely on for the life cycle of a project and a vendor that can support you during that entire timeline.
This video demonstrates a collection of AdaCore tools for high-integrity software development for C, either on host, or in cross development environment. This video shows GNAT Pro for C, GNATcoverage for code coverage up to MC/DC level and CodeSonar all working together driven from an agentic LLM.
Author
Mark Hermeling
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.
