An overview of the saturn project

ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Volumn , Issue , 2007, Pages 43-48

  Aiken, Alex ^a   Bugrara, Suhabe ^a   Dillig, Isil ^a   Dillig, Thomas ^a   Hackett, Brian ^a   Hawkins, Peter ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

Boolean satisfiability; Program analysis; Verification

Indexed keywords

BOOLEAN SATISFIABILITY; PROGRAM ANALYSIS;

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; LOGIC PROGRAMMING; PROJECT MANAGEMENT; SYSTEMS ANALYSIS; VERIFICATION;

COMPUTER PROGRAM LISTINGS;

EID: 36549021031     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1251535.1251543     Document Type: Conference Paper

References (21)

1. A. Aiken, S. Bugrara, I. Dillig, T. Dillig, B. Hackett, and P. Hawkins. The Saturn program analysis system. http://saturn.stanford.edu. 2006.
2. F. Bancilhon, D. Maier, Y. Sagiv, and J.D. Ullman. Magic sets and other strange ways to implement logic programs (extended abstract). In PODS '86: Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, pages 1-15, New York, NY, USA, 1986. ACM Press.
3. E. Clarke, A. Biere, R. Raimi, and Y. Zhu. Bounded model checking using satisfiability solving. In Formal Methods in System Design, July 2001.
4. E. Clarke, D. Kroening, and F. Lerda. A tool for checking ANSI-C programs. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 2988 of Lecture Notes in Computer Science, pages 168-176. Springer, 2004.
5. R. Crew. ASTLOG: A language for examining abstract syntax trees. In Proceedings of the USENIX Conference on Domain-Specific Languages, October 1997.
6. I. Dillig, T. Dillig, and A. Aiken. Static error detection using semantic inconsistency inference. In Proceedings of the Conference on Programming Language Design and Implementation, page to appear, June 2007.
7. M. Fähndrich and A. Aiken. Program analysis using mixed term and set constraints. In Proceedings of the 4th International Symposium on Static Analysis, pages 114-126. Springer-Verlag, 1997.
8. B. Hackett and A. Aiken. How is aliasing used in systems software? In Proceedings of the International Symposium on Foundations of Software Engineering, pages 69-80, September 2006.
9. B. Hackett, M. Das, D. Wang, and Z. Yang. Modular checking for buffer overflows in the large. In Proceeding of the 28th International Conference on Software Engineering, pages 232-241, 2006.
10. J. Kodumal and A. Aiken. The set constraint/CFL reachability connection in practice. In Proc. of the Conf. on Programming Language Design and Implementation, pages 207-218, 2004.
11. J. Kodumal and A. Aiken. Banshee: A scalable constraint-based analysis toolkit. In Proceedings of the 12th International Static Analysis Symposium, pages 218-234. London, United Kingdom, September 2005.
12. M. Lain, J. Whaley, B. Livshits, M. Martin, D. Avots, M. Carbin, and C. Unkel. Context-sensitive program analysis as database queries. In Proceedings of the Conference on Principles of Database Systems, pages 1-12, 2005.
13. V.B. Livshits and M.S. Lam. Tracking pointers with path and context sensitivity for bug detection in C programs. In Proceedings of the European Software Engineering Conference, pages 317-326, 2003.
14. R. Milner. A theory of type polymorphism in programming languages. Journal of Computer and System Sciences, 1998.
15. G.C. Necula, S. McPeak, S.P. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In Proceedings of the 11th International Conference on Compiler Construction, March 2002.
16. J. Palsberg and M.I. Schwartzbach. Object-oriented type inference. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 146-161, 1991.
17. T. Reps. Demand interprocedural program analysis using logic databases. In Applications of Logic Databases, pages 163-196, 1994.
18. Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury, an efficient purely declarative logic programming language. JLP, 29(1-3): 17-64, 1996.
19. J.D. Ullman. Principles of Database and Knowledge-Base Systems. Computer Science Press, 1989.
20. Y. Xie and A. Aiken. Context- and path-sensitive memory leak detection. In Proceedings of the International Symposium on Foundations of Software Engineering, pages 115-125, September 2005.
21. Y. Xie and A. Aiken. Scalable error detection using boolean satisfiability. In Proceedings of the Symposium on Principles of Programming Languages, pages 351-363, January 2005.