sealuzh / msr18-docker-datasetLinks
Structured Information on State and Evolution of Dockerfiles - Online Appendix
☆10Updated 7 years ago
Alternatives and similar repositories for msr18-docker-dataset
Users that are interested in msr18-docker-dataset are comparing it to the libraries listed below
Sorting:
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆27Updated 6 years ago
- Artifact for the OOPSLA 17 DejaVu Paper☆10Updated 8 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Updated last year
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 11 months ago
- ☆15Updated 6 years ago
- CoREBench: Errors in Find, Grep, Make☆13Updated 10 years ago
- A list of academic papers related to Docker containers & Docker Hub☆26Updated last month
- cppminer produces a code2seq compatible datasets from C++ code bases.☆22Updated 5 years ago
- Source code understanding via Machine Learning techniques☆138Updated 3 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 5 years ago
- ☆26Updated 4 years ago
- An empirical study on patch correctness☆15Updated 3 years ago
- A vulnerability patch gathering tool☆44Updated 6 years ago
- ☆15Updated 2 years ago
- DBGBench Website:☆19Updated 4 years ago
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- Test and benchmark repository for Z3.☆28Updated this week
- Map2Check: Finding Software Vulnerabilities☆30Updated 5 years ago
- Semantic program repair system for C programs☆101Updated 3 years ago
- The Cloud9 main repository☆53Updated 12 years ago
- Lightweight tool for slicing☆35Updated last week
- Tool for analyzing git log messages and diffs.☆22Updated 4 years ago
- Neural Code Comprehension: A Learnable Representation of Code Semantics☆213Updated last year
- GenProg: heuristic, GP-based automatic program repair for C.☆99Updated 4 years ago
- Static Analyzer and Verifier☆51Updated last year
- Static data flow-based analysis of JavaScript files to detect syntactic clones☆23Updated 5 years ago
- Software vulnerabilities data set☆24Updated 5 years ago
- System Dependence Graph generation from Java source code☆19Updated 6 years ago
- ☆20Updated 6 years ago
- This projects mines maven central and creates a global dependency graph☆32Updated 3 years ago