Alternatives and similar repositories for software-analysis-datafrog

Users that are interested in software-analysis-datafrog are comparing it to the libraries listed below

• enochii / simple-pointer-analysis
  Pointer analysis prototype (currently including anderson, steensgard).
  ☆16Updated 3 years ago
• Vulnerability-Detection / z3-study
  z3 solver 学习
  ☆53Updated 2 years ago
• Artisan-Lab / RULF
  A fully automated Rust fuzz driver generator
  ☆60Updated 5 months ago
• trusslab / brf
  ☆21Updated last year
• OS3Lab / KernelTestingPapers
  Papers related with kernel papers
  ☆13Updated 2 years ago
• blocksecteam / BpfChecker
  This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing"…
  ☆16Updated last year
• cokeBeer / LibAFL-Learn
  一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。
  ☆36Updated 2 years ago
• Troublor / Nyx
  Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts
  ☆20Updated last year
• Messi-Q / IR-Fuzz
  Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).
  ☆50Updated 2 years ago
• xxg1413 / rust-security
  Rust语言安全相关分析
  ☆23Updated 3 years ago
• awen-li / PolyCruise
  A Cross-Language Dynamic Information Flow Analysis.
  ☆26Updated 3 years ago
• IoTS-P / SEmu-Fuzz
  Source code of SEmu-Fuzz
  ☆22Updated last year
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆36Updated last month
• 0xricksanchez / hantu
  An educational toy fuzzer with big dreams
  ☆12Updated 2 years ago
• ZJU-SEC / Readings
  ☆61Updated 3 years ago
• RicoloveFeng / SPA-Freestyle-Guidance
  带你畅游《软件分析》
  ☆277Updated 3 years ago
• ExVul-Sec / AuditReport
  ☆24Updated 3 weeks ago
• CISPA-SysSec / atropos-legacy
  Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities
  ☆73Updated last year
• CISPA-SysSec / wasmfuzz
  WebAssembly as a Fuzzing Compilation Target @ FUZZING'24
  ☆17Updated 3 weeks ago
• software-engineering-and-security / Gleipner
  A benchmark for Java gadget chain detecting algorithms.
  ☆14Updated 5 months ago
• Artisan-Lab / Rust-memory-safety-bugs
  ☆36Updated 3 years ago
• vahldiek / erim
  ☆15Updated 2 years ago
• c01dkit / sec-papers-collection
  A collection of security papers on top-tier publications
  ☆59Updated this week
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 3 years ago
• lizhuohua / rust-mir-checker
  ☆162Updated last year
• PKU-ASAL / PKUWA
  ☆13Updated 3 months ago
• lizhuohua / rust-ffi-checker
  ☆62Updated 2 years ago
• seclab-ucr / GPT-Expr
  Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
  ☆36Updated 2 years ago
• xxg1413 / rust-ctf
  rust ctf writeups(Rust CTF解题报告)
  ☆51Updated 3 years ago
• ZhouZhiping045 / FidelityGPT
  ☆16Updated 3 months ago