sealuzh / msr18-docker-dataset

Related projects ⓘ

Alternatives and complementary repositories for msr18-docker-dataset

• yangzhangs / docker_related_papers
  A list of academic papers related to Docker containers & Docker Hub
  ☆24Updated 5 months ago
• squaresLab / footpatch
  ☆15Updated 5 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆92Updated 3 years ago
• isstac / badger
  ☆20Updated 5 years ago
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 2 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• sola-st / SemSeed
  ☆25Updated 3 years ago
• program-repair / RepairThemAll_experiment
  ☆14Updated last year
• assuremoss / lastpymile
  A reimplementation of LastPyMile: A Python-based library to Identify the differences between build artifacts of PyPI packages and the res…
  ☆15Updated 2 years ago
• electricalwind / data7
  A vulnerability patch gathering tool
  ☆40Updated 5 years ago
• src-d / code2vec
  MLonCode community effort to implement Learning Distributed Representations of Code (https://arxiv.org/pdf/1803.09473.pdf)
  ☆40Updated 6 years ago
• stg-tud / MUBench
  ☆55Updated 11 months ago
• hub-se / BeDivFuzz
  ☆13Updated this week
• srcML / srcSlice
  Lightweight tool for slicing
  ☆34Updated this week
• codeflaws / codeflaws
  This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)
  ☆39Updated 4 years ago
• keowang / dynamic-program-embedding
  the code for three models introduced in DYNAMIC NEURAL PROGRAM EMBEDDINGS FOR PROGRAM REPAIR (ICLR 18)
  ☆32Updated 6 years ago
• casperboone / dltpy
   🐍 Deep Learning Type Inference of Python Function Signatures using their Natural Language Context
  ☆15Updated 6 months ago
• AUEB-BALab / VulinOSS
  Software vulnerabilities data set
  ☆24Updated 4 years ago
• wala / ML
  ☆25Updated this week
• qixin5 / DiffTGen
  ☆9Updated 4 years ago
• jeffsvajlenko / BigCloneEval
  BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench
  ☆73Updated 11 months ago
• STAR-RG / shipwright
  ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
  ☆22Updated 3 years ago
• jjhenkel / code-vectors-artifact
  Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
  ☆22Updated 4 years ago
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 3 years ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆45Updated 3 years ago
• TruX-DTF / AVATAR
  AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations
  ☆25Updated 3 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆14Updated 8 years ago
• secure-software-engineering / boomerang
  Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.
  ☆23Updated 4 years ago
• sola-da / StaticBugCheckers
  StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding t…
  ☆11Updated 6 years ago