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
  带你畅游《软件分析》
  ☆277Updated 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)
  ☆68Updated last year
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆34Updated this week
• pascal-lab / Tai-e-assignments
  Tai-e assignments for static program analysis
  ☆1,146Updated 2 years ago
• lxy417 / software-analysis
  南京大学软件分析作业
  ☆12Updated 2 years ago
• JacyCui / static-analysis
  静态分析基础教程
  ☆163Updated 3 months ago
• Enna1 / LLVM-Study-Notes
  Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0
  ☆145Updated last year
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆205Updated last month
• QilinPTA / Qilin
  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
  ☆133Updated 2 weeks ago
• silverbullettt / zipper
  Precision-guided context sensitivity for pointer analysis
  ☆60Updated last year
• CGCL-codes / MavenEcoSysResearch
  ☆43Updated last year
• UofT-EcoSystem / CSCD70
  CSCD70 Compiler Optimization
  ☆252Updated 2 years ago
• SVF-tools / SVF-Teaching
  Learning and Teaching Software Analysis and Verification via SVF
  ☆23Updated 11 months ago
• for-just-we / CodeAnalyzer
  tool of llm-based indirect-call analyzer
  ☆18Updated 2 months ago
• chengpeng-wang / LLMDFA
  LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)
  ☆105Updated last month
• urlyy / llvm-new-pass-tutor
  a guide to writing LLVM Pass for beginners
  ☆16Updated 7 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
• m4p1e / PLT-notes
  The notes about programming language theory
  ☆24Updated last year
• JacyCui / cpp-static-analyzer
  A Simple CPP Static Analysis Framework
  ☆21Updated last year
• kangwei-zhong / Big4PaperList
  A curated list of Security Big4 papers for Privacy, Mobile Security and Access Control.
  ☆13Updated 6 months ago
• Lancern / llvm-anderson
  Anderson points-to analysis implementation based on LLVM
  ☆12Updated 4 years ago
• xiongyingfei / xiongyingfei.github.io
  ☆76Updated last week
• ise-uiuc / TitanFuzz
  ☆80Updated last year
• SVF-tools / Teaching-Software-Analysis
  Teaching and Learning Software Analysis via SVF
  ☆203Updated last month
• vul337 / StateFuzz
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆93Updated last year
• cokeBeer / LibAFL-Learn
  一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。
  ☆30Updated last year
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆74Updated 2 years ago
• SVF-tools / Software-Security-Analysis
  Software Security Analysis Course
  ☆58Updated last month