Static error detection using semantic inconsistency inference

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2007, Pages 435-445

  Dillig, Isil ^a   Dillig, Thomas ^a   Aiken, Alex ^a  

^a Stanford University   (United States)

Author keywords

Error detection; Inconsistency; Satisfiability; Static analysis

Indexed keywords

INCONSISTENCY; SATISFIABILITY;

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; ERROR DETECTION; STATIC ANALYSIS;

SEMANTICS;

EID: 35449004891     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1250734.1250784     Document Type: Conference Paper

References (18)

1. A. Aiken, E. Wimmers, and T. K. Lakshman. Soft typing with conditional types. In Proceedings of the Symposium on Principles of Programming Languages, pages 163-173, 1994.
2. T. Ball and S. Rajamani, The SLAM, project: Debugging system software via static analysis. In Proc. of the Symp. on Principles of Prog. Languages, pages 1-3, January 2002.
3. D. Beyer, T. Henzinger, R. Jhala, and R. Majumdar. Checking memory safety with Blast. In Proc. of the Conf. on Fundamental Approaches to Software Engineering, pages 2-18, 2005.
4. R. Cartwright and M. Fagan. Soft typing. In Proc. of the Conf. on Prog. Language Design and Implementation, pages 278-292, 1991.
5. M. Das, S. Lerner, and M. Seigle. ESP: Path-sensitive program verification in polynomial time. In Proc. of the Conf on Prog. Language Design and Implementation, pages 57-68, 2002.
6. D. Engler, D. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as deviant behavior: A general, approach, to inferring errors in systems code. Operating Systems Review, 35(5):57-72, 2001.
7. D.Evans. Static detection of dynamic memory errors. In Proc. of the Conf. on Prog. Language Design and Implementation, pages 44-53, 1996.
8. M. Faehndrich and K. Rustan M. Leino. Declaring and checking nonnull types in an object-oriented language. In Proc. of the Conf. on Object-Oriented Programing, Systems, Languages and Applications, pages 302-312, 2003.
9. C. Flanagan, R. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java. In Proc. of the Conf. on Prog. Language Design and Implementation, pages 234-245, 2002.
10. J. Foster, M. Faehndrich, and A. Aiken. A theory of type qualifiers. In Proc. of the Conf. on Prog. Language Design and Implementation, pages 192-203, 1999.
11. B. Hackett and A. Aiken. How is aliasing used in systems software? In Proceedings of the ACM International Symposium on Foundations of Software Engineering, pages 69-80, 2006.
12. D. Hovemeyer and W. Pugh. Finding bugs is easy. SIGPLAN Not., 39(12):92-106, December 2004.
13. D. Hovemeyer, J. Spacco, and W Pugh. Evaluating and tuning a static analysis to find null pointer bugs. In Proc. of the Workshop on Program Analysis for Software Tools and Engineering, pages 13-19, 2005.
14. R. Jhala and K. McMillan. Interpolant-based transition relation approximation. In Proc. of the International Conf on Computer Aided Verification, pages 39-51, 2005.
15. M. Naik and J. Palsberg. A type system, equivalent to a model checker. In Proc. of the European Symp. on Prog., pages 374-388, 2005.
16. G. Necula, S. McPeak, and W. Weimer. CCured: Type-safe retrofitting of legacy code. In Proc. of the Symp. on Principles of Prog. Languages, pages 128-139, 2002.
17. F. Pessaux and X. Leroy. Type-based analysis of uncaught exceptions. In Proc. of the Symp. on Principles of Prog. Languages, pages 276-290, 1999.
18. K. Yi and S. Ryu. Towards a cost-effective estimation of uncaught exceptions in SML programs. In Proc. of the International Symp. on Static Analysis, pages 98-113, 1997.