m-zakeri / CodART
Source Code Automated Refactoring Toolkit
☆36Updated this week
Related projects ⓘ
Alternatives and complementary repositories for CodART
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆36Updated last year
- Create CFGs and compute complexity metrics for Python, C++, and Java code.☆41Updated 6 months ago
- Official implementation of AsmDepictor, "A Transformer-based Function Symbol Name Inference Model from an Assembly Language for Binary Re…☆18Updated 6 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆36Updated 8 months ago
- ACER is an AST-based Callgraph Generator Development Framework☆28Updated 4 months ago
- ☆24Updated last year
- Replication code for the paper "On using distributed representations of source code for the detection of C security vulnerabilities"☆9Updated 2 years ago
- Neural Variable Renaming for Decompiled Binaries☆44Updated 4 years ago
- Doop - Framework for Java Pointer and Taint Analysis☆17Updated 5 years ago
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆70Updated 3 weeks ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆19Updated 7 months ago
- ☆118Updated 5 months ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆16Updated 7 months ago
- ☆25Updated last year
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- Binary Code Summarization: Benchmarking ChatGPT/GPT-4 and Other Large Language Models☆17Updated 10 months ago
- Sydr benchmark applications☆15Updated 2 years ago
- Binary Code Similarity Analysis (BCSA) Tool☆114Updated 2 years ago
- 🪐 A Database of Existing Security Vulnerabilities Patches to Enable Evaluation of Techniques (single-commit; multi-language)☆36Updated last year
- code and data for paper "Automatic Generation and Summarization of Shellcode via Transformer and Dual Learning", which accepted in SANER …☆12Updated 2 years ago
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆14Updated last year
- ☆88Updated 2 weeks ago
- ☆24Updated last year
- ☆19Updated 2 years ago
- ☆25Updated this week
- GitHub Cloner & Compiler☆58Updated 3 years ago
- ☆16Updated last month
- ☆54Updated 11 months ago
- Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware☆10Updated 8 months ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆27Updated last year