क्या जीसीसी कंपाइलर के पास संकलन समय पर स्मृति भ्रष्टाचार को पहचानने का कोई विकल्प है?

Question

#include <stdio.h> 
#include <string.h> 

int main() 
{ 
    char arrDst[5] = {0}; 
    char arrSrc[10] = "123456"; 
    memcpy(arrDst, arrSrc, sizeof(arrSrc)); 
    return 0; 
} 

यहां इस कार्यक्रम में यह स्पष्ट है कि स्मृति मेमोरी है।

क्या जीसीसी कंपाइलर में कोई विकल्प है जिसके द्वारा मैं संकलन समय पर इस समस्या को पहचान सकता हूं?

नोट: मैंने valgrind --leak-check=full का उपयोग किया, लेकिन इससे मदद नहीं मिलती है।

Answer 1

$ gcc -Wall -O1 t.c 
In file included from /usr/include/string.h:642:0, 
       from t.c:3: 
In function ‘memcpy’, 
    inlined from ‘main’ at t.c:13:9: 
/usr/include/bits/string3.h:52:3: warning: call to __builtin___memcpy_chk 
    will always overflow destination buffer [enabled by default] 

जीसीसी इनमें से कुछ पहचान सकते हैं। आमतौर पर ऑप्टिमाइज़ेशन (कम से कम -01) और चेतावनियां (-Wall) को चालू करने की आवश्यकता होती है, -Wextra भी जोड़ें)।

Answer 2

यह बड़े कार्यक्रम तुम सच में रुचि रखते हैं करने के लिए पैमाने पर नहीं हो सकता है, लेकिन आप Frama-C के साथ इस त्रुटि पा सकते हैं:

$ frama-c -cpp-command "gcc -C -E -I`frama-c -print-share-path`/libc/ -nostdinc" mem.c `frama-c -print-share-path`/libc/fc_runtime.c -val 
... 
[value] computing for function memcpy <- main. 
    Called from mem.c:13. 
.../libc/string.h:54:[value] Function memcpy: precondition got status invalid. 

इस संदेश का अर्थ है कि आप तर्क है कि अपने अनुबंध को पूरा नहीं करते के साथ memcpy() बुला रहे हैं । यह एक बफर सीमा से अधिक है,

/*@ requires \valid(((char*)dest)+(0..n - 1));                             
    @ requires \valid_read(((char*)src)+(0..n - 1));                            
    @ requires \separated(((char *)dest)+(0..n-1),((char *)src)+(0..n-1));                       
    @ assigns ((char*)dest)[0..n - 1] \from ((char*)src)[0..n-1];                         
    @ assigns \result \from dest;                                 
    @ ensures memcmp((char*)dest,(char*)src,n) == 0;                            
    @ ensures \result == dest;                                  
    @*/ 
extern void *memcpy(void *restrict dest, 
        const void *restrict src, size_t n);