About

What is SVF?

A tool that enables scalable and precise interprocedural static program dependence analysis for C programs. SVF allows value-flow construction and pointer analysis to be performed in an iterative way, thereby providing an effective solution for both. SVF accepts points-to information generated by any pointer analysis (e.g., Andersen’s analysis) to bootstrap an interprocedural memory SSA so that def-use chains of both top-level and address-taken variables can be captured. SVF is implemented on top of an industry-strength compiler LLVM (version 3.5.0).