[CUWiN] code audit; testing
Zachary C. Miller
zach at chambana.net
Tue Sep 21 14:45:07 CDT 2004
The guy who runs coverity actually already offered to run their
analysis on our code when we're ready. If we're ready, I'll let him
know.
Arun Bhalla wrote:
> David Young writes:
> > Is anybody interested in auditing CUWiN's HSLS/ETX code for memory leaks,
> > buffer overflows, and other flaws? I get the feeling that the routing
> > code has had very few eyes on it, apart from Bryan's and mine.
>
> This sounds like you'd be best off with Coverity
> (http://www.coverity.com/). Zach and I know one of the founders; maybe
> Zach could convince him to run their code analysis software on CUWiN's
> code.
>
> Barring that, you might give http://smatch.sourceforge.net/ a try. It's
> based on the same papers as Coverity, but uh, the Coverity peeps wrote
> those papers.
>
> Arun
> _______________________________________________
> CU-Wireless mailing list
> CU-Wireless at lists.groogroo.com
> http://lists.cu.groogroo.com/cgi-bin/listinfo/cu-wireless
> Project Page: http://cuwireless.ucimc.org
>
--
Zachary C. Miller - @= - http://wolfgang.groogroo.com/
IMSA 1995 - UIUC 2000 - Just Another Leftist Muppet - Ya Basta!
Social Justice, Community, Nonviolence, Decentralization, Feminism,
Sustainability, Responsibility, Diversity, Democracy, Ecology
More information about the CU-Wireless
mailing list