RangerNJU / Software-Testing-Intro
Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质量保障感兴趣的小伙伴们撰写的入门小册子。
☆27Updated 3 years ago
Related projects: ⓘ
- ☆74Updated last week
- The notes about programming language theory☆22Updated last year
- Precision-guided context sensitivity for pointer analysis☆58Updated last year
- CFG explorer for binaries☆32Updated 7 months ago
- ☆26Updated this week
- ☆10Updated 2 years ago
- 带你畅游《软件分析》☆267Updated 2 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 4 years ago
- llvm tutorial,study in action☆17Updated 4 years ago
- z3 solver 学习☆44Updated last year
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆118Updated last month
- ☆23Updated 7 years ago
- Software Analysis and Verification Group☆13Updated this week
- 程序分析大作业：使用 SOOT 框架，实现 Java 上的静态指针分析☆37Updated 6 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台☆193Updated 2 years ago
- A Pointer Analysis Framework for Rust☆39Updated 3 weeks ago
- LLVM pass☆21Updated 4 years ago
- Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0☆135Updated 8 months ago
- AST interpreter with clang 5.0.0 and llvm 5.0.0☆14Updated 4 years ago
- 🔍 To record the papers I have read.☆24Updated 3 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated last year
- 南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference☆281Updated last year
- The source code of project "LLift" (Enhancing static analysis with LLM)☆47Updated 6 months ago
- learn javassist by example☆31Updated 2 years ago
- Concurrency Paper☆89Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆69Updated 2 years ago
- https://github.com/wcventure/FuzzingPaper☆10Updated 2 years ago
- Taint analysis implementation based on Heros and Soot☆39Updated 4 months ago
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models☆55Updated this week
- A CallGraph Generation LLVM Pass for C and C++ program☆18Updated 2 years ago