ultimate-pa / Ultimate
Stars: ✭ 95
Programming Languages
c
50402 projects - #5 most used programming language
Projects that are alternatives of or similar to Ultimate
Seahorn
SeaHorn Verification Framework
Stars: ✭ 270 (+184.21%)
Mutual labels: program-analysis, model-checking
Lime
Local Interpretable Model-Agnostic Explanations (R port of original Python package)
Stars: ✭ 438 (+361.05%)
Mutual labels: model-checking
Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Stars: ✭ 277 (+191.58%)
Mutual labels: model-checking
Pyre Check
Performant type-checking for python.
Stars: ✭ 5,716 (+5916.84%)
Mutual labels: program-analysis
programanalysiscourse
COM S 413/513 and CPR E 513 Foundations and Applications of Program Analysis @ Iowa State University
Stars: ✭ 19 (-80%)
Mutual labels: program-analysis
Model Describer
model-describer : Making machine learning interpretable to humans
Stars: ✭ 22 (-76.84%)
Mutual labels: model-checking
Symbolic Execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Stars: ✭ 395 (+315.79%)
Mutual labels: program-analysis
Linter
Static Analysis Compiler Plugin for Scala
Stars: ✭ 273 (+187.37%)
Mutual labels: program-analysis
Tla Rust
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
Stars: ✭ 880 (+826.32%)
Mutual labels: model-checking
Cwe checker
cwe_checker finds vulnerable patterns in binary executables
Stars: ✭ 372 (+291.58%)
Mutual labels: program-analysis
Phasar
A LLVM-based static analysis framework.
Stars: ✭ 503 (+429.47%)
Mutual labels: program-analysis
Expose
A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
Stars: ✭ 94 (-1.05%)
Mutual labels: program-analysis
Rizin
UNIX-like reverse engineering framework and command-line toolset.
Stars: ✭ 673 (+608.42%)
Mutual labels: program-analysis
Ultimate
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.
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].