This repository provides the lab sessions for the course "Software Analysis, Testing and Verification (软件分析与验证前沿)" at East China Normal University.
We welcome any comments or contributions. Feel free to create issues and pull requests.
| Labs | Lab Title |
|---|---|
| lab1 | Introduction to Software Analysis |
| lab2 | The LLVM Framework |
| lab3 | Random Testing / Fuzzing |
| lab4 | Delta Debugging |
| lab5 | Dataflow Analysis |
| lab6 | Pointer Analysis |
| lab7 | Dynamic Symbolic Execution |
Acknowledgement: The lab sessions are currently developed based on the cis547 course, and we are further designing and refining the materials based on our ideas.
We thanks TAs and students who have contributed to this course design:
明孟立，王祺昌，方润渲，梁锡贤，沈佳伟