joernio / joernti-codetidal5
An integration of JoernTI's CodeTIDAL5 neural type inference model.
☆19Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for joernti-codetidal5
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆37Updated last year
- A powerful relational representation of source code☆29Updated last year
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆65Updated 2 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆43Updated this week
- ☆16Updated last month
- ☆11Updated 2 weeks ago
- VulRepair: A T5-Based Automated Software Vulnerability Repair☆68Updated last year
- ☆13Updated this week
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated 8 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆31Updated this week
- Official code for kTrans: Knowledge-Aware Transformer for Binary Code Embedding☆22Updated 11 months ago
- SecLLMHolmes is a generalized, fully automated, and scalable framework to systematically evaluate the performance (i.e., accuracy and rea…☆39Updated 2 weeks ago
- AutoPruner: Transformer-based Call Graph Pruning (ESEC/FSE 2022, Research Track)☆21Updated 11 months ago
- An empirical study on patch correctness☆15Updated 2 years ago
- Statement-level deep learning model for automated software vulnerability detection in C/C++ (Accepted in MSR 2022)☆69Updated 2 years ago
- This repository provides the code and guidance for reproducing the results in our ESEC/FSE 2023 submission "Pre-training Code Representat…☆23Updated 10 months ago
- Mutation-guided mutation-based fuzz testing☆41Updated 4 months ago
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆41Updated last year
- Code for the paper - Source Code Vulnerability Detection: Combining Code Language Models and Code Property Graph☆42Updated 7 months ago
- Binary Code Summarization: Benchmarking ChatGPT/GPT-4 and Other Large Language Models☆17Updated 11 months ago
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆57Updated 9 months ago
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆102Updated 2 years ago
- ☆120Updated this week
- Code and dataset for paper C4: Contrastive Cross-Language Code Clone Detection☆25Updated 2 years ago
- Extract and combine multiple source code views using tree-sitter☆110Updated 5 months ago
- ☠️ Ground-truth dataset for vulnerability prediction (known research datasets and data sources included such as NVD, CVE Details and OSV)…☆83Updated last year
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆66Updated this week
- Recent Paper About Bug Detection☆30Updated 5 years ago
- ☆25Updated 3 years ago
- code and data for paper "Automatic Generation and Summarization of Shellcode via Transformer and Dual Learning", which accepted in SANER …☆12Updated 2 years ago