Skip to content

Write your own analysis in SVF

Jump to bottom Edit New page
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-insensitive field-insensitive inclusion based pointer analysis in 100 lines of code

  • Example 2: Write a simple source-sink analysis based on SVFG

Add a custom footer
Add a custom sidebar
Clone this wiki locally