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☆54Updated 11 months ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆72Updated 7 months ago
- ☆26Updated this week
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆100Updated 9 months ago
- Dynamic detection of likely invariants☆228Updated 3 weeks ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Updated 7 years ago
- Dynamic Analysis for Concurrent Programs☆26Updated 9 months ago
- An automatic API misuse checker for C programs!☆19Updated 6 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 weeks ago
- Mutation-guided mutation-based fuzz testing☆46Updated last year
- A symbolic Java virtual machine for program analysis, verification and test generation☆112Updated last week
- Semantic program repair system for C programs☆100Updated 2 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated 2 months ago
- Official repository for PraPR source code☆14Updated 4 years ago
- Lightweight tool for slicing☆35Updated this week
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆47Updated 3 years ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated last month
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆168Updated last week
- A unification-based alias analysis and related tools☆34Updated 9 months ago
- This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.☆29Updated 3 years ago
- Static checker for Java☆86Updated 6 months ago
- ☆142Updated last month
- A framework for testing compilers' type checkers☆17Updated 8 months ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆31Updated 2 years ago
- Dynamic analysis framework for Python☆75Updated last week
- An empirical study on patch correctness☆15Updated 2 years ago
- A dynamic symbolic analysis tool for Java☆120Updated 6 years ago
- Search, check, and autofix your BibTex files!☆25Updated last year