Alternatives and similar repositories for software-analysis

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

• enochii / simple-pointer-analysis
  Pointer analysis prototype (currently including anderson, steensgard).
  ☆15Updated 3 years ago
• Vulnerability-Detection / z3-study
  z3 solver 学习
  ☆51Updated 2 years ago
• Artisan-Lab / RULF
  A fully automated Rust fuzz driver generator
  ☆56Updated last month
• trusslab / brf
  ☆18Updated last year
• blocksecteam / BpfChecker
  This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing"…
  ☆14Updated 7 months ago
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆52Updated last month
• Troublor / Nyx
  Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts
  ☆18Updated last year
• HUSTSeclab / KernelTestingPapers
  Papers related with kernel papers
  ☆13Updated 2 years ago
• RicoloveFeng / SPA-Freestyle-Guidance
  带你畅游《软件分析》
  ☆278Updated 2 years ago
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆35Updated last month
• Messi-Q / IR-Fuzz
  Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).
  ☆49Updated 2 years ago
• Artisan-Lab / Rust-memory-safety-bugs
  ☆31Updated 3 years ago
• cokeBeer / LibAFL-Learn
  一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。
  ☆34Updated last year
• petablox / cis573vm
  ☆8Updated 5 years ago
• MetaTrustLabs / GPTScan
  Indexing three datasets for GPTScan
  ☆60Updated last year
• lizhuohua / rust-mir-checker
  ☆152Updated last year
• PKU-ASAL / PKUWA
  ☆13Updated last week
• ZJU-SEC / Readings
  ☆61Updated 3 years ago
• xiongyingfei / xiongyingfei.github.io
  ☆76Updated 2 weeks ago
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆64Updated last year
• cla7aye15I4nd / PatchAgent
  [USENIX Security 25] PatchAgent is a LLM-based practical program repair agent that mimics human expertise.
  ☆78Updated 2 weeks ago
• xxg1413 / rust-ctf
  rust ctf writeups(Rust CTF解题报告)
  ☆50Updated 3 years ago
• silverbullettt / zipper
  Precision-guided context sensitivity for pointer analysis
  ☆61Updated 2 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆110Updated 2 years ago
• CISPA-SysSec / atropos-legacy
  Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities
  ☆70Updated 11 months ago
• FuzzAnything / Hopper
  Hopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.
  ☆256Updated 3 weeks ago
• securesystemslab / PKRU-Safe
  ☆20Updated 3 years ago
• lizhuohua / rust-ffi-checker
  ☆55Updated 2 years ago
• m4p1e / PLT-notes
  The notes about programming language theory
  ☆26Updated 2 years ago
• new-tee-os / new-tee-os
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆15Updated 3 years ago