Awesome Open Source
Awesome Open Source


Build Status Jenkins Build Status LGPL License Jenkins tests SonarQube Coverage SonarQube Tech Debt SonarQube LOC Codacy Badge ZenHub

Ultimate is a program analysis framework. Ultimate consists of several plugins that perform steps of a program analysis, e.g., parsing source code, transforming programs from one representation to another, or analyzing programs. Toolchains of these plugins can perform complex tasks, e.g., verify that a C program fulfills a given specification.

The official website includes a web interface which allows you to use several toolchains online, a list of all developers, and a list of awards Ultimate received over the years.

The available documentation can be found in our wiki.

You can download the latest release from GitHub's release page or try our nightly builds.

Get A Weekly Email With Trending Projects For These Topics
No Spam. Unsubscribe easily at any time.
c (14,552
program-analysis (30
automata (18
model-checking (17

Find Open Source By Browsing 7,000 Topics Across 59 Categories