Script started on Sun Feb 17 14:30:18 2008
[root@km-freebsd70b4 ~]# cat evilc.c
#include <stdio.h>

int main() {
	FILE *bad = fopen("this/file/aint.here", "r");
	int c = getc(bad);
	return 0;
}
[root@km-freebsd70b4 ~]# gcc -o evilc evilc.c
[root@km-freebsd70b4 ~]# ./evilc
Segmentation fault: 11 (core dumped)
[root@km-freebsd70b4 ~]# cp evilc.c evilc2.cyc
[root@km-freebsd70b4 ~]# cyclone -o evilc2 -save-c evilc2.cyc
***Warnings***
evilc2.cyc:5: inserted null check due to implicit cast from * to @ type
**************
[root@km-freebsd70b4 ~]# ./evilc2
Uncaught exception Cyc_Null_Exception thrown from around evilc2.cyc:5
[root@km-freebsd70b4 ~]# exit

Script done on Sun Feb 17 14:30:50 2008