libpcap BPF interpreter for the div #k and mod #k ALU instructions does not check whether the immediate value is zero. In particular uncommon use cases a crafted filter program can cause a division by zero.
Weakness
The product divides a value by zero.
References