VSFS

Jump to bottom Edit New page

Mohamad Barbar edited this page May 25, 2021 · 7 revisions

Versioned Staged Flow-Sensitive Points-To Analysis

NOTE: this implementation is unstable and not production ready yet.

Usage

To use VSFS, use the -vfspta option. SVFG optimisation is currently unsupported so it must be disabled.

$ wpa -vfspta -opt-svfg=false program.bc

Implementation improvements

Supporting SVFG optimisation would improve performance. Planned for the (hopefully near) future.
Propagation between versions can probably be ~~vastly~~ slightly improved.
A tailor-made data structure for the versioning phase would likely improve that phase's performance.