VSFS

Jump to bottom Edit New page

Mohamad Barbar edited this page Mar 23, 2021 · 7 revisions

Versioned Staged Flow-Sensitive Points-To Analysis

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 improved.
A tailor-made data structure for the versioning phase can probably improve performance, but it is already very fast compared to the main phase.