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:
- Most of the databases have self-explanatory names; e.g., Linux: Alias Analysis has the results of an alias analysis run on the Linux kernel.
- The simplest way to see results is to choose a database, set Type to keyword, and type the name (or part of the name) of a function in the query box and hit Search. Entering something in the Category field restricts results to facts in that category; you can learn about what categories of facts are available by browsing some results.
- Note that the databases available here are the ones we use for our routine work. Thus, they can be updated or deleted at any time.