Alternatives and similar repositories for Tai-e-assignments-tips

Users that are interested in Tai-e-assignments-tips are comparing it to the libraries listed below

• RicoloveFeng / SPA-Freestyle-Guidance
  带你畅游《软件分析》
  ☆278Updated 2 years ago
• bluesadi / Tai-e-solutions
  My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html
  ☆51Updated 2 years ago
• MirageLyu / Tai-e-assignments
  Tai-e assignments for static program analysis
  ☆12Updated 3 years ago
• seclab-ucr / LLift
  The source code of project "LLift" (Enhancing static analysis with LLM)
  ☆72Updated last year
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆35Updated last week
• silverbullettt / zipper
  Precision-guided context sensitivity for pointer analysis
  ☆61Updated last year
• UofT-EcoSystem / CSCD70
  CSCD70 Compiler Optimization
  ☆256Updated 2 years ago
• JacyCui / static-analysis
  静态分析基础教程
  ☆168Updated 2 weeks ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆210Updated 3 months ago
• imdea-software / LLVM_Instrumentation_Pass
  ☆25Updated 8 years ago
• pascal-lab / Tai-e-assignments
  Tai-e assignments for static program analysis
  ☆1,155Updated 2 years ago
• CGCL-codes / MavenEcoSysResearch
  ☆45Updated last year
• cokeBeer / LibAFL-Learn
  一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。
  ☆32Updated last year
• SVF-tools / SVF-Teaching
  Learning and Teaching Software Analysis and Verification via SVF
  ☆24Updated last year
• lxy417 / software-analysis
  南京大学软件分析作业
  ☆13Updated 2 years ago
• sslab-keio / FiTx
  Bug detection framework for finding Finger tracable bugs in Linux
  ☆21Updated 3 months ago
• timmyyuan / build-whole-program-into-LLVM-IR
  some notes for how to build projects into a single LLVM bitcode file.
  ☆18Updated 6 years ago
• vul337 / StateFuzz
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆94Updated last year
• kangwei-zhong / Big4PaperList
  A curated list of Security Big4 papers for Privacy, Mobile Security and Access Control.
  ☆13Updated 8 months ago
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆61Updated 7 months ago
• QilinPTA / Qilin
  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
  ☆135Updated 2 months ago
• ZJU-Automated-Reasoning-Group / lotus
  Program analysis and verification framework
  ☆23Updated 2 weeks ago
• Lancern / llvm-anderson
  Anderson points-to analysis implementation based on LLVM
  ☆12Updated 4 years ago
• ise-uiuc / KernelGPT
  KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)
  ☆118Updated 2 weeks ago
• Kiprey / WebServer
  C++ 编写，支持多并发操作的简易网页服务程序 WebServer for Linux.
  ☆14Updated 6 months ago
• houjingyi233 / awesome-fuzz
  ☆112Updated last year
• ChinaNuke / llvm-pass
  国科大编译作业二：LLVM Pass处理函数调用
  ☆18Updated 3 years ago
• ise-uiuc / TitanFuzz
  ☆85Updated last year
• chengpeng-wang / LLMDFA
  LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)
  ☆125Updated 2 weeks ago
• ZHYfeng / Generate_Linux_Kernel_Bitcode
  ☆36Updated this week