-
Notifications
You must be signed in to change notification settings - Fork 435
VSFS
Mohamad Barbar edited this page Dec 24, 2021
·
7 revisions
To use VSFS, use the -vfspta option. Performing versioning is not currently supported on the optimised SVFG so the value of the -opt-svfg option must be false.
$ wpa -vfspta -opt-svfg=false program.bc
The versioning phase is multi-threaded. To choose the number of threads, use the -versioning-threads option (default 1; single-threaded). To use 4 threads, for example,
$ wpa -vfspta -opt-svfg=false -versioning-threads=4 program.bc
By default, SVF uses CPU time to time analyses. When using multiple threads this can be problematic depending on desired behaviour. For a better representation of actual time taken, use wall time through the -clock-type option.
$ wpa -vfspta -opt-svfg=false -versioning-threads=4 -clock-type=wall program.bc
For more options to improve flow-sensitive analysis performance, see the page on hash consed points-to sets and the page on object clustering.