Comment on A New Development for Coverity and HeartbleedparentComments−johnkeeping12yThere'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/
Comments
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/