Repository navigation
Home
| About SVF | Setup Guide | User Guide | Developer Guide |
|---|---|---|---|
 |
 |
 |
 |
| 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 | Detailed technical documentation and how to write your own analyses in SVF or use SVF as a lib for your tool |
Note that images or other auxiliary files for this wiki are now stored here. If you need to add or modify any files there, either fork that repository and create a pull request, or ask the maintainers to give you write access to that repository.