Alternatives and similar repositories for joernti-codetidal5:

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

• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆31Updated 8 months ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆38Updated 11 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…
  ☆38Updated last year
• secure-software-engineering / secucheck
  Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…
  ☆17Updated last month
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆44Updated 7 months ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• ppashakhanloo / CodeTrek
  A powerful relational representation of source code
  ☆31Updated last year
• wala / ML
  ☆26Updated last week
• seclab-ucr / GPT-Expr
  Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
  ☆31Updated last year
• joernio / flatgraph
  ☆14Updated last month
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆18Updated 4 years ago
• KnowSciEng / doop
  Doop - Framework for Java Pointer and Taint Analysis
  ☆17Updated 6 years ago
• opalj / opal
  ☆54Updated last week
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆108Updated last month
• qingkaishi / context-sensitive-reachability
  Indexing reachability for context-sensitive data flow analysis.
  ☆11Updated 2 years ago
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆32Updated last week
• hub-se / BeDivFuzz
  ☆15Updated 2 weeks ago
• petablox / arbitrar
  User Guided API Misuse Detection
  ☆28Updated 2 years ago
• vasumv / bonsai-fuzzing
  ☆27Updated last year
• SecurityLab-UCD / LLAMAFUZZ
  Fine-tuning a LLM for generating the structured data
  ☆16Updated 3 months ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques
  ☆10Updated 4 years ago
• chengpeng-wang / LLMDFA
  LLMDFA: Analyzing Dataflow in Code with Large Language Models
  ☆86Updated 4 months ago
• joernio / cpgqls-client-python
  Python library for CPGQL server
  ☆26Updated 9 months ago
• prosyslab / tracer
  Signature-based Static Analysis for Detecting Recurring Vulnerabilities
  ☆46Updated 5 months ago
• plume-oss / plume
  Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…
  ☆73Updated 4 months ago
• microsoft / codamosa
  ☆128Updated 3 months ago
• sola-st / SemSeed
  ☆25Updated 3 years ago
• QilinPTA / Qilin
  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
  ☆128Updated 3 weeks ago
• huzecong / ghcc
  GitHub Cloner & Compiler
  ☆67Updated 3 years ago