4 ms·
How come none of the static analyzers that seems to be run on the Linux source code not catch this?
by pkaye 9y ago
How come none of the static analyzers that seems to be run on the Linux source code not catch this?
- caf 9y agoBecause the field wasn't formally uninitialised - it was initialised to zero by bio_init(). It was instead a logic error, which are not as amenable to static analysis.