Alternatives and similar repositories for IMChecker:

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

• stg-tud / MUBench
  ☆56Updated last year
• mkechagia / Catcher
  Tool for effective and efficient detection of API misuses.
  ☆11Updated 2 years ago
• TruX-DTF / PatchParser
  A tool of collecting patch-related commits and parsing patches.
  ☆13Updated 6 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
• IBM / D2A
  This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX
  ☆66Updated 2 years ago
• sola-st / SemSeed
  ☆25Updated 3 years ago
• april1989 / Incremental_Points_to_Analysis
  This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA
  ☆24Updated 2 years ago
• stg-tud / MUDetect
  ☆25Updated 4 years ago
• OOPSLA-2019-BugDetection / OOPSLA-2019-BugDetection
  ☆45Updated 2 years ago
• parasol-aser / deepsim
  Deep learning code semantic similarity
  ☆60Updated 5 years ago
• backes / javaslicer
  JavaSlicer is an open-source dynamic slicing tool developed at Saarland University
  ☆42Updated 4 years ago
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆65Updated last year
• uw-pluverse / pluverse-latex-style-guide
  ☆23Updated this week
• stan6 / se-paper
  ☆74Updated 2 years ago
• Ultimanecat / DefectRepairing
  A tool for identifying patch correctness in test-based program repair
  ☆18Updated 5 years ago
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 2 years ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆18Updated last year
• bears-bugs / bears-benchmark
  An Extensible Java Bug Benchmark for Automatic Program Repair Studies
  ☆34Updated last year
• bugs-dot-jar / bugs-dot-jar
  Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair
  ☆54Updated 7 years ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆69Updated 3 months ago
• lkpsg / ccscanner
  A C/C++ dependency scanner
  ☆38Updated last year
• program-repair / RepairThemAll_experiment
  ☆14Updated last year
• fengjixuchui / BugDetectionPaper
  Recent Paper About Bug Detection
  ☆30Updated 5 years ago
• for-just-we / CppCodeAnalyzer
  A tool based on python to parse C/C++ code into code property graph
  ☆14Updated 2 years ago
• YoshikiHigo / TinyPDG
  A library for building intraprocedural PDGs for Java programs
  ☆33Updated last year
• petablox / arbitrar
  User Guided API Misuse Detection
  ☆28Updated 2 years ago
• ghaffarian / progex
  PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code
  ☆85Updated 3 years ago
• clonebench / BigCloneBench
  ☆112Updated 2 years ago
• resess / Slicer4J
  Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.
  ☆42Updated last year
• chenruibuaa / racebench
  Examples for NASAC 2019 interrupt race detection competition
  ☆9Updated 5 years ago