Re: [CHECKER] buffer overflows in net/core/filter.c?

[Herbert Xu <herbert@gondor.apana.org.au>]

Dawson Engler <engler@csl.stanford.edu> wrote:
> 
> But then blow up severely after calling:
> 
> static inline void *skb_header_pointer(const struct sk_buff *skb, int offset,
>                                       int len, void *buffer)
> {
>        int hlen = skb_headlen(skb);
> 
> 
> which increments the data pointer:
> 
>        if (offset + len <= hlen)
>                return skb->data + offset;

This check was fixed 3 months ago with the changeset:

55820ee2f8c767a2833b21bd365e5753f50bd8ce

Cheers,
-- 
Visit Openswan at http://www.openswan.org/
Email: Herbert Xu ~{PmV>HI~} <herbert@gondor.apana.org.au>
Home Page: http://gondor.apana.org.au/~herbert/
PGP Key: http://gondor.apana.org.au/~herbert/pubkey.txt
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/