Skip to content
Pointer Analysis and Program Dependence Analysis for C and C++ Programs
Branch: master
Clone or download
yuleisui Merge pull request #121 from mbarbar/ind-call-option
Stop indirect call resolution when limit is hit
Latest commit 2064936 Feb 11, 2019
Type Name Latest commit message Commit time
Failed to load latest commit information.
images add callgraph.png for wiki Oct 22, 2018
lib Merge pull request #121 from mbarbar/ind-call-option Feb 12, 2019
stylesheets Create gh-pages branch via GitHub Jun 5, 2015
LICENSE.TXT Initial commit from local repo Jul 21, 2015
index.html update index.html Oct 27, 2018
params.json Update params.json Jul 21, 2015


SVF is a static tool that enables scalable and precise interprocedural dependence analysis for C and C++ programs. SVF allows value-flow construction and pointer analysis to be performed iteratively, thereby providing increasingly improved precision for both.

SVF accepts the points-to information generated by any pointer analysis (e.g., Andersen’s analysis) and constructs an interprocedural memory SSA form so that the def-use chains of both top-level and address-taken variables are captured. SVF is implemented on top of an industry-strength compiler LLVM (version 6.0.0). SVF contains a third party software package CUDD-2.5.0 (Binary Decision Diagrams (BDDs)), which is used to encode path conditions.

About SVF Setup Guide User Guide Developer Guide
About Setup User Developer
Introducing SVF -- what it does and how we design it A step by step setup guide to build SVF Command-line options to run SVF, get analysis outputs, and test SVF with an example or PTABen Detailed technical documentation and how to write your own analyses in SVF or use SVF as a lib for your tool

We release SVF source code in the hope of benefiting others. You are kindly asked to acknowledge usage of the tool by citing some of our publications listed, especially the following two:

Yulei Sui and Jingling Xue. SVF: Interprocedural Static Value-Flow Analysis in LLVM Compiler Construction (CC '16)

Yulei Sui, Ding Ye, and Jingling Xue. Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis , IEEE Transactions on Software Engineering (TSE'14)

You can’t perform that action at this time.