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:
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated 2 months ago
- A framework for testing compilers' type checkers☆56Updated last year
- Frama-C plugins for deadlock and data race detection☆14Updated last week
- A framework for testing compilers' type checkers☆18Updated 10 months ago
- Symbolic PathFinder☆157Updated last week
- ☆75Updated 7 years ago
- Mutation-guided mutation-based fuzz testing☆47Updated last year
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆101Updated 11 months ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Updated 7 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆19Updated 5 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Updated 7 years ago
- SymDiff-Differential-Program-Verifier☆37Updated last month
- A symbolic Java virtual machine for program analysis, verification and test generation☆115Updated 2 weeks ago
- Static checker for Java☆89Updated 8 months ago
- Semantic program repair system for C programs☆100Updated 3 years ago
- Java Ranger is a path-merging extension of Symbolic PathFinder☆13Updated 9 months ago
- Official repository for PraPR source code☆14Updated 4 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 5 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆102Updated 4 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆35Updated 4 months ago
- ☆68Updated this week
- Search, check, and autofix your BibTex files!☆26Updated last month
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- An automatic API misuse checker for C programs!☆19Updated 6 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- A dynamic symbolic analysis tool for Java☆120Updated 6 years ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆63Updated this week
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year