NULL ptr dereferences found with Calysto static checker
Domagoj Babic
babic.domagoj at gmail.com
Sat Jun 9 03:11:33 EDT 2007
Danny,
NTP is an important project, and I'd be happy to help out. Please read:
http://www.cs.ubc.ca/~babic/index_calysto_community.htm
Contact me if you find the terms acceptable.
> If you see such things in NTP we'd be glad to know about it.
> Danny
I've tried to compile NTP 4.2.4p2-RC5 with LLVM, libtool gave me a bit
of a headache, but nothing too bad.... seems like everything got compiled
(which is obviously not true for krb5). Anyways, the first step to checking
NTP is solved.
BTW, I'd also be interested in checking other ISC projects (DHCP, INN,
BIND,...).
Regards,
--
Domagoj Babic
http://www.domagoj.info/
More information about the Kerberos
mailing list