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
  带你畅游《软件分析》
  ☆276Updated 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 2 years ago
• seclab-ucr / LLift
  The source code of project "LLift" (Enhancing static analysis with LLM)
  ☆70Updated last year
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆34Updated 3 weeks ago
• CGCL-codes / MavenEcoSysResearch
  ☆44Updated last year
• JacyCui / static-analysis
  静态分析基础教程
  ☆167Updated this week
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆207Updated 2 months ago
• silverbullettt / zipper
  Precision-guided context sensitivity for pointer analysis
  ☆60Updated last year
• ise-uiuc / TitanFuzz
  ☆82Updated last year
• UofT-EcoSystem / CSCD70
  CSCD70 Compiler Optimization
  ☆253Updated 2 years ago
• QilinPTA / Qilin
  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
  ☆134Updated last month
• Enna1 / LLVM-Study-Notes
  Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0
  ☆145Updated last year
• sslab-keio / FiTx
  Bug detection framework for finding Finger tracable bugs in Linux
  ☆20Updated last month
• for-just-we / CodeAnalyzer
  tool of llm-based indirect-call analyzer
  ☆21Updated 2 months ago
• JacyCui / cpp-static-analyzer
  A Simple CPP Static Analysis Framework
  ☆21Updated last year
• pascal-lab / Tai-e-assignments
  Tai-e assignments for static program analysis
  ☆1,151Updated 2 years ago
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆57Updated 5 months ago
• ChinaNuke / llvm-pass
  国科大编译作业二：LLVM Pass处理函数调用
  ☆18Updated 3 years ago
• SVF-tools / SVF-Teaching
  Learning and Teaching Software Analysis and Verification via SVF
  ☆23Updated last year
• wcventure / PERIOD
  [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling
  ☆31Updated 2 years ago
• SVF-tools / Teaching-Software-Analysis
  Teaching and Learning Software Analysis via SVF
  ☆203Updated 2 months ago
• kangwei-zhong / Big4PaperList
  A curated list of Security Big4 papers for Privacy, Mobile Security and Access Control.
  ☆13Updated 7 months ago
• xiongyingfei / xiongyingfei.github.io
  ☆76Updated 3 weeks ago
• PL-Ninja / MySootScript
  oh my soot !
  ☆91Updated 2 years ago
• m4p1e / PLT-notes
  The notes about programming language theory
  ☆24Updated 2 years ago
• cokeBeer / LibAFL-Learn
  一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。
  ☆30Updated last year
• timmyyuan / build-whole-program-into-LLVM-IR
  some notes for how to build projects into a single LLVM bitcode file.
  ☆18Updated 6 years ago
• SVF-tools / Software-Security-Analysis
  Software Security Analysis Course
  ☆61Updated this week
• vul337 / StateFuzz
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆93Updated last year