Download
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.