Write your own analysis in SVF

Jump to bottom Edit New page

Yulei Sui edited this page Mar 28, 2020 · 7 revisions

You can easily write a pointer analysis or a client application on top of SVF:

Example 1: Write a simple driver program of SVF to query points-to and program dependence in around 100 lines of code.
Example 2: Write a flow- and field-insensitive inclusion-based pointer analysis in around 100 lines of code.
Example 3: Write a simple source-sink analyzer based on SVFG.