는, VC++

Question

나는이 코드 조각이에 초기화되지 않은 변수가 사용되는 것은 분명하다

#include <iostream> 

void foo(int *a) 
{ 
    std::cout<<*a<<std::endl; 
} 

int main() 
{ 
    int i; 
    foo(&i); 
} 

을 초기화되지 않은 변수를 결정합니다.

나는 과 마찬가지로 error C4700을 사용했지만 위의 코드에서 컴파일러가 오류로 표시하지 않았습니다.

또한 코드 분석을 실행 해 보았습니다. 문제가 없도록 코드 조각으로보고했습니다.

소스 코드에서 초기화되지 않은 변수를 확인하는 신뢰할 수있는 방법은 무엇입니까?

나는 여기에 멋진 일을한다. 그러나 나는 윈도우 API와 MFC에 대한 많은 호출을 가지고 있기 때문에 나를위한 옵션이 아니다.

Answer 1

초기화되지 않은 변수의 모든 경우를 컴파일러가 결정할 수있는 확실한 방법은 없습니다. Valgrind (및 그와 같은 다른 도구)는 컴파일러가 아니지만 사용자 gx과 같은 동적 분석 도구는 위와 같습니다. 단위 화 된 변수를 사용하는 많은 경우를 감지 할 수있는 정적 분석 도구도 있습니다. 그러나 일반적으로 컴파일러는 이러한 특수 도구와 일치하지 않습니다.

Answer 2

정적 분석 부분에 관해서 : 다른 정적 분석 도구에 액세스 할 수 있다면 VS2013 기준으로 기본 분석기가 너무 많이 잡히지 않을 것입니다. (VS를 사용하여 다른 사람이 놓칠 수있는 것을 잡아내는 것이 좋지만). 여기서는 그렇지 않겠지 만 정적 분석기는 여러 곳에서 볼 수 있거나 다른 개발자가 허용 할 수있는 표준으로 덮어 쓴 패턴을 무시할 수 있습니다. Coverity가이 사건을보고하지 않았다면 놀랄 것입니다. (죄송합니다. 테스트를 위해 ATM을 설치하지 마십시오.) 만약 그것을 무시했다면, 가능한 공유 메모리 주소로 간주 될 수 있습니다.