Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
The Saturn Program Analysis System Alex Aiken Suhabe Bugrara Isil Dillig Thomas Dillig
 

Summary: The Saturn Program Analysis System
Alex Aiken Suhabe Bugrara Isil Dillig Thomas Dillig
Brian Hackett Peter Hawkins
Stanford University
December 1, 2006
2
Contents
1 Introduction 7
1.1 Saturn Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2 Quickstart 11
3 Tutorial 13
3.1 The Locking Property . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.2 Interprocedural Analysis . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.3 Join Points . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.4 Statements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.5 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.6 Handling Loops . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.7 Interprocedural Path Sensitivity . . . . . . . . . . . . . . . . . . . . 27
4 Saturn CLP Language Reference 31
4.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

  

Source: Aiken, Alex - Department of Computer Science, Stanford University
Pratt, Vaughan - Department of Computer Science, Stanford University

 

Collections: Computer Technologies and Information Sciences