sosy-lab / llvm-j
Java bindings for LLVM libraries
☆8Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for llvm-j
- KeY Theorem Prover for Deductive Java Verification☆48Updated this week
- A regular expression to SMT-LIB constraint translator☆10Updated 5 years ago
- TurnKey artifact for Z3☆34Updated this week
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆49Updated this week
- Static checker for Java☆84Updated 11 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- SMTInterpol interpolating SMT solver☆60Updated 4 months ago
- Static Analyzer and Verifier☆45Updated 3 weeks ago
- ☆25Updated 3 months ago
- A tool to help adapting code bases to NullAway type system.☆13Updated this week
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- JavaSMT - Unified Java API for SMT solvers.☆186Updated this week
- A symbolic Java virtual machine for program analysis, verification and test generation☆104Updated last month
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- A constraint solver abstraction layer for Java☆20Updated last year
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆14Updated this week
- ☆71Updated 6 years ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated last month
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆26Updated 2 years ago
- A dynamic symbolic analysis tool for Java☆113Updated 5 years ago
- ☆19Updated 2 years ago
- a concolic testing engine for Java☆102Updated 6 years ago
- Pluggable type-checking for Java☆19Updated this week
- Semantic program repair system for C programs☆97Updated 2 years ago
- Dynamic Analysis for Concurrent Programs☆22Updated last month
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated 11 months ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆93Updated 2 months ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆72Updated 2 weeks ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago