MagpieBridge / InferIDE
IDE Integration of Facebook Infer
☆14Updated 2 years ago
Alternatives and similar repositories for InferIDE:
Users that are interested in InferIDE are comparing it to the libraries listed below
- Semantic program repair system for C programs☆97Updated 2 years ago
- Frama-C plugins for deadlock and data race detection☆11Updated 3 weeks ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated 3 months ago
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated last month
- 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
- A unification-based alias analysis and related tools☆31Updated 3 months ago
- Static checker for Java☆84Updated this week
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 months ago
- A framework for testing compilers' type checkers☆52Updated 5 months ago
- ☆71Updated 7 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆99Updated 4 years ago
- A framework for testing compilers' type checkers☆17Updated 2 months ago
- ☆21Updated last year
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- Dynamic Analysis for Concurrent Programs☆22Updated 3 months ago
- SymDiff-Differential-Program-Verifier☆33Updated 2 weeks ago
- Finding and Understanding Bugs in Software Model Checkers☆8Updated 5 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆45Updated 3 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆108Updated this week
- An automatic API misuse checker for C programs!☆19Updated 5 years ago
- A powerful relational representation of source code☆30Updated last year
- A higher order mutation testing tool☆58Updated 4 years ago
- ☆26Updated this week
- Tool for mutation testing of C programs☆20Updated 4 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆77Updated 4 months ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated last year
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆89Updated 7 months ago
- A graph-based refactoring-aware three-way merging tool for Java programs.☆22Updated 3 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Updated 6 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago