sosy-lab / llvm-j
Java bindings for LLVM libraries
☆8Updated 3 years ago
Alternatives and similar repositories for llvm-j:
Users that are interested in llvm-j are comparing it to the libraries listed below
- A tool to help adapting code bases to NullAway type system.☆13Updated this week
- KeY Theorem Prover for Deductive Java Verification☆49Updated this week
- A regular expression to SMT-LIB constraint translator☆10Updated 6 years ago
- ☆26Updated this week
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆51Updated last month
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆14Updated 2 months ago
- Static checker for Java☆84Updated this week
- Library for symbolic automata and symbolic visibly pushdown automata☆65Updated last year
- A constraint solver abstraction layer for Java☆21Updated last year
- SMTInterpol interpolating SMT solver☆61Updated 6 months ago
- Efficient Mutation Testing for Java☆38Updated 2 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆94Updated this week
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 3 months ago
- ☆71Updated 7 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆108Updated 2 months ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- Mutation analysis tool for Coq verification projects☆30Updated 4 years ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated 3 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆65Updated this week
- Dynamic Analysis for Concurrent Programs☆22Updated 3 months ago
- a concolic testing engine for Java☆102Updated 6 years ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆29Updated 2 weeks ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆95Updated 2 months ago
- Pluggable type-checking for Java☆20Updated this week
- Polyglot Extensible Compiler Framework for Java☆109Updated 3 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆32Updated last year
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated last month
- Static Analyzer and Verifier☆46Updated 3 months ago
- A dynamic symbolic analysis tool for Java☆116Updated 5 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated last week