lengyijun / software-analysis

Related projects ⓘ

Alternatives and complementary repositories for software-analysis

• Vulnerability-Detection / z3-study
  z3 solver 学习
  ☆45Updated last year
• m4p1e / PLT-notes
  The notes about programming language theory
  ☆23Updated last year
• enochii / simple-pointer-analysis
  Implement pointer analysis prototype(currently including anderson, steensgard)~
  ☆15Updated 2 years ago
• trusslab / brf
  ☆15Updated 6 months ago
• cokeBeer / LibAFL-Learn
  一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。
  ☆26Updated last year
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆42Updated last month
• silverbullettt / zipper
  Precision-guided context sensitivity for pointer analysis
  ☆57Updated last year
• petablox / cis573vm
  ☆7Updated 5 years ago
• ZJU-SEC / Readings
  ☆58Updated 2 years ago
• xxg1413 / rust-security
  Rust语言安全相关分析
  ☆23Updated 2 years ago
• awen-li / PolyCruise
  A Cross-Language Dynamic Information Flow Analysis.
  ☆24Updated last year
• HUSTSeclab / KernelTestingPapers
  Papers related with kernel papers
  ☆13Updated last year
• canliture / nju-software-analysis-homework
  南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference
  ☆283Updated 2 years ago
• soot-oss / TaintAnalysis
  Taint analysis implementation based on Heros and Soot
  ☆41Updated 6 months ago
• Artisan-Lab / RULF
  A fully automated Rust fuzz driver generator
  ☆50Updated last month
• silverbullettt / scaler
  Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
  ☆11Updated last year
• seclab-fudan / RecurScan
  ☆22Updated 9 months ago
• evilpan / audit.vim
  Code audit (code review) with VIM.
  ☆14Updated 2 weeks ago
• CISPA-SysSec / atropos-legacy
  Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities
  ☆54Updated 3 months ago
• seclab-ucr / GPT-Expr
  Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
  ☆29Updated last year
• Troublor / Nyx
  Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts
  ☆15Updated 6 months ago
• elManto / SAST_on_Decompilers
  Code and artifacts related to the Asia CCS 2022 paper
  ☆35Updated 3 years 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…
  ☆79Updated 11 months ago
• xxg1413 / rust-ctf
  rust ctf writeups(Rust CTF解题报告)
  ☆46Updated 2 years ago
• HexHive / Tango
  Tango: Extracting Higher-Order Feedback through State Inference
  ☆13Updated 3 months ago
• RicoloveFeng / SPA-Freestyle-Guidance
  带你畅游《软件分析》
  ☆274Updated 2 years ago
• NUS-Curiosity / KernJC
  KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities (Best Practical Paper Award of RAID 2024)
  ☆37Updated last month
• cuhk-seclab / TChecker
  ☆36Updated last year
• MetaTrustLabs / GPTScan
  Indexing three datasets for GPTScan
  ☆52Updated 5 months ago