![Coverage Analysis Tool](https://d27wgn5g4t3wja.cloudfront.net/img/57dd767c-1422-08df-aa3a-203d5fb9a0d4/10075.png)
Coverage Analysis Tool
GNATcoverage - AdaCore Technologies, Inc.
GNATcoverage performs coverage analysis on both object code instruction and branch coverage and Ada and C language source code statement, decision and Modified Condition/Decision Coverage (MC/DC). Unlike most current technologies, the tool works without requiring instrumentation of the executable. Instead, it runs directly on an instrumented version of GNATemulator, a lightweight and efficient emulator tool. GNAT Pro add-on.