Greetings,
I ran parfait over pkg(5)'s .c files today just to see if it could find
anything amiss.
I followed the instructions to use it here:
http://sunlabs.sfbay/twiki/bin/view/Projects/ParfaitHowTo
...and then did:
export CC=/local/bin/parfait-gcc
...in my local workspace and ran a "make".
The build failed initially because of:
cc1: error: invalid option argument '-OPT:Olimit=0'
So, I ended up compiling each file by hand by removing that option from
the compiler line:
/usr/lib/python2.4/pycc -DNDEBUG -I/usr/sfw/include -L/usr/sfw/lib
-R/usr/sfw/lib -D_FILE_OFFSET_BITS=64 -Imodules -I/usr/include/python2.4
-c modules/pspawn.c -o
/home/swalker/devel/pkg-tip/proto/build_i386/temp.solaris-2.11-i86pc-2.4/modules/pspawn.o
Once I did that, I was able to run parfait over the resulting ".bc" files.
Here are the results by file for:
parfait -vp -e alloc-dataflow -e constant -e fmt-string -e libc-check -e
partial-eval -e ptr-dataflow -e strlen-dataflow -e symbolic
http://cr.opensolaris.org/~swalker/parfait/
The results are pretty good (if you ignore the [Unverified] lines).
The only interesting one I saw was for get_sysinfo in arch.c, and some
of the dereferencing ones in elf.c.
Cheers,
--
Shawn Walker
_______________________________________________
pkg-discuss mailing list
[email protected]
http://mail.opensolaris.org/mailman/listinfo/pkg-discuss
