User: Password:
Subscribe / Log in / New account

why didn't static checkers spot this?

why didn't static checkers spot this?

Posted Feb 12, 2008 22:28 UTC (Tue) by adamgundy (subscriber, #5418)
Parent article: vmsplice(): the making of a local root exploit

I was under the impression that sparse and/or coverity were specifically designed to catch
this kind of thing (reading/writing userspace pointers which haven't been correctly checked
for validity)

(Log in to post comments)

Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds