We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Analyze a Simple C Program (markdown)
fixed cli option ("--dump-vfg" -> "-dump-vfg")
Correct --dump-svfg -> --dump-vfg
Add command line for getting optimized svfg (not yet merged).
Paste in fresh and complete swap.ll
Replace unsw-corg with SVF-tools.
Move image files to SVF-tools/SVF-doxygen/wiki.
Change image references to the SVF-tools/SVF-doxygen/image directory
Update PAG and Constraint Graph explanations because of recent changes to their form.