Compilable C Curry Challenge!

C and C++ are both statically typed. And thus it seems like a fun challenge to write a program in C or C++ that writes source code by looking in header files for functions to call and then randomly mashes them together and passes the results to other functions.

I wonder how long it'd take before you'd find a kernel bug this way.

Has anyone ever done this?

Most of these programs would just segfault. A lot of arguments can be passed that statically valid but will actually just end in memory violations, i.e., passing NULL to any of the standard library function that write to that pointer.

You would have to implement automatic error checking as well, otherwise you would also get segfaults or just nonsensical programs that would try to write to files that were never opened, and so on.