Derleme zamanında silme [] ve silme kötüye kullanımını algılama

deleteDerleme zamanında aşağıda açıklanan hatayı tespit etmenin mümkün olup olmadığını bilmek ister misiniz ? Özellikle, g ++ derleyicisini duymak istiyorum.

ClassTypeA *abc_ptr = new ClassTypeA[100];  
abc_ptr[10].data_ = 1;  
delete abc_ptr; // error, should be delete []  

Genel olarak, derleyici bu tür hataları algılayamaz. Örnek: Bazı sınıflar için yapıcıyı kullanarak bazı veri üyelerini ayırdığını new TypeName[], ancak yıkıcı deleteyerine yanlış kullandığını varsayalım delete[]. Yapıcı ve yıkıcı ayrı derleme birimlerinde tanımlanmışsa, derleyici, kullanımın yapıcıyı tanımlayan ayrı olarak derlenmiş dosyada tutarsız olduğunu belirleyiciyi tanımlayan dosyayı derlerken nasıl bilebilir?

GNU derleyicileri ile ilgili olarak, öyle değil. Yukarıda belirtildiği gibi, genel durumda bunu yapamaz. Derleyici, tanımsız bir davranış olduğundan, bu tür uyumsuz yeni / silme hatalarını algılamak zorunda değildir. UB derleyici satıcısının "hapisten kurtulun" kartıdır.

Valgrind gibi araçlar bu tür yeni / silme uyumsuzluklarını algılayabilir ve algılayabilir, ancak çalışma zamanında bunu yapabilir. Sonunda bir yürütülebilir dosya oluşturmak için derlenecek tüm kaynak dosyalarına bakar statik bir analiz aracı olabilir, ama ben bu tür bir hata tespit böyle bir statik analiz aracı yok.

İçin uygun RAII sınıflarını kullanabilirsiniz delete. Bunu yapmanın tek güvenli yolu budur ve bu hata, deletekendinizi çağırırken karşılaşacağınız çok, çok fazla şeyden sadece biridir .

Dinamik ömür boyu kaynakları yönetmek için her zaman sınıfları kullanın ve tür sistemi doğru kaynak tahribatını uygulayacaktır.

Edit: "Ya kodu denetliyorsanız ve değiştiremiyorsanız?" Kahretsin.

Bu özel hata - evet. Bu tür bir hata genellikle: ne yazık ki hayır! Bu, gerçekte yürütmeden yürütme akışını tahmin etmeyi içerir ve bu keyfi programlar için mümkün değildir. (Bu yüzden çoğu derleyici örneğiniz gibi basit vakaları tespit etmeye bile çalışmaz.)

Bu nedenle DeadMG'nin cevabı uygun cevaptır: dikkat ederek doğru bulmaya çalışmayın - insan dikkati yanılgandır. Sağlanan dili kullanın ve bilgisayarın dikkat etmesine izin verin.

Gösterdiğiniz önemsiz durum derleme zamanında tespit edilebilir, çünkü nesnenin örneklenmesi ve imhası aynı kapsamdadır. Genel olarak, silme, örnekleme ile aynı kapsamda, hatta kaynak dosyada değildir. Ve bir C ++ işaretçisinin türü, ayırma şemasını değil, türünün veya dizisinin tek bir nesnesine başvurup başvurmadığı hakkında bilgi taşımaz. Bu nedenle bunu genel olarak derleme zamanında teşhis etmek mümkün değildir.

Neden mümkün olan özel vakaları teşhis etmiyorsunuz?

C ++ 'da, akıllı işaretçiler ve daha üst düzey diziler ( std::vector) gibi kapsamlara bağlı dinamik kaynakların sızmasıyla ilgili araçlar zaten vardır .

Doğru deletelezzeti kullansanız bile , kodunuz yine de istisna güvenli değildir. Arasındaki kod ise new[]ve delete[]dinamik bir çıkış tarafından sona erdiği, silme yürütür olmadı.

Çalışma zamanı algılama gittikçe, Valgrindaraç bunu çalışma zamanında tespit etmek için iyi bir iş çıkarır. İzlemek:

==26781== Command: ./a.out
==26781==
==26781== Mismatched free() / delete / delete []
==26781==    at 0x402ACFC: operator delete(void*) (in /usr/lib/valgrind/vgpreload_memcheck-x86-linux.so)
==26781==    by 0x8048498: main (in /home/kaz/test/a.out)
==26781==  Address 0x4324028 is 0 bytes inside a block of size 80 alloc'd
==26781==    at 0x402B454: operator new[](unsigned int) (in /usr/lib/valgrind/vgpreload_memcheck-x86-linux.so)
==26781==    by 0x8048488: main (in /home/kaz/test/a.out)

Elbette, Valgrind tüm platformlarda çalışmaz ve araç altındaki tüm çalışma zamanı durumlarını yeniden oluşturmak her zaman pratik veya mümkün değildir.

Derleme zamanı / statik analiz zamanı zamanında algılama için bazı önemsiz örnekler:

Aşağıdaki özelliklere sahip bir RHEL7 sunucusunda cppcheck 1.77 and 1.49

> cat test.cc
#include <memory>
int main(){char* buf = new char[10];delete buf;}

http://cppcheck.sourceforge.net/

> cppcheck -x c++ test.cc
Checking test.cc ...
[test.cc:2]: (error) Mismatching allocation and deallocation: buf

İle clang++ 3.7.1RHEL7 üzerinde

> clang++ --analyze -x c++ test.cc
test.cc:2:37: warning: Memory allocated by 'new[]' should be deallocated by
'delete[]', not 'delete'
int main(){char* buf = new char[10];delete buf;}
                                    ^~~~~~~~~~
1 warning generated.

Clang Statik Analizörü ayrıca std::unique_ptrgeçilmediğini de tespit edebilir<char[]>

> cat test2.cc
#include <memory>
int main(){std::unique_ptr<char> buf(new char[10]);}

https://clang-analyzer.llvm.org/

> clang++ --analyze -x c++ -std=c++11 test2.cc
In file included from test2.cc:1:
In file included from /opt/rh/devtoolset-4/root/usr/lib/gcc/x86_64-redhat-linux/5.3.1/
../../../../include/c++/5.3.1/memory:81:
/opt/rh/devtoolset-4/root/usr/lib/gcc/x86_64-redhat-linux/5.3.1/
../../../../include/c++/5.3.1/bits/unique_ptr.h:76:2: 
warning: Memory allocated by
      'new[]' should be deallocated by 'delete[]', not 'delete'
        delete __ptr;
        ^~~~~~~~~~~~
1 warning generated.

Aşağıda clang, testler ve bulduğum bir hata ekledi çalışma için bir bağlantı ile güncelleme.

Bu, clang'a reviews.llvm.org/D4661 - "'Yeni' ve 'sil' kullanımlarını yanlış eşleştirmeyi algıla" ile eklendi .

Testler test aşamasındadır / Analiz / EşleşmiyorDeallocator-checker-test.mm

Bu açık hatayı buldum - bugs.llvm.org/show_bug.cgi?id=24819