Commit Graph

4 Commits

Author SHA1 Message Date
avsm
c0ed955730 update to cil-1.3.5, lots of nice fixes to parsing gcc/msvc code 2006-05-28 15:44:14 +00:00
avsm
3409fdf14f Add in a --dorandomvars which sets local variables to values other than
0 to try and find bugs which depend on them being initalized to 0.

Also turn off the other transformations by default (use --dokerneltrace
or --donullint)

Go get em Chad.
2005-05-27 21:46:23 +00:00
avsm
a06c692333 Add a 'kernel function call tracer' to automatically insert a call to
log() to certain functions in the kernel to help debugging.

An example use when building a kernel would be:
$ make CC='/usr/local/bin/cilly --trace-regexp=^cache_ --trace-level=0'
to instrument all functions starting with cache_* to notify syslog at
emergency log level.  The output also includes the contents of any
char/int/long arguments (pointers and structs not followed yet, too
verbose).

A full kernel build doesnt quite work with CIL yet so use selectively.
2005-05-27 06:31:52 +00:00
avsm
f92a5cd283 add a simple NULL/int comparison checker to CIL 2004-06-21 18:53:12 +00:00