← Checking for overflows, revisited once ptrdiff_t links for the week-end → Week-end cryptographic link Pascal Cuoq - 18th Feb 2012 A good read: Primal Fear: Demuddling The Broken Moduli Bug
Frama-C Frama-C