It performs interprocedural analysis of all possible control and data flows, including multithreaded code, to identify each operation as always safe, always faulty, unreachable, or vulnerable. Polyspace Server for Ada identifies code segments that are free of run-time errors, proven to fail, unreachable, or unproven.

You can run Polyspace Server for Ada on a server-class machine and integrate it into build and continuous integration systems for automated verification using tools such as Jenkins®. The analysis results can be reviewed using the Polyspace Client for Ada or published to Polyspace Access for triage and resolution.