Write your own analysis in SVF - SVF-tools/SVF GitHub Wiki

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.