사용자 정의 검사기에 대한 Coverity 참조 함수 입력

-1

함수 (Pointer, Array, Integer)의 일반적인 인수를 취하고 사용자 정의 검사기를 작성할 때 표현식을 뒷받침하는 값을 얻는 간단한 방법이 있습니까? 예를 들어 다음과 같은 함수와 일치합니다.사용자 정의 검사기에 대한 Coverity 참조 함수 입력

Pointer p; 

Integer i; 

CallSite f("func"); 

if(MATCH(f(p,i))) 
    //get function arguments

p와 i를 지원하는 값을 가져 오는 간단한 방법이 있습니까? 감사.

는 ** 언어는 C++ 사용자 정의 검사를

2011-12-08 Batman

사용중인 언어를 추가하십시오. – RRUZ

포스터가 적어도 현재 버전에서 언급 한 Coverity SDK는 C/C++ 분석 만 지원하므로 해당 언어는 (미묘하게) 질문에 함축되어 있습니다. –

정적으로 이러한 변수의 런타임 값을 얻을 수있는 방법은 없습니다를 확인하는 것입니다.

단순한 정적 분석 검사기의 범위를 벗어나는 경우가 더 정확할 수도 있습니다.

리터럴 값이나 상수를 전달하는 경우는 예외입니다.

2011-12-09 19:42:55

답변