Alternatives and similar repositories for cooddy

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

• QilinPTA / Qilin
  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
  ☆145Updated last month
• plast-lab / doop
  The official repo of Doop, the declarative pointer analysis framework.
  ☆200Updated 5 months ago
• silverbullettt / zipper
  Precision-guided context sensitivity for pointer analysis
  ☆61Updated 2 years ago
• chengpeng-wang / LLMDFA
  LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)
  ☆154Updated last week
• iris-sast / cwe-bench-java
  A manually vetted dataset for security vulnerability detection in Java projects
  ☆78Updated 2 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…
  ☆75Updated last year
• seclab-ucr / LLift
  The source code of project "LLift" (Enhancing static analysis with LLM)
  ☆78Updated last year
• CodeShield-Security / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆66Updated 10 months ago
• wcventure / PERIOD
  [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling
  ☆33Updated 3 years ago
• seclab-ucr / GPT-Expr
  Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
  ☆36Updated 2 years ago
• occia / fuzzdrivergpt
  A GPT-Based Fuzz Driver Generator
  ☆48Updated last year
• iris-sast / iris
  A neurosymbolic framework for vulnerability detection in code
  ☆251Updated last week
• AppThreat / joern-lib
  Python library for code analysis with CPG and Joern
  ☆22Updated 2 years ago
• CISPA-SysSec / atropos-legacy
  Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities
  ☆72Updated 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…
  ☆18Updated 9 months ago
• HexHive / Crystallizer
  A hybrid analysis framework to aid in uncovering deserialization vulnerabilities
  ☆15Updated last year
• xiongyingfei / xiongyingfei.github.io
  ☆79Updated this week
• security-pride / CKGFuzzer
  CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph
  ☆117Updated 8 months 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.
  ☆382Updated this week
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆48Updated last year
• shao-hua-li / AFLplusplus-PGE
  ☆23Updated 3 years ago
• WayneDevMaze / Chinese_noted_AFL
  记录自己在看 afl 源码时候的一些笔记和想法，还有一些自己觉得有意思的魔改。2020年12月2日update：添加混合模糊测试目录
  ☆110Updated 4 years ago
• neu-se / CONFETTI
  ☆22Updated 3 years ago
• yuleisui / groupmeeting
  Software Analysis and Verification Group
  ☆14Updated 2 weeks ago
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆84Updated last month
• HexHive / FishFuzz
  AFL/AFL++ version FishFuzz
  ☆92Updated 7 months ago
• Yunlongs / Goshawk
  Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…
  ☆101Updated last year
• PurCL / LLMSCAN
  Parsing-based Analyzer
  ☆52Updated 4 months ago
• secure-software-engineering / PointerBench
  A points-to and alias analysis benchmark suite
  ☆41Updated 7 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆147Updated 9 months ago