m-zakeri / CodARTLinks
Source Code Automated Refactoring Toolkit
☆37Updated last month
Alternatives and similar repositories for CodART
Users that are interested in CodART are comparing it to the libraries listed below
Sorting:
- ACER is an AST-based Callgraph Generator Development Framework☆37Updated last year
- Create CFGs and compute complexity metrics for Python, C++, and Java code.☆42Updated last year
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆26Updated 7 months ago
- Debugging library to quickly get the minimal crashing test case☆37Updated 7 years ago
- CoREBench: Errors in Find, Grep, Make☆13Updated 9 years ago
- A python interface to joern (deprecated).☆34Updated 6 years ago
- CodeBERT based mutation testing tool.☆13Updated 5 months ago
- Fast AST based code differencing in Python☆34Updated 7 months ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- Analyse package dependency networks at the call graph level☆95Updated last year
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆18Updated 11 months ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 7 months ago
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆54Updated 7 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆43Updated last year
- code and data for paper "Automatic Generation and Summarization of Shellcode via Transformer and Dual Learning", which accepted in SANER …☆13Updated 3 years ago
- ☆143Updated 3 months ago
- ☆25Updated 2 years ago
- Neural Variable Renaming for Decompiled Binaries☆44Updated 5 years ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆51Updated 3 months ago
- PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code☆85Updated 4 years ago
- DBGBench Website:☆19Updated 4 years ago
- Dynamic analysis framework for Python☆76Updated 2 months ago
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆38Updated last year
- Symbolic Program Slicing with LLVM☆82Updated 5 years ago
- Source code understanding via Machine Learning techniques☆137Updated 2 years ago
- srcML Toolkit☆142Updated this week
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆89Updated 7 months ago
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆37Updated 2 years ago
- Control-Flow, Dominator Tree, and dot output from Python bytecode☆66Updated 9 months ago