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
• OOPSLA-2019-BugDetection / OOPSLA-2019-BugDetection
  ☆45Updated 2 years ago
• mkechagia / Catcher
  Tool for effective and efficient detection of API misuses.
  ☆11Updated 2 years ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆19Updated last year
• chenruibuaa / racebench
  Examples for NASAC 2019 interrupt race detection competition
  ☆9Updated 5 years ago
• stan6 / se-paper
  ☆74Updated 2 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆31Updated 6 months ago
• WOOSEUNGHOON / Centris-public
  ☆54Updated last year
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆45Updated 9 months ago
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆66Updated last year
• kisslune / POCR
  ☆14Updated 9 months ago
• for-just-we / CodeAnalyzer
  tool of llm-based indirect-call analyzer
  ☆18Updated last month
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 2 years ago
• petablox / arbitrar
  User Guided API Misuse Detection
  ☆29Updated 2 years ago
• parasol-aser / deepsim
  Deep learning code semantic similarity
  ☆62Updated 5 years ago
• IBM / D2A
  This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX
  ☆69Updated 2 years ago
• PPPI / Flexeme
  This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…
  ☆11Updated last year
• RiS3-Lab / FICS
  ☆49Updated 4 years ago
• fengjixuchui / BugDetectionPaper
  Recent Paper About Bug Detection
  ☆31Updated 5 years ago
• ise-uiuc / DeepREL
  Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)
  ☆35Updated last year
• TruX-DTF / PatchParser
  A tool of collecting patch-related commits and parsing patches.
  ☆13Updated 6 years ago
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆56Updated 4 months ago
• UniCodeSphere / Creal
  ☆32Updated 5 months ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆18Updated 4 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆63Updated 3 years ago
• chengpeng-wang / LLMDFA
  LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)
  ☆105Updated last month
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆75Updated this week
• lkpsg / ccscanner
  A C/C++ dependency scanner
  ☆38Updated last year
• HuantWang / CONCOCTION
  CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…
  ☆25Updated 7 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…
  ☆29Updated last month