Skip to content

Topic

Invariant bugs

Defects where every operation a program performs is legal but its own bookkeeping rule is wrong, so the code returns a confident wrong answer instead of failing.

Current clusters

build1 publisher

One modulus check made a full four-slot ring report empty

Full and empty share a residue once the cursors lap, so a four-slot ring reports empty with four live ints in it, and the sanitizers have nothing to say because nothing illegal happened.

Publishers:dev.to

Reality

Evidence74
Adoption
Insufficient
Hype gap+18
Incentives52
Confidence70