MagpieBridge / InferIDELinks
IDE Integration of Facebook Infer
☆15Updated 2 years ago
Alternatives and similar repositories for InferIDE
Users that are interested in InferIDE are comparing it to the libraries listed below
Sorting:
- A framework for testing compilers' type checkers☆55Updated last year
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated 3 months ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 4 years ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated last month
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- A framework for testing compilers' type checkers☆17Updated 9 months ago
- A graph-based refactoring-aware three-way merging tool for Java programs.☆24Updated 4 years ago
- Dynamic detection of likely invariants☆229Updated 2 weeks ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆63Updated last week
- Main distribution of Petablox☆35Updated 7 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆115Updated 3 weeks ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆71Updated 9 months ago
- Frama-C plugins for deadlock and data race detection☆14Updated 2 months ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Updated 6 years ago
- Mutation-guided mutation-based fuzz testing☆47Updated last year
- Static checker for Java☆87Updated 7 months ago
- A unification-based alias analysis and related tools☆34Updated 10 months ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 5 years ago
- Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.☆41Updated last year
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆169Updated last week
- Semantic program repair system for C programs☆100Updated 2 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- ☆27Updated this week
- Symbolic PathFinder☆156Updated this week
- SymDiff-Differential-Program-Verifier☆37Updated last week
- Parallel Delta Debugging Framework☆53Updated 8 months ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆101Updated 10 months ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆47Updated 3 years ago
- Hierarchical Delta Debugging Framework☆59Updated 8 months ago
- An automatic API misuse checker for C programs!☆19Updated 6 years ago