Alternatives and similar repositories for CodART

Users that are interested in CodART are comparing it to the libraries listed below

• joernio / joernti-codetidal5
  An integration of JoernTI's CodeTIDAL5 neural type inference model.
  ☆28Updated 11 months ago
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆39Updated last year
• hmc-alpaqa / metrinome
  Create CFGs and compute complexity metrics for Python, C++, and Java code.
  ☆43Updated last year
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆38Updated 7 years ago
• nus-apr / CrashRepair
  Security Vulnerability Repair via Concolic Execution and Code Mutations
  ☆18Updated last year
• NTDXYG / DualSC
  code and data for paper "Automatic Generation and Summarization of Shellcode via Transformer and Dual Learning", which accepted in SANER …
  ☆13Updated 3 years ago
• fabsx00 / python-joern
  A python interface to joern (deprecated).
  ☆34Updated 7 years ago
• SunLab-GMU / PatchDB
  The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…
  ☆47Updated 2 years ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆50Updated last year
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆19Updated 4 years ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆75Updated last year
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 10 years ago
• eth-sri / learning-real-bug-detector
  ☆16Updated last year
• SWAT-project / SWAT
  SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
  ☆37Updated 8 months ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques
  ☆10Updated 5 years ago
• twelveand0 / CarrotsBlender
  holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…
  ☆20Updated 5 years ago
• Samsung / afl_cc
  Fuzzing with controlled compilation
  ☆31Updated 2 years ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆60Updated last month
• vandaltool / vandalir
  ☆25Updated 3 years ago
• cedricrupb / code_diff
  Fast AST based code differencing in Python
  ☆38Updated 11 months ago
• microsoft / codamosa
  ☆153Updated 7 months ago
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 4 years ago
• secure-software-engineering / sootdiff
  SootDiff - Bytecode Comparison Across Different Java Compilers
  ☆18Updated last year
• mahaloz / pyjoern
  ☆15Updated 5 months ago
• ShiftLeftSecurity / js2cpg
  ☆18Updated last month
• acheshkov / program-graphs
  A python library to build graphs for programs written in different programming languages.
  ☆13Updated 3 years ago
• m-zakeri / iust_deep_fuzz
  Advanced file format fuzzer based-on deep neural language models.
  ☆41Updated 2 years ago
• Ahmedfir / mBERTa
  CodeBERT based mutation testing tool.
  ☆13Updated last month
• michaelbrownuc / llap
  LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…
  ☆16Updated 2 years ago
• secure-software-engineering / COVA
  COVA - A static analysis tool to compute path conditions
  ☆39Updated 5 months ago