SAL 주석을 설명하려고했던 MSDN (http://msdn.microsoft.com/en-us/library/hh916383.aspx)의 예제는 일반적인 off-by-one 오류를 찾는 데 도움이 될 수 있습니다. wchar_t * wmemcpy(
_Out_writes_all_(count) wchar_t *dest,
_In_reads_(count) co
약 SAL에 대해 읽었으며 포인터 유형에 대한 주석이 참조 또는 해당 값에 적용되는지 여부가 명확하지 않습니다. 내가 가진 예를 들어, : void f(_In_ type* t);
_In_ 의미 "매개 변수는 사전 상태에서 유효해야하며 수정되지 않습니다." 여기서 그 적용은 t의 주소가 변하지 않거나 t의 값을 의미합니까? 당신의 예에서
SAL에 얼마를 의존 할 수 있습니까? 내가 NSTATUS my_func(_In_ int *p)
{
if (NULL == p) {
return STATUS_INVALID_PARAMETER;
}
*p = 1;
return STATUS_SUCCESS;
}
을 할 필요가 또는 난 그냥 NTSTATUS my_f
내 프로젝트에 Micosoft의 SAL 주석을 사용하려하지만 다음과 같은 경고 메시지가 표시되며 이유를 모르겠습니다. 예를 들어 , 나는 새로운 C++ 콘솔 응용 프로그램을 생성하고이 코드를 가지고 : #include <sal.h>
class Whatever
{
public:
_Check_return_ int Method(__in int n
SAL을 코드에 추가하려고합니다 ... msdn에 따라 작업하고 msdn 예제에서 버그를 발견했습니다. 어떻게 처리해야할지 모릅니다. Outptr가 포인터를 리턴하도록 의도 파라미터 주석을 사용 Understanding SAL 에서 : 여기서 변경된 예 "호출자 포인터 출력합니다 (Outptr 주석 예)"저 작은. 매개 변수 자체는 NULL이 아니어야하며