Alternatives and similar repositories for IMChecker:

Users that are interested in IMChecker are comparing it to the libraries listed below

• stg-tud / MUBench
  ☆55Updated last year
• OOPSLA-2019-BugDetection / OOPSLA-2019-BugDetection
  ☆45Updated 2 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆31Updated 4 months ago
• mkechagia / Catcher
  Tool for effective and efficient detection of API misuses.
  ☆11Updated 2 years ago
• Ultimanecat / DefectRepairing
  A tool for identifying patch correctness in test-based program repair
  ☆18Updated 4 years ago
• clonebench / BigCloneBench
  ☆111Updated 2 years ago
• TruX-DTF / PatchParser
  A tool of collecting patch-related commits and parsing patches.
  ☆13Updated 6 years ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆18Updated last year
• kisslune / POCR
  ☆14Updated 7 months ago
• lkpsg / ccscanner
  A C/C++ dependency scanner
  ☆38Updated last year
• program-repair / RepairThemAll_experiment
  ☆14Updated last year
• bears-bugs / bears-benchmark
  An Extensible Java Bug Benchmark for Automatic Program Repair Studies
  ☆33Updated 11 months ago
• bugs-dot-jar / bugs-dot-jar
  Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair
  ☆53Updated 7 years ago
• stg-tud / MUDetect
  ☆25Updated 4 years ago
• ForeverZyh / DEBAR
  This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…
  ☆26Updated 4 years ago
• Spirals-Team / defects4j-repair
  Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
  ☆35Updated 3 years ago
• chenruibuaa / racebench
  Examples for NASAC 2019 interrupt race detection competition
  ☆9Updated 5 years ago
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 2 years ago
• sola-st / SemSeed
  ☆25Updated 3 years ago
• program-repair / defects4j-dissection
  Defects4J Dissection presents data to help researchers and practitioners to better understand the Defects4J bug dataset
  ☆61Updated last year
• uw-pluverse / pluverse-latex-style-guide
  ☆23Updated 3 weeks ago
• IBM / D2A
  This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX
  ☆64Updated 2 years ago
• fengjixuchui / BugDetectionPaper
  Recent Paper About Bug Detection
  ☆30Updated 5 years ago
• jeffsvajlenko / BigCloneEval
  BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench
  ☆73Updated last year
• eth-sri / learch
  ☆40Updated last year
• backes / javaslicer
  JavaSlicer is an open-source dynamic slicing tool developed at Saarland University
  ☆43Updated 4 years ago
• UniCodeSphere / Creal
  ☆28Updated 3 months ago
• wala / ML
  ☆26Updated last week
• kusumotolab / NIL
  Clone detector using N-gram, Inverted index, and LCS
  ☆17Updated last month
• TruX-DTF / TBar
  Template-based Automated Program Repair
  ☆43Updated last year