Alternatives and similar repositories for IMChecker

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

• stg-tud / MUBench
  ☆59Updated last year
• WOOSEUNGHOON / Centris-public
  ☆60Updated last year
• Tricker-z / TPLite
  ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?
  ☆29Updated 2 years ago
• lkpsg / ccscanner
  A C/C++ dependency scanner
  ☆39Updated 2 years ago
• jeffsvajlenko / BigCloneEval
  BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench
  ☆81Updated last year
• clonebench / BigCloneBench
  ☆122Updated 3 years ago
• sola-st / SemSeed
  ☆24Updated 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
• OOPSLA-2019-BugDetection / OOPSLA-2019-BugDetection
  ☆45Updated 3 years ago
• petablox / arbitrar
  User Guided API Misuse Detection
  ☆30Updated 2 years ago
• IBM / D2A
  This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX
  ☆75Updated 3 years ago
• kisslune / POCR
  ☆16Updated last year
• TruX-DTF / PatchParser
  A tool of collecting patch-related commits and parsing patches.
  ☆13Updated 6 years ago
• for-just-we / CodeAnalyzer
  tool of llm-based indirect-call analyzer
  ☆32Updated 9 months ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆20Updated last year
• aprime-lab / se-paper
  ☆74Updated 2 years ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆48Updated last year
• RiS3-Lab / FICS
  ☆49Updated 4 years 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…
  ☆33Updated 8 months ago
• stg-tud / MUDetect
  ☆25Updated 5 years ago
• parasol-aser / deepsim
  Deep learning code semantic similarity
  ☆65Updated 6 years ago
• formalsec / graphjs
  MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabil…
  ☆21Updated last month
• baolingfeng / V-SZZ
  This is the replication package of V-SZZ, which has been accepted by ICSE2022
  ☆15Updated 4 months ago
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆69Updated last month
• ise-uiuc / TitanFuzz
  ☆89Updated 2 years ago
• VulDeeLocator / VulDeeLocator
  ☆102Updated last year
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆161Updated 2 months ago
• uw-pluverse / pluverse-latex-style-guide
  ☆26Updated 2 weeks ago
• fengjixuchui / BugDetectionPaper
  Recent Paper About Bug Detection
  ☆31Updated 6 years ago
• wala / ML
  ☆28Updated last week