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
  ☆135Updated 3 months ago
• plast-lab / doop
  The official repo of Doop, the declarative pointer analysis framework.
  ☆180Updated last month
• CISPA-SysSec / atropos-legacy
  Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities
  ☆70Updated 11 months ago
• silverbullettt / zipper
  Precision-guided context sensitivity for pointer analysis
  ☆61Updated 2 years ago
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆35Updated last month
• seclab-ucr / GPT-Expr
  Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
  ☆34Updated last year
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆144Updated 5 months ago
• seclab-ucr / LLift
  The source code of project "LLift" (Enhancing static analysis with LLM)
  ☆72Updated last year
• iris-sast / iris
  A neurosymbolic framework for vulnerability detection in code
  ☆166Updated this week
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆52Updated last month
• chengpeng-wang / LLMDFA
  LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)
  ☆130Updated last month
• Microsvuln / Awesome-Grammar-Fuzzing
  A curated list of Grammar based fuzzing research papers, codes, tutorials
  ☆123Updated 3 years ago
• xiongyingfei / xiongyingfei.github.io
  ☆76Updated 2 weeks 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.
  ☆349Updated this week
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆46Updated last year
• 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…
  ☆74Updated 9 months ago
• awen-li / PCA
  A data dependence analyzer for C program
  ☆21Updated 3 years ago
• occia / fuzzdrivergpt
  A GPT-Based Fuzz Driver Generator
  ☆46Updated last year
• HexHive / Crystallizer
  A hybrid analysis framework to aid in uncovering deserialization vulnerabilities
  ☆14Updated 9 months ago
• kisslune / POCR
  ☆14Updated last year
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆80Updated last month
• FuzzAnything / PromptFuzz
  PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' promp…
  ☆279Updated last month
• prosyslab / tracer
  Signature-based Static Analysis for Detecting Recurring Vulnerabilities
  ☆47Updated 9 months ago
• iris-sast / cwe-bench-java
  A manually vetted dataset for security vulnerability detection in Java projects
  ☆66Updated this week
• PurCL / LLMSCAN
  ☆40Updated last month
• yuleisui / groupmeeting
  Software Analysis and Verification Group
  ☆14Updated 2 weeks ago
• SVF-tools / Software-Security-Analysis
  Static Analysis Course
  ☆73Updated this week
• sefcom / Witcher
  Witcher is the first framework for using AFL to fuzz web applications.
  ☆91Updated last year
• qingkaishi / context-sensitive-reachability
  Indexing reachability for context-sensitive data flow analysis.
  ☆12Updated 3 years ago
• HexHive / FishFuzz
  AFL/AFL++ version FishFuzz
  ☆92Updated 4 months ago