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
• stan6 / se-paper
  ☆74Updated 2 years ago
• OOPSLA-2019-BugDetection / OOPSLA-2019-BugDetection
  ☆45Updated 2 years ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆18Updated last year
• parasol-aser / deepsim
  Deep learning code semantic similarity
  ☆62Updated 5 years ago
• TruX-DTF / PatchParser
  A tool of collecting patch-related commits and parsing patches.
  ☆13Updated 6 years ago
• electricalwind / data7
  A vulnerability patch gathering tool
  ☆41Updated 6 years ago
• 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
• fengjixuchui / BugDetectionPaper
  Recent Paper About Bug Detection
  ☆30Updated 5 years ago
• clonebench / BigCloneBench
  ☆112Updated 2 years ago
• backes / javaslicer
  JavaSlicer is an open-source dynamic slicing tool developed at Saarland University
  ☆42Updated 4 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 4 months ago
• CGCL-codes / PathEval
  This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…
  ☆28Updated last week
• 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
• uw-pluverse / pluverse-latex-style-guide
  ☆23Updated last week
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆65Updated last year
• wala / WALA-start
  Basic Gradle configuration and example drivers to get started with WALA
  ☆29Updated 3 months ago
• lkpsg / ccscanner
  A C/C++ dependency scanner
  ☆38Updated last year
• petablox / arbitrar
  User Guided API Misuse Detection
  ☆28Updated 2 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆31Updated 5 months ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆44Updated 8 months ago
• program-repair / RepairThemAll_experiment
  ☆14Updated last year
• bugs-dot-jar / bugs-dot-jar
  Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair
  ☆55Updated 7 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆63Updated 3 years ago
• RiS3-Lab / FICS
  ☆50Updated 4 years ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆18Updated 4 years ago
• ASSERT-KTH / RewardRepair
  Neural Program Repair with Execution-based Backpropagation http://arxiv.org/pdf/2105.04123
  ☆23Updated 2 years ago
• VulDeeLocator / VulDeeLocator
  ☆95Updated 4 months ago
• jeffsvajlenko / BigCloneEval
  BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench
  ☆74Updated last year