MagpieBridge / InferIDELinks
IDE Integration of Facebook Infer
☆15Updated 3 years ago
Alternatives and similar repositories for InferIDE
Users that are interested in InferIDE are comparing it to the libraries listed below
Sorting:
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated 4 months ago
- A framework for testing compilers' type checkers☆60Updated last year
- Static checker for Java☆88Updated 10 months ago
- Symbolic PathFinder☆161Updated 2 months ago
- An automatic API misuse checker for C programs!☆19Updated 6 years ago
- Search, check, and autofix your BibTex files!☆26Updated 3 months ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- A symbolic Java virtual machine for program analysis, verification and test generation☆118Updated last month
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆64Updated last week
- A dynamic symbolic analysis tool for Java☆123Updated 6 years ago
- ☆75Updated 8 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Updated 2 weeks ago
- Mutation-guided mutation-based fuzz testing☆48Updated last year
- Dynamic Analysis for Concurrent Programs☆27Updated last year
- ☆38Updated last year
- A framework for testing compilers' type checkers☆19Updated last year
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 5 years ago
- ☆73Updated last week
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 5 years ago
- KLEEF Symbolic Execution Engine☆20Updated 3 months ago
- ☆28Updated this week
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆101Updated last year
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆173Updated last week
- Tool for algorithmic complexity analysis based on symbolic execution☆10Updated 7 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆19Updated 5 years ago
- Practical Program Repair via Bytecode Mutation☆65Updated 3 years ago
- Semantic program repair system for C programs☆101Updated 3 years ago
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- A unification-based alias analysis and related tools☆35Updated last year
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆48Updated 4 years ago