Sciweavers

Share
AADEBUG
2005
Springer

Random testing of C calling conventions

8 years 9 months ago
Random testing of C calling conventions
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant: parameters passed to a function must be received unaltered. A violation of this invariant signals an inconsistency in a compiler. We automatically test the consistency of C compilers using randomly generated programs. An inconsistency manifests itself as an assertion failure when compiling and running the generated code. The generation of programs is type-directed and can be controlled by the user with composable random generators in about 100 lines of Lua. Lua is a scripting language built into our testing tool that drives program generation. Random testing is fully automatic, requires no specification, yet is comparable in effectiveness with specification-based testing from prior work. Using this method, we uncovered 13 new bugs in mature open-source and commercial C compilers. Categories and Subject D...
Christian Lindig
Added 13 Oct 2010
Updated 13 Oct 2010
Type Conference
Year 2005
Where AADEBUG
Authors Christian Lindig
Comments (0)
books