GCC, serbest olmayan yığın blokları için uyarıyor

Question

Sorunun basit olması, GCC'ye ayrılan bir bloğu serbest bırakmazsam uyarılmasını istediğimi söylemenin bir yolu var mı? Bazı amaçlar için özgür olmayan bloklara sahip olabileceğimizi/programın sonuna ulaştığımızı veya böyle bir şeye sahip olduğumuzu biliyorum.

int main(){ 
    int *a = malloc(sizeof(int)); 
    return 0; 
} 

Bunun için bir uyarı bile alabilirsem harika olurdu.

Answer 1

GCC'nin yapması olası bir iş değildir. Statik analiz, bir serbestliğin unutulduğunu ispatlayamaz, bu, valgrind's memcheck gibi çalışma zamanı analizörlerinin işi veya , yani , sadece clang -fsanitize=leak ile görmedim.

Ancak, gcc veya clang desteklediğinde bile derleme zamanı uyarısı almayacaksınız. Bir çalışma zamanı uyarısı olacak.

Answer 2

Derleyici serbest olmayan blokları öngöremez ve uyarmaz. Bu çalışma zamanı işi, zamanı derleme değil. Kendi malloc-free-check alt sisteminizi uygulayabilir veya bellek yönetim kütüphanesini değiştirebilirsiniz.