Wie man Coverity für "verdächtige sizeof" oder SIZEOF_MISMATCH findet?

Question

Ich habe eine Template-Funktion mit einer Spezialisierung, die Nullsetzung durchführt:

template <class T> 
void SecureWipeBuffer(T *buf, size_t n) 
{ 
    volatile T *p = buf+n; 
    while (n--) 
     *((volatile T*)(--p)) = 0; 
} 
... 

template <> 
void SecureWipeBuffer(word64* p, size_t n) 
{ 
    asm volatile("rep stosq" : "+c"(n), "+D"(p) : "a"(0) : "memory"); 
} 

Coverity Feststellung produziert auf SecureWipeBuffer:

word64 val; 
... 
SecureWipeBuffer(&val, 1); 

Der Befund ist:

>>>  CID 164713: Incorrect expression (SIZEOF_MISMATCH) 
>>>  Passing argument "&val" of type "word64 *" and argument "1UL" to function "SecureWipeBuffer" is suspicious because "sizeof (word64)" /*8*/ is expected. 
275    SecureWipeBuffer(&val, 1); 

Wie Zug Coverity, dass SecureWipeBuffer zählt eine Anzahl von Elementen und nicht eine Anzahl von Bytes?

---

EDIT: Wir haben zwei ähnliche Ergebnisse mit unseren Windows-Code aufgenommen. Darüber hinaus erstellt Coverity Ergebnisse zu Standardbibliotheksfunktionen. Es ist so, als ob es nicht realisiert, dass C++ die Anzahl der Elemente und nicht die Anzahl der Bytes behandelt.

Unten ist von Microsft Standardbibliothek Code in <xmemory>

25 if (_Count == 0) 
26  ; 
27 else if (((size_t)(-1)/sizeof (_Ty) < _Count) 
    CID 12348 (#1 of 1): Wrong sizeof argument (SIZEOF_MISMATCH) 
    suspicious_sizeof: Passing argument _Count * 4U /* sizeof (std::allocator<void *>::value_type) */ 
    to function operator new which returns a value of type std::allocator<void *>::value_type is suspicious. 
28  || (_Ptr = ::operator new(_Count * sizeof (_Ty))) == 0) 
29   _Xbad_alloc(); // report no memory 

Answer 1

fand ich diese Github, die das zu unterdrücken versucht ^*, indem dies zu tun:

std::fill_n(out, spec_.width_ - 1, fill); 
    out += spec_.width_ - 1; 
} else if (spec_.align_ == ALIGN_CENTER) { 
    // coverity[suspicious_sizeof] 
    out = writer_.fill_padding(out, spec_.width_, 1, fill); 
} else { 
    std::fill_n(out + 1, spec_.width_ - 1, fill); 

, die auch in wird empfohlen, Silencing false positives in Coverity Prevent, und ein anderer Ansatz ist hier abgedeckt: Coverity SA - excluding boost, stlport errors.

---

* _{Ich bin nicht sicher, ob das, was Sie wollen, aber das ist alles, was ich habe!}