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.
  ☆24Updated 3 months ago
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆33Updated 10 months ago
• fabsx00 / python-joern
  A python interface to joern (deprecated).
  ☆34Updated 6 years ago
• pythonJaRvis / pythonJaRvis.github.io
  ☆13Updated 10 months ago
• m-zakeri / iust_deep_fuzz
  Advanced file format fuzzer based-on deep neural language models.
  ☆41Updated 2 years ago
• 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
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆37Updated 6 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 9 years ago
• dcoimbra / dx2021
  Replication code for the paper "On using distributed representations of source code for the detection of C security vulnerabilities"
  ☆9Updated 2 years ago
• eth-sri / learning-real-bug-detector
  ☆16Updated 7 months ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 4 months ago
• BanditFuzz / BanditFuzz_Public
  Public BanditFuzz Repo
  ☆12Updated 4 years ago
• cedricrupb / code_diff
  Fast AST based code differencing in Python
  ☆34Updated 3 months 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…
  ☆40Updated last year
• uds-se / AFLplusplus
  AFL++ with support for FormatFuzzer
  ☆13Updated 3 years ago
• patchloc / VulnLoc
  ☆12Updated 3 years ago
• 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…
  ☆14Updated last year
• rdegiovanni / mBERT
  mBERT is a mutation testing tool that uses a pre-trained language model (CodeBERT) to generate mutants.
  ☆14Updated 3 months ago
• martintrojer / symbolic-execution
  Applied Symbolic Execution with KLEE/LLVM
  ☆24Updated 11 years ago
• MingWEN-CS / CapGen
  ☆14Updated 4 years ago
• ChrisCN97 / zecoler
  Source code for EMSE 2023 paper "Zero-Shot Code Representation Learning via Prompt Tuning"
  ☆12Updated 2 years ago
• binsec / icse2021-artifact992
  ☆10Updated 4 years ago
• wala / ML
  ☆26Updated this week
• code-desc / CoDesc
  A large dataset of 4.2m Java source code and parallel data of their description from code search, and code summarization studies.
  ☆15Updated 3 years ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆39Updated last year
• sosy-lab / tbf
  A framework for using test case generators to locate errors in C programs
  ☆9Updated 6 years ago
• TQRG / secbench
  🪐 A Database of Existing Security Vulnerabilities Patches to Enable Evaluation of Techniques (single-commit; multi-language)
  ☆38Updated 3 weeks ago
• hmc-alpaqa / metrinome
  Create CFGs and compute complexity metrics for Python, C++, and Java code.
  ☆42Updated last year
• vandaltool / vandalir
  ☆24Updated 2 years ago
• joernio / cpgqls-client-python
  Python library for CPGQL server
  ☆29Updated 11 months ago