microsoft / codamosa
☆129Updated 3 months ago
Alternatives and similar repositories for codamosa:
Users that are interested in codamosa are comparing it to the libraries listed below
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆69Updated 3 months ago
- ☆79Updated last year
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆54Updated 3 months ago
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆108Updated 2 years ago
- ☆74Updated 2 years ago
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆77Updated 2 weeks ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- A Micro-benchmarking Framework for Python Type Inference Tools☆32Updated last week
- BugsInPy: Benchmarking Bugs in Python Projects☆91Updated 8 months ago
- 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 this week
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆76Updated 2 years ago
- A Reproducible Benchmark of Recent Java Bugs☆33Updated 2 weeks ago
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆22Updated last year
- Mutation-guided mutation-based fuzz testing☆44Updated 8 months ago
- ☠️ Ground-truth dataset for vulnerability prediction (known research datasets and data sources included such as NVD, CVE Details and OSV)…☆88Updated last year
- ☆103Updated 7 months ago
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆60Updated last year
- AutoPruner: Transformer-based Call Graph Pruning (ESEC/FSE 2022, Research Track)☆22Updated last year
- ☆25Updated 3 years ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆30Updated last year
- MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset☆62Updated 2 months ago
- This repository provides the code and guidance for reproducing the results in our ESEC/FSE 2023 submission "Pre-training Code Representat…☆25Updated last year
- VulRepair: A T5-Based Automated Software Vulnerability Repair☆73Updated this week
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆34Updated 2 years ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆95Updated last week
- ☆56Updated last year
- ☆32Updated last week
- Fuzzing Deep Learning Libraries Via Mining Security Knowledge from Open Source☆14Updated 9 months ago
- Program Vulnerability Repair via Inductive Inference☆18Updated last year
- ☆15Updated last month