-
Notifications
You must be signed in to change notification settings - Fork 437
Write your own analysis in SVF
unsw-corg edited this page Jul 20, 2015
·
7 revisions
You are free to write a pointer analysis or any client applications based on SVF
-
Example 1: Write a flow- and field- insensitive inclusion based pointer analysis in 100 lines of code
-
Example 2: Write a simple source-sink analyzer based on SVFG