Team for Research in
Ubiquitous Secure Technology

An Overview of the Saturn Project
A. Aiken, S. Bugrara, I. Dillig, T. Dillig, P. Hawkins, B. Hackett

Citation
A. Aiken, S. Bugrara, I. Dillig, T. Dillig, P. Hawkins, B. Hackett. "An Overview of the Saturn Project". Workshop on Program Analysis for Software Tools and Engineering, 43-48, June, 2007.

Abstract
We present an overview of the Saturn program analysis system, including a rationale for three major design decisions: the use of function-at-a-time, or summary-based, analysis, the use of constraints, and the use of a logic programming language to express program analysis algorithms. We argue that the combination of summaries and constraints allows Saturn to achieve both great scalability and great precision, while the use of a logic programming language with constraints allows for succinct, high-level expression of program analyses.

Electronic downloads

Citation formats  
  • HTML
    A. Aiken, S. Bugrara, I. Dillig, T. Dillig, P. Hawkins, B.
    Hackett. <a
    href="http://www.truststc.org/pubs/612.html"
    >An Overview of the Saturn Project</a>, Workshop on
    Program Analysis for Software Tools and Engineering, 43-48,
    June, 2007.
  • Plain text
    A. Aiken, S. Bugrara, I. Dillig, T. Dillig, P. Hawkins, B.
    Hackett. "An Overview of the Saturn Project".
    Workshop on Program Analysis for Software Tools and
    Engineering, 43-48, June, 2007.
  • BibTeX
    @inproceedings{AikenBugraraDilligDilligHawkinsHackett07_OverviewOfSaturnProject,
        author = {A. Aiken and S. Bugrara and I. Dillig and T.
                  Dillig and P. Hawkins and B. Hackett},
        title = {An Overview of the Saturn Project},
        booktitle = {Workshop on Program Analysis for Software Tools
                  and Engineering},
        pages = {43-48},
        month = {June},
        year = {2007},
        abstract = {We present an overview of the Saturn program
                  analysis system, including a rationale for three
                  major design decisions: the use of
                  function-at-a-time, or summary-based, analysis,
                  the use of constraints, and the use of a logic
                  programming language to express program analysis
                  algorithms. We argue that the combination of
                  summaries and constraints allows Saturn to achieve
                  both great scalability and great precision, while
                  the use of a logic programming language with
                  constraints allows for succinct, high-level
                  expression of program analyses.},
        URL = {http://www.truststc.org/pubs/612.html}
    }
    

Posted by Jessica Gamble on 18 Mar 2009.
For additional information, see the Publications FAQ or contact webmaster at www truststc org.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.