canliture / nju-software-analysis-homework
南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference
☆283Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for nju-software-analysis-homework
- 带你畅游《软件分析》☆274Updated 2 years ago
- 静态分析基础教程☆147Updated last week
- oh my soot !☆87Updated 2 years ago
- Precision-guided context sensitivity for pointer analysis☆57Updated last year
- 静态分析笔记 Static-Analysis-Notes 程序分析笔记 资源分享☆171Updated last year
- Tai-e assignments for static program analysis☆11Updated 2 years ago
- Tai-e assignments for static program analysis☆31Updated 2 years ago
- My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html☆45Updated 2 years ago
- A declarative static analysis tool for jvm bytecode based Datalog like CodeQL☆327Updated 10 months ago
- Tai-e assignments for static program analysis☆1,109Updated last year
- Taint analysis implementation based on Heros and Soot☆41Updated 6 months ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆123Updated 3 months ago
- Corax for Java: A general static analysis framework for java code checking.☆233Updated last month
- ☆43Updated last year
- 每日论文推荐☆292Updated 3 years ago
- A step-by-step tutorial for Soot (a Java static analysis framework)☆430Updated last year
- Some test samples for CPG execution logic.☆18Updated 7 months ago
- ☆75Updated last week
- There are some papers about fuzzing. I record them by Xmind. Welcome to contact to me.☆268Updated 5 years ago
- Getting started with static program analysis. 静态程序分析入门教程。☆1,655Updated 8 months ago
- 静态分析及代码审计自动化相关资料收集☆284Updated 2 years ago
- ☆20Updated 2 years ago
- Curated list of classic fuzzing books, papers about fuzzing at information security top conferences over the years, commonly used fuzzing…☆308Updated last month
- ☆36Updated last year
- 记录自己在看 afl 源码时候的一些笔记和想法，还有一些自己觉得有意思的魔改。2020年12月2日update：添加混合模糊测试目录☆105Updated 3 years ago
- Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis☆73Updated 8 months ago
- An easy-to-learn/use static analysis framework for Java☆1,459Updated last month
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…☆28Updated 3 years ago
- ☆317Updated 2 years ago
- Chinese translation of the SEED Labs☆47Updated last month