Context: conversation in this PR

this is a shared query.

It currently covers many cases relating to missing initialization,

however for the first NCE on the rule description, where there is an initializer but no assurance that the padding is explicitly cleared, these types of cases are currently not detected