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
  ☆47Updated 2 years ago
• canliture / nju-software-analysis-homework
  南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference
  ☆285Updated 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)
  ☆62Updated 11 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台
  ☆202Updated 2 years ago
• Enna1 / LLVM-Study-Notes
  Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0
  ☆145Updated last year
• UofT-EcoSystem / CSCD70
  CSCD70 Compiler Optimization
  ☆250Updated last year
• JacyCui / static-analysis
  静态分析基础教程
  ☆156Updated last month
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆31Updated this week
• pascal-lab / Tai-e-assignments
  Tai-e assignments for static program analysis
  ☆1,139Updated 2 years ago
• QilinPTA / Qilin
  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
  ☆128Updated 2 weeks ago
• CGCL-codes / MavenEcoSysResearch
  ☆44Updated last year
• lxy417 / software-analysis
  南京大学软件分析作业
  ☆11Updated 2 years ago
• silverbullettt / zipper
  Precision-guided context sensitivity for pointer analysis
  ☆60Updated last year
• ise-uiuc / TitanFuzz
  ☆79Updated last year
• SVF-tools / Teaching-Software-Analysis
  Teaching and Learning Software Analysis via SVF
  ☆197Updated this week
• SVF-tools / SVF-Teaching
  Learning and Teaching Software Analysis and Verification via SVF
  ☆22Updated 9 months ago
• sslab-keio / FiTx
  Bug detection framework for finding Finger tracable bugs in Linux
  ☆18Updated 8 months ago
• JacyCui / cpp-static-analyzer
  A Simple CPP Static Analysis Framework
  ☆20Updated last year
• imdea-software / LLVM_Instrumentation_Pass
  ☆24Updated 8 years ago
• vul337 / StateFuzz
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆92Updated last year
• xiongyingfei / xiongyingfei.github.io
  ☆76Updated this week
• RangerNJU / Software-Testing-Intro
  Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…
  ☆28Updated 4 years ago
• PL-Ninja / MySootScript
  oh my soot !
  ☆88Updated 2 years ago
• ChinaNuke / llvm-pass
  国科大编译作业二：LLVM Pass处理函数调用
  ☆18Updated 3 years ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆24Updated last month
• m4p1e / PLT-notes
  The notes about programming language theory
  ☆23Updated last year
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆72Updated 2 years 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