Download Saturn

Saturn is available for download. Version 1.1 contains several important Calypso language improvements and some new analyses.

Both releases include:

The Saturn infrastructure, including everything necessary to write analyses for C programs.
A manual with a tutorial and reference documentation.
A sound context-, flow-, and partially path-sensitive alias analysis for C, that scales to the entire Linux kernel. A paper on the alias analysis is available.
An unsound, bug-finding (but nevertheless effective) null dereference analysis for C programs that also scales to Linux.

We strongly encourage anyone using Saturn to subscribe to the mailing lists for announcements about and discussion of Saturn.