microsoft / codamosa
☆131Updated 4 months ago
Alternatives and similar repositories for codamosa:
Users that are interested in codamosa are comparing it to the libraries listed below
- ☆80Updated last year
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆69Updated 4 months ago
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆109Updated 2 years ago
- BugsInPy: Benchmarking Bugs in Python Projects☆93Updated 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…☆29Updated 2 weeks ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆77Updated last month
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆54Updated 4 months ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆100Updated 2 weeks ago
- A Reproducible Benchmark of Recent Java Bugs☆34Updated this week
- ☆118Updated 3 months ago
- MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset☆64Updated 2 months ago
- VulRepair: A T5-Based Automated Software Vulnerability Repair☆74Updated last week
- Mutation-guided mutation-based fuzz testing☆44Updated 8 months ago
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆61Updated last year
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆76Updated 2 years ago
- VulTrigger is a tool to for identifying vulnerability-triggering statements across functions and investigating the effectiveness of funct…☆32Updated last year
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated last year
- Fuzzing Deep Learning Libraries Via Mining Security Knowledge from Open Source☆14Updated 10 months ago
- TeCo: an ML+Execution model for test completion☆31Updated 9 months ago
- Large Language Models for Software Engineering☆213Updated this week
- Seq2seq Type Inference using Static Analysis and CodeT5☆30Updated last year
- ☆103Updated 8 months ago
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆66Updated 2 years ago
- ☆25Updated 3 years ago
- Extract and combine multiple source code views using tree-sitter☆126Updated 3 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
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆44Updated last year
- ☆74Updated 2 years ago
- Resources for our ICSE'24 poster: Prompt-Enhanced Software Vulnerability Detection Using ChatGPT.☆23Updated 10 months ago