"의심스러운 sizeof"또는 SIZEOF_MISMATCH 찾기를 위해 Coverity를 ​​훈련시키는 방법?

Question

내가 수행하는 전문화와 템플릿 기능이 zeroization :

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"); 
} 

커버 리티는 SecureWipeBuffer에 발견 생산

:

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

이

이 발견은 다음과 같습니다

>>>  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); 

어떻게 기차를 수행하십시오 커버 길이는 SecureWipeBuffer이며 바이트 수가 아닙니다.

---

편집 : 우리는 우리의 Windows 코드와 함께 두 개의 유사한 결과를 포착했습니다. 또한 Coverity는 표준 라이브러리 기능에 대한 결과를 산출합니다. 마치 C++이 요소의 수를 다루고 바이트 수를 처리하지 않는다는 것을 알 수 있습니다.

아래는 <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

에 Microsft 표준 라이브러리 코드에서이다 나는 억제하려고이 Github을 발견 ^*,이 작업을 수행하여도에 좋습니다

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); 

Silencing false positives in Coverity Prevent이고 다른 접근 방법은 여기에서 다룹니다. Coverity SA - excluding boost, stlport errors.

---

* _{내가 만약 당신이 원하는 경우에 확실하지 않다,하지만 내가 가진 전부 야!}