> Request: can the checker check for skb's being freed correctly? The
> rules:
>
> If an skb is in interrupt context, call dev_kfree_skb_irq.
> If an skb might be in interrupt context, call dev_kfree_skb_any.
> If an skb is not in interrupt context, call dev_kfree_skb.
It shouldn't be hard to check this. The only thing interesting will be
deriving when you're in an interrupt context. Thanks for the pointer.
Are there other context-sensitive rules that we could go after as well?
> I dunno WTF the programmer was thinking here... Your de-ref checker
> should have caught this too: check 'lp' for NULL after de-referencing
> lp->lock.
These reports are for an older version of the checker --- we've fixed
some bugs in the system, which should catch more of these errors.
Dawson
-
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/
This archive was generated by hypermail 2b29 : Fri Mar 23 2001 - 21:00:11 EST