joernio / joernti-codetidal5
An integration of JoernTI's CodeTIDAL5 neural type inference model.
☆18Updated 5 months ago
Related projects: ⓘ
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆33Updated 6 months ago
- ☆16Updated last year
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆36Updated 11 months ago
- Mutation-guided mutation-based fuzz testing☆41Updated 2 months ago
- ☆111Updated 3 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆26Updated this week
- Official repo for "CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking"☆11Updated last month
- DBGBench Website:☆17Updated 3 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆39Updated last week
- Official code for kTrans: Knowledge-Aware Transformer for Binary Code Embedding☆20Updated 9 months ago
- ☆12Updated last month
- Extract and combine multiple source code views using tree-sitter☆102Updated 2 months ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆27Updated last year
- 🪐 A Database of Existing Security Vulnerabilities Patches to Enable Evaluation of Techniques (single-commit; multi-language)☆33Updated last year
- This repository provides the code and guidance for reproducing the results in our ESEC/FSE 2023 submission "Pre-training Code Representat…☆20Updated 7 months ago
- ☆24Updated last year
- ACER is an AST-based Callgraph Generator Development Framework☆26Updated 3 months ago
- ☆25Updated last month
- ☆25Updated 3 years ago
- Binary Code Summarization: Benchmarking ChatGPT/GPT-4 and Other Large Language Models☆14Updated 9 months ago
- An empirical study on patch correctness☆15Updated last year
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆11Updated 4 months ago
- ☆14Updated 4 months ago
- A powerful relational representation of source code☆27Updated last year
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆27Updated last year
- Fuzzing Deep Learning Libraries Via Mining Security Knowledge from Open Source☆11Updated 4 months 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
- Program Vulnerability Repair via Inductive Inference☆18Updated 8 months ago
- VulRepair: A T5-Based Automated Software Vulnerability Repair☆65Updated last year
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆65Updated last week