Examples

Saturn has a user interface system allowing the facts computed by an analysis to be overlaid on and hyperlinked with the original source code. You can use the user interface to browse the databases of facts computed by the analyses we have developed.

A few notes on using the query page: