Alternatives and similar repositories for joernti-codetidal5

Users that are interested in joernti-codetidal5 are comparing it to the libraries listed below

• microsoft / codamosa
  ☆153Updated 7 months ago
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆39Updated last year
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆61Updated last month
• nus-apr / CrashRepair
  Security Vulnerability Repair via Concolic Execution and Code Mutations
  ☆19Updated last year
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆38Updated 2 months ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆50Updated last year
• 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…
  ☆48Updated 2 years ago
• IBM / tree-sitter-codeviews
  Extract and combine multiple source code views using tree-sitter
  ☆153Updated 4 months 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
• joernio / flatgraph
  ☆28Updated 2 months ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆19Updated 4 years ago
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 3 years ago
• pcyin / dire
  Neural Variable Renaming for Decompiled Binaries
  ☆44Updated 5 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆117Updated 3 months 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
• 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
• hub-se / BeDivFuzz
  ☆17Updated 6 months ago
• seclab-ucr / GPT-Expr
  Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
  ☆36Updated 2 years ago
• Learner0x5a / kTrans-release
  Official code for kTrans: Knowledge-Aware Transformer for Binary Code Embedding
  ☆29Updated 2 years ago
• Fraunhofer-AISEC / cpg
  A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.
  ☆401Updated this week
• shramos / pyc-cfg
  Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
  ☆56Updated 7 years ago
• SecurityLab-UCD / LLAMAFUZZ
  [AST'26] LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing
  ☆23Updated last year
• utopia-group / TypeT5
  Seq2seq Type Inference using Static Analysis and CodeT5
  ☆32Updated 2 years ago
• ise-uiuc / KNighter
  [SOSP'25] Automatic checker synthesis for system-level static analysis
  ☆157Updated 2 months ago
• srcML / srcSlice
  Lightweight tool for slicing
  ☆35Updated this week
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆81Updated 6 months ago
• rabbitjy / FuzzTuning
  ☆25Updated 2 years ago
• pythonJaRvis / pythonJaRvis.github.io
  ☆17Updated last year
• ShiftLeftSecurity / overflowdb
  ShiftLeft OverflowDB
  ☆132Updated 7 months ago
• cedricrupb / code_diff
  Fast AST based code differencing in Python
  ☆38Updated last year