Comment by jeffbee

It doesn't seem like this checker would conflict with that use case. All this checker wants is that if you allocated some bytes, you touch it somewhere before reading it anywhere.