Contributor of Teaching-Software-Analysis an online open courses for learning software analysis via SVF.

Goal of this subject

Lead students to develop software analysis tool in 12 weeks.

More concretely:

Develop an automated static analysis checker using C++ to analyze tainted information flow of a C program.