Random testing of C calling conventions

Proceedings of the 6th International Symposium on Automated and Analysis-Driven Debugging, AADEBUG 2005

Volumn , Issue , 2005, Pages 3-11

  Lindig, Christian ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

C; Calling Convention; Compiler; Composition; Consistency; Random Testing

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (STANDARDS);

CALLING CONVENION; CONSISTENCY; RANDOM TESTING;

PROGRAM COMPILERS;

EID: 29844453934     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1085130.1085132     Document Type: Conference Paper

References (28)

1. Mark W. Bailey and Jack W. Davidson. A formal model and specification language for procedure calling conventions. In Conference Record of the 22nd Annual ACM Symposium on Principles of Programming Languages, pages 298-310, January 1995,
2. Mark W. Bailey and Jack W. Davidson. Target-sensitive construction of diagnostic programs for procedure calling sequence generators. Proc. of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, 31(5):249-257, May 1996.
3. Fabrice Bellard. TCC - Tiny C Compiler's Unix Manual Page, November 2004. URL http://www.tinycc.org/. Release 0.9.22. Manual part as part of the source code.
4. Gillis Bernot, Laurent Bouaziz, and Gall Gall. A theory of probabilistic functional testing. In Proc. of the 1997 International Conference on Software Engineering, pages 216-226, 1997.
5. Augusto Celentano, Stefano Crespi-Reghizzi, Pierluigi Della Vigna, Carlo Ghezzi, G. Granata, and F. Savoretti. Compiler testing using a sentence generator. Software-Practice and Experience, 10(11):897-918, November 1980.
6. Tsong Yueh Chen and Yuen-Tak Yu. On the expected number of failures detected by subdomain testing and random testing. IEEE Transactions on Software Engineering, 22 (2):109-119, February 1996.
7. Koen Claessen and John Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs. In Proc. of the ACM Sigplan International Conference on Functional Programming (ICFP-00), volume 35.9 of ACM Sigplan Notices, pages 268-279, September 18-21 2000.
8. Edmund Clarke, Orna Grumberg, and Doron A. Peled. Model Checking. MIT Press, Cambridge, Massachusetts London, England, 1999.
9. Joe W. Duran and Simeon C. Ntafos. An evaluation of random testing. IEEE Transactions on Software Engineering, 10(4):438-444, July 1984.
10. Chris W. Fraser and David R. Hanson. A Retargetable C Compiler: Design and Implementation. Benjamin/Cummings Pub. Co., Redwood City, CA, USA, 1995.
11. FSF. GCC Internals Manual. Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA, 2003. URL http://gcc.gnu.org/.
12. Roberto Ierusalimschy, Luiz Henrique de Figueiredo, and Waldemar Celes Filho. Lua - an extensible extension language. Software - Practice and Experience, 26(6): 635-652, 1996. URL http://www.lua.org/.
13. Intel. IA-32 Intel Architecture Software Developers's Manual, Vol. 1. Intel Corporation., P.O. Box 7641, Mt. Prospect, IL 60056, 2003.
14. Intel. Intel C++ Compiler for Linux Systems User's Guide. Intel Corporation, 2200 Mission College Blvd., Santa Clara, CA 95052, USA, June 2004. Release 8.1, Document Number 253254-031.
15. Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier Rémy, and Jérôme Vouillon. The Objective Caml System 3.08: Documentation and User's Manual. INRIA, 2004. Available from http://caml.inria.fr.
16. Christian Lindig and Norman Ramsey. Declarative composition of stack frames. In Evelyn Duesterwald, editor, Proc. of the 14th International Conference on Compiler Construction, number 2985 in Lecture Notes in Computer Science, pages 298-312. Springer, 2004.
17. George C. Necula. Proof-carrying code. In Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 106-119, January 15-17, 1997.
18. George C. Necula, Scott McPeak, Shree P. Rahul, and Westley Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In Proc. of Conference on Compiler Construction (CC'02), volume 2304 of Lecture Notes in Computer Science, pages 213-228, 2002.
19. PathScale. PathScale EKO Compiler Suite Release Notes. PathScale, Inc, 477 N. Mathilda Avenue, Sunnyvale, CA 94085, USA, 2004. URL http://www. pathscale.com/. Release 1.4.
20. Portland Group. PGI User's Guide. The Portland Group Compiler Technology, 9150 SW Pioneer Ct, Suite H, Wilsonville, OR 97070, USA, June 2004. URL http://www.pgroup.com/. Release 5.2.
21. Norman Ramsey. Embedding an interpreted language using higher-order functions and types. Journal of Functional Programming, 2004.
22. To appear. Preliminary version appeared on pages 6-14 of Proc. of the ACM Workshop on Interpreters, Virtual Machines, and Emulators, June 2003.
23. MIPSpro ANSI C Compiler Release Notes. SGI, 1500 Crittenden Lane, Mountain View, CA 94043, USA, 1999. URL http://www.sgi.com/. Release 7.3.
24. SPEC. SPEC CPU 2000 benchmark suite. Standard Performance Evaluation Corporation, December 1999. URL http://www.spec.org/. Version 1.0.
25. Markos Z. Tsoukalas, Joe W. Duran, and Ntafos Ntafos. On some reliability estimation problems in random and partition testing. IEEE Transactions on Software Engineering, 19(7):687-697, July 1993.
26. Philip Wadler. How to declare an imperative. A CM Computing Surveys, 29(3):240-263, September 1997.
27. Junfeng Yang, Paul Twohey, Dawson Engler, and Madanlal Musuvathi. Using model checking to find serious file system errors. In Proceedings of 6th Symposium on Operating Systems Design and Implementation, pages 273-287. USENIX, December 2004.
28. Andreas Zeller. Automated debugging: Are we close? Computer, 34(11) :26-31, November 2001.