incidents in 13 weeks began with a flaw in code
What counts as a flaw in code
What kind of bug, in which layer
What the flawed code did, and who was hit
What the flawed code was for, and who got hit. Thicker bands mean more incidents.
What the flawed code was for, and who got hit. Thicker bands mean more incidents.
Formal verification goes back to the 1960s, and this list misses a lot of it. It is a community effort: suggest a project, a correction or a new category.
Each block is a widely used component, sized by install base. Green shows how much of it is formally verified.
Newest work