A portable compiler-integrated approach to permanent checking

Proceedings - 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006

Volumn , Issue , 2006, Pages 103-112

  Volanschi, Nic ^a  

^a mygcc ^*  (France)

Author keywords

[No Author keywords available]

Indexed keywords

DEVELOPMENT TOOLS; FULL-FLEDGED CHECKING COMPILER; USER-DEFINED CHECKS;

CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; DATA PROCESSING; PATTERN MATCHING; SOFTWARE TESTING;

PROGRAM COMPILERS;

EID: 33750916511     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2006.8     Document Type: Conference Paper

References (32)

1. Abraxas Software, Inc. CodeCheck. http://www.abxsoft.com
2. K. Ashcraft, D. Engler. "Using Programmer-Written Compiler Extensions to Catch Security Holes". In Proc. IEEE Symp. on Security and Privacy. May 2002.
3. G. Back, D. Engler. "MJ - a system for constructing bug-finding analyses for Java". Technical report, Stanford University. September 2003.
4. T. Ball, S. Rajamani. "The SLAM Toolkit". In Proceedings of the 13th International Conference on Computer Aided Verification. LNCS Vol. 2102. 2001.
5. M. Barnett, K. Leino, and Wolfram Schulte. In CASSIS 2004, LNCS vol. 3362, Springer, 2004.
6. L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. Leavens, K. Leino, E. Poll. "An overview of JML tools and applications." In T. Arts, W. Fokkink, eds.: "Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03)". Volume 80 of Electronic Notes in Theoretical Computer Science (ENTCS)., Elsevier, 2003.
7. Checkstyle. Open-source project at SourceForge.net. http://checkstyle. sourceforge.net
8. H. Chen, D. Wagner. "MOPS: an infrastructure for examining security properties of software". In Proceedings of the 9th ACM Conference on Computer and Communications Security (CCS). Washington, DC. November 2002.
9. A. Chou, J. Yang, B. Chelf, S. Hallem, D. Engler, "An empirical study of operating system errors". In 18th Symp. Operating Systems Principles (SOSP). Oct 2001.
10. J. Cobleigh, L. Clarke, L. Osterweil. "FLAVERS: A finite state verification technique for software systems". IBM Systems Journal, 41(1). 2002.
11. R. Crew. "ASTLOG: A Language for Examining Abstract Syntax Trees". In USENIX Conference on Domain-Specific Languages. October 1997.
12. M. Das, S. Lerner, M. Seigle. "Esp: Path-sensitive program verification in polynomial time". In Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), Jan. 2002.
13. P. Devanbu. "GENOA - a customizable, front-end-retargetable source code analysis framework". ACM Transactions on Software Engineering and Methodology (TOSEM) 8(2). April 1999.
14. D. Engler, B. Chelf, A. Chou, S. Hallem. "Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions". Proc. of 4th Symposium on Operating System Design and Implementation (OSDI), San Diego. October 2000.
15. D. Engler, B. Chelf, A. Chou, S. Hallem. "Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions". Proc. of 4th Symposium on Operating System Design and Implementation (OSDI), San Diego. October 2000.
16. D. Evans, D. Larochelle. "Improving Security Using Extensible Lightweight Static Analysis". IEEE Software 19(1). January 2002.
17. J. Foster, M. Fhndrich, A. Aiken. "A Theory of Type Qualifiers". In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). Atlanta, Georgia. May 1999.
18. J. Foster, T. Terauchi, A. Aiken. "Flow-Sensitive Type Qualifiers". In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). Berlin, Germany. June 2002.
19. Gramma Tech. CodeSurfer Path Inspector. http://www.grammatech.com
20. W. Griswold, D. Atkinson, C. McCurdy. "Fast, Flexible Syntactic Pattern Matching and Processing". In 4th International Workshop on Program Comprehension. 1996.
21. T. Henzinger, R. Jhala, R. Majumdar, G. Necula, G. Sutre, W. Weimer. "Temporal-Safety Proofs for Systems Code". Proc. of the 14th International Conference on Computer-Aided Verification (CAV). LNCS 2404. Springer-Verlag, 2002.
22. T. Henzinger, R. Jhala, R. Majumdar, M. Sanvido. "Extreme model checking". In Proceedings of the International Symposium on Verification: Theory and Practice. LNCS 2772. Springer-Verlag, 2004.
23. Y. Liu, T. Rothamel, F. Yu, S. Stoller, N. Hu. "Parametric regular path queries". ACM SIGPLAN Notices, 39(6) (PLDI). May 2004.
24. M. Martin, B. Livshits, M. Lam. "Finding application errors and security flaws using PQL: a program query language". In Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA). 2005.
25. MC bug viewer, http://metacomp.stanford.edu
26. J. Merill, "GENERIC and GIMPLE: A New Tree Representation for Entire Functions". Proc. of the GCC 2003 Summit.
27. Mygcc prototype, http://mygcc.free.fr
28. K. Olender , L. Osterweil. "Cesar: a static sequencing constraint analyzer". ACM SIGSOFT Software Engineering Notes 14(8). December 1989.
29. PMD. Open-source project at SourceForge.net. http://pmd.sourceforge.net/
30. Splint. Open-source project, http://www.splint.org
31. W. Visser, K. Havelund, G. Brat, S. Park and F. Lerda. "Model Checking Programs". Automated Software Engineering Journal, 10(2), April 2003.
32. N. Volanschi. "Unparsed patterns: integrating unrestricted, concrete syntax pattern matching in any compiler". Technical Report, January 2006. Available from [27]