Alternatives and similar repositories for software-analysis

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

• trusslab / brf
  ☆17Updated last year
• Vulnerability-Detection / z3-study
  z3 solver 学习
  ☆50Updated 2 years ago
• Artisan-Lab / RULF
  A fully automated Rust fuzz driver generator
  ☆54Updated last week
• HUSTSeclab / KernelTestingPapers
  Papers related with kernel papers
  ☆13Updated 2 years ago
• m4p1e / PLT-notes
  The notes about programming language theory
  ☆26Updated 2 years ago
• enochii / simple-pointer-analysis
  Pointer analysis prototype (currently including anderson, steensgard).
  ☆15Updated 3 years ago
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆52Updated last week
• blocksecteam / BpfChecker
  This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing"…
  ☆14Updated 6 months ago
• soot-oss / TaintAnalysis
  Taint analysis implementation based on Heros and Soot
  ☆45Updated last year
• petablox / cis573vm
  ☆8Updated 5 years ago
• seclab-ucr / LLift
  The source code of project "LLift" (Enhancing static analysis with LLM)
  ☆72Updated last year
• awen-li / PolyCruise
  A Cross-Language Dynamic Information Flow Analysis.
  ☆24Updated 2 years ago
• SpringJasmine / Jasmine
  ☆25Updated 2 years ago
• HaHarden / CPGPractise
  Some test samples for CPG execution logic.
  ☆21Updated last year
• ZJU-SEC / Readings
  ☆61Updated 3 years ago
• silverbullettt / zipper
  Precision-guided context sensitivity for pointer analysis
  ☆61Updated last year
• seclab-fudan / RecurScan
  ☆26Updated last year
• 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…
  ☆82Updated last year
• MetaTrustLabs / GPTScan
  Indexing three datasets for GPTScan
  ☆59Updated last year
• souno-io / 2021-QWB
  2021强网杯赛题备份
  ☆10Updated 4 months ago
• Kiprey / protobuf_ctf_fuzz
  A CTF fuzz powerd by protobuf.
  ☆14Updated 3 years ago
• cokeBeer / LibAFL-Learn
  一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。
  ☆32Updated last year
• seclab-ucr / GPT-Expr
  Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
  ☆34Updated last year
• occia / fuzzdrivergpt
  A GPT-Based Fuzz Driver Generator
  ☆46Updated last year
• L1B0 / RecommendedPostgraduate
  To store some files that I prepared for recommended postgraduate.
  ☆15Updated 5 years ago
• xxg1413 / rust-security
  Rust语言安全相关分析
  ☆23Updated 3 years ago
• Troublor / Nyx
  Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts
  ☆18Updated last year
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆35Updated last week
• salmonx / seeds
  模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)
  ☆23Updated 4 years ago
• c01dkit / sec-papers-collection
  A collection of security papers on top-tier publications
  ☆43Updated this week