News for hackers. Stuff that matters.

A comment on A New Development for Coverity and Heartbleed. Parent comment

Re:A New Development for Coverity and Heartbleed by johnkeeping on Sunday April 13, 2014 @06:26AM (#7580896)
There's also sparse[0]'s address space annotation, which Linux uses for annotating data from userspace.

[0] https://git.kernel.org/cgit/devel/sparse/sparse.git/

[ Parent | on HN ]

There are no comments on this comment yet.