컴파일 타임에 delete []와 delete의 오용 탐지

delete컴파일 타임에 아래에 주석 처리 된 오류 를 감지 할 수 있는지 알고 싶습니다 . 특히 g ++ 컴파일러에 대해 듣고 싶습니다.

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

일반적으로 컴파일러는 이러한 오류를 감지 할 수 없습니다. 예 : 일부 클래스의 생성자 new TypeName[]가을 사용 하여 일부 데이터 멤버를 할당 하지만 소멸자가 delete대신을 잘못 사용 한다고 가정합니다 delete[]. 생성자와 소멸자가 별도의 컴파일 단위로 정의 된 경우, 소멸자를 정의하는 파일을 컴파일 할 때 컴파일러가 생성자를 정의하는 별도로 컴파일 된 파일의 사용법과 일치하지 않음을 어떻게 알 수 있습니까?

GNU 컴파일러와 관련해서는 그렇지 않습니다. 위에서 언급했듯이 일반적인 경우에는 그렇게 할 수 없습니다. 컴파일러는 정의되지 않은 동작이므로 일치하지 않는 새로운 / 삭제 오류를 감지하지 않아도됩니다. UB는 컴파일러 공급 업체의 "감옥 탈옥"카드입니다.

valgrind와 같은 도구는 이러한 종류의 새로운 / 삭제 불일치를 감지 할 수 있지만 런타임에는 그렇게합니다. 실행 파일을 만들기 위해 결국 컴파일 될 모든 소스 파일을 확인하는 정적 분석 도구가있을 수 있지만 이러한 종류의 오류를 감지하는 정적 분석 도구는 없습니다.

적절한 RAII 클래스를 사용할 수 있습니다 delete. 이것이 유일하게 안전한 방법이며,이 오류는 당신이 delete직접 부를 수있는 매우 많은 것 중 하나 일뿐 입니다.

항상 클래스를 사용하여 동적 평생 리소스를 관리하면 유형 시스템이 올바른 리소스 파괴를 시행합니다.

편집 : "코드를 감사하고 변경할 수 없으면 어떻게합니까?" 당신은 망했어.

이 특정 오류-예. 이런 종류 의 오류는 일반적으로 안타깝게도 아닙니다! 실제로 실행하지 않고 실행 흐름을 예측하는 것은 임의의 프로그램에서는 불가능합니다. (따라서 대부분의 컴파일러는 예제와 같은 간단한 사례를 탐지하지조차 않습니다.)

따라서 DeadMG의 대답은 적절한 것입니다.주의를 기울여 올바르게 시도하지 마십시오. 인간의 관심은 잘못입니다. 언어 제공 수단을 사용하고 컴퓨터에주의를 기울이십시오.

객체의 인스턴스화와 소멸이 동일한 범위에 있기 때문에 컴파일시 사소한 경우를 감지 할 수 있습니다. 일반적으로 삭제는 인스턴스화와 동일한 범위 또는 동일한 소스 파일에 없습니다. 그리고 C ++ 포인터의 타입은 할당 방식은 물론, 타입의 단일 객체를 참조하는지 또는 배열을 참조하는지에 대한 정보를 전달하지 않습니다. 따라서 일반적으로 컴파일 타임에이를 진단 할 수 없습니다.

가능한 특별한 경우를 진단하지 않겠습니까?

C ++에는 범위에 연결된 동적 리소스, 즉 스마트 포인터 및 상위 수준 배열 ( std::vector) 과 관련된 유출을 처리하기위한 도구가 이미 있습니다 .

올바른 delete맛 을 사용하더라도 코드는 여전히 예외 안전하지 않습니다. new[]와 코드 사이의 코드 delete[]가 동적 엑시트에 의해 종료되면 삭제는 실행되지 않습니다.

런타임 감지가 진행되는 Valgrind한이 도구는 런타임에서이를 감지하는 데 효과적입니다. 손목 시계:

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

물론 Valgrind가 모든 플랫폼에서 실행되는 것은 아니며 도구에서 모든 런타임 상황을 재현하는 것이 항상 실용적이거나 가능한 것은 아닙니다.

컴파일 타임 / 정적 분석 시간에 감지하는 몇 가지 간단한 예 :

RHEL7 호스트에서 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

clang++ 3.7.1RHEL7 과 함께

> 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 Static Analyzer는 std::unique_ptr통과하지 못한 경우도 감지 할 수 있습니다<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.

이것을 clang, 테스트 및 내가 찾은 버그에 추가 한 작업에 대한 링크로 아래를 업데이트하십시오.

이것은 reviews.llvm.org/D4661- "일치하지 않는 '신규'와 '삭제'사용을 감지 하여 clang에 추가되었습니다 .

테스트는 테스트 / 분석 / 미스 매치 된 Deallocator-checker-test.mm에 있습니다.

이 열린 버그를 발견했습니다-bugs.llvm.org/show_bug.cgi?id=24819