네이티브 최소 규칙 규칙 집합
Microsoft Native Minimum 규칙은 잠재적 보안 허점 및 응용 프로그램 충돌을 포함하여 네이티브 코드의 가장 중요한 문제에 초점을 맞춥니다.네이티브 프로젝트에 대해 만드는 모든 사용자 지정 규칙 집합에 이 규칙 집합을 포함해야 합니다.
규칙 |
설명 |
---|---|
초기화되지 않은 메모리 사용 |
|
Null 포인터 역참조 |
|
확인되지 않은 값 사용 |
|
호출의 0 종료 |
|
잘못된 연결 |
|
Format 함수에 문자열 인수 없음 |
|
Format 함수에 정수 인수 없음 |
|
Format 함수에 포인터 인수 없음 |
|
Format 함수에 문자열 포인터 인수 없음 |
|
초기화되지 않은 메모리 반환 중입니다. |
|
인덱스가 버퍼 최대값을 초과함 |
|
인덱스가 스택 버퍼 최대값을 초과함 |
|
Format 함수에 부동 인수 없음 |
|
Format 함수의 추가 인수 |
|
Format 함수의 비부동 인수 |
|
Format 함수의 비정수 인수 |
|
Format 함수의 비문자 인수 |
|
잘못된 문자열 캐스팅 |
|
잘못된 CreateProcess 호출 |
|
Format 함수의 개체 인수 잘못됨 |
|
비트 논리 부정-및 우선 순위 |
|
비트 논리 부정-또는 우선 순위 |
|
Format 함수에 대한 잘못된 문자열 인수 |
|
Format 함수에 대한 잘못된 와이드 문자열 인수 |
|
크기 및 개수 사용 불일치 |
|
잘못된 변수 인수 함수 호출 |
|
잠재적 인수 형식 불일치 |
|
읽기 오버런 |
|
쓰기 오버런 |
|
잘못된 매개 변수 값 |
|
잘못된 특성 속성 |
|
특성 속성 값 충돌 |
|
참조는 Null일 수 없음 |
|
비포인터에 대한 Null |
|
Void에 대한 MustCheck |
|
비포인터 또는 배열에 대한 버퍼 크기 |
|
Null 역참조 0에서 불일치 |
|
상수에 대한 쓰기 액세스 |
|
사전 조건에서 반환이 사용됨 |
|
비포인터에 대한 Null 종료 |
|
MustCheck는 Yes 또는 No여야 함 |
|
버퍼 크기가 없는 요소 크기 |
|
버퍼 크기가 배열 크기를 초과함 |
|
비포인터에 대한 버퍼 크기 |
|
특성에 대한 속성 없음 |
|
읽기 불가능 버퍼에 대한 유효 크기 |
|
쓰기 불가능 버퍼에 대한 쓰기 가능 크기 |
|
주석이 잘못 되었습니다: 'NeedsRelease' 속성의 값이 예 또는 아니요이어야 합니다. |
|
역참조 문자열 크기가 잘못 되었습니다. |
|
잘못된 크기 문자열 형식 |
|
문자열 매개 변수의 크기가 잘못 되었습니다. |
|
잘못된 크기 문자열 접근할 수 없는 위치 |
|
잘못된 크기를 문자열 버퍼 형식입니다. |
|
경고 C6527: 주석이 잘못되었습니다. NeedsRelease 속성은 void 형식의 값에 사용할 수 없습니다. |
|
인식할 수 없는 형식 문자열 스타일 |
|
이 함수에 특성 주석을 사용하면 기존의 모든 주석이 무효화됩니다. |
|
크기 사양이 잘못되었습니다. 식을 구문 분석할 수 없습니다. |
|
Deref= 또는 Notref=가 잘못되었습니다. 식을 구문 분석할 수 없습니다. |
|
값이 올바른 Yes/No/Maybe 값이 아닙니다. |
|
값이 문자열 값이 아닙니다. |
|
값이 숫자가 아닙니다. |
|
예기치 않은 주석 식 오류가 발생했습니다. |
|
주석 인수 개수가 예상 된 주석에 대한 인수의 실제 수가 맞지 않습니다. |
|
주석에 대해 예기치 않은 주석 오류가 발생했습니다. |
|
주석이 추가된 매개 변수는 포인터여야 합니다. |
|
NULL 포인터를 역참조하고 있습니다.다른 포인터와 포인터가 NULL 값을 포함 합니다. |
|
비정적 멤버에 대한 잘못된 참조입니다. |
|
클래스 멤버에 대한 모호한 참조입니다. |
|
_Success_ 또는 _On_failure_가 잘못된 컨텍스트에서 사용되었습니다. |
|
'->': 왼쪽 피연산자가 구조체를 가리킵니다. |
|
왼쪽 피연산자가 구조체를 가리킵니다. '.'를 사용하십시오. |
|
_On_failure_ 컨텍스트에 대한 주석이 명시적 사전 컨텍스트에 없어야 합니다. |
|
SAL_context에 대해 정적 컨텍스트 이름이 필요합니다. |
|
주석에 대한 포인터 식이 있어야 합니다. |
|
이전 선언을 수정하지 않고 참조하려면 _Use_decl_annotations_ 주석을 사용해야 합니다. |
|
특성 매개 변수 이름은 p1...p9여야 합니다. |
|
이미 typefix가 있는 매개 변수에 typefix를 적용할 수 없습니다. |
|
주석은 특정 함수 매개 변수에 대한 사전 조건에만 적용됩니다. |
|
함수의 경우 주석에 대한 매개 변수 개수가 파일에 있는 개수와 일치하지 않습니다. |
|
함수에 대해 매개 변수의 경우 주석 매개 변수 개수가 파일에 있는 개수와 일치하지 않습니다. |
|
주석에 있는 매개 변수 주석에 열거의 멤버가 필요합니다. |
|
주석에 있는 매개 변수 주석에 정수 식이 필요합니다. |
|
주석에 있는 매개 변수에 문자열 식이 필요합니다. |
|
주석에 __yes, __no 또는 __maybe가 필요합니다. |
|
주석, 매개 변수에 대해 토큰/식별자가 필요한데 없습니다. |
|
주석에 매개 변수가 필요합니다. |
|
주석에서 필요한 수의 매개 변수를 찾을 수 없습니다. |
|
또한 주석은 현재 선언에서 PrimOp일 수 없습니다. |
|
또한 주석은 PrimOp일 수 없습니다(이전 선언 참조). |
|
주석 매개 변수: 주석에서 형식을 사용할 수 없습니다. |
|
주석에서 매개 변수를 지원하지 않습니다. |
|
매개 변수 형식에 멤버가 없습니다. |
|
주석은 배열에서만 유효합니다. |
|
Pre, post 또는 deref가 주석에 적용되지 않았습니다. |
|
Pre, post 또는 deref가 블록에 적용되었습니다. |
|
__at_ 식이 현재 함수에 적용되지 않습니다. |
|
함수는 단독으로 주석으로 사용할 수 없습니다. |
|
주석은 식에서 사용할 수 없습니다. |
|
매개 변수의 주석은 더 이상 지원되지 않습니다. |
|
매개 변수의 주석에 value, stringValue 및 longValue가 두 개 이상 있습니다.paramn=xxx를 사용하십시오. |
|
경고 28239: 매개 변수의 주석에 value, stringValue 또는 longValue와 paramn=xxx가 모두 있습니다.paramn=xxx만 사용하십시오. |
|
매개 변수의 주석에 param2는 있는데 param1이 없습니다. |
|
매개 변수의 함수에 대한 주석을 인식할 수 없습니다. |
|
매개 변수의 함수에 대한 주석에 실제 형식 주석이 허용하는 것보다 많은 역참조가 필요합니다. |
|
함수에 대한 주석에서 멤버가 아닌 함수에 'this'를 주석으로 추가합니다. |
|
함수 매개 변수에 주석을 매개 변수 형식이 일치 하지 않습니다. |
|
함수에 대한 주석이 일치하지 않습니다. 이전 인스턴스에 오류가 있습니다. |
|
함수에 대한 주석이 일치하지 않습니다. 이 인스턴스에 오류가 있습니다. |
|
경고 C28253: 함수에 대한 주석이 일치하지 않습니다. 매개 변수의 이 인스턴스에 다른 주석이 있습니다. |
|
경고 C28253: 함수에 대한 주석이 일치하지 않습니다. 매개 변수의 이 인스턴스에 다른 주석이 있습니다. |
|
dynamic_cast<>()는 주석에서 지원되지 않습니다. |
|
함수에 주석에 대한 주석 구문 오류가 있습니다. |
|
내장 주석에 대한 조건부 주석에 구문 오류가 있습니다. |
|
결과 목록 값은 상수여야 합니다. |
|
함수에 주석에 대한 주석 구문 오류가 있습니다. |
|
함수, 매개 변수에 대한 주석이 검사 시 함수 선언과 일치하지 않습니다. |
|
함수의 암시가 함수 선언과 일치하지 않습니다. |
|
_Macro_value_에 대한 매개 변수가 null입니다. |
|
기호의 경우 일치하는 'end'가 없는 'begin'이 있습니다. |
|
기호의 경우 일치하는 'begin'이 없는 'end'가 있습니다. |
|
형식 문자열이 사전 조건에 있어야 합니다. |
|
함수의 경우 매개 변수에 구문 오류가 있습니다. |
|
함수의 경우 끝에 구문 오류가 있습니다. |
|
함수의 경우 _At_() 주석에 구문 오류가 있습니다(인식할 수 없는 매개 변수 이름). |
|
함수의 경우 _At_() 주석에 구문 오류가 있습니다(잘못된 매개 변수 이름). |
|
함수의 경우: ReadableTo 또는 WritableTo에 limit-spec가 매개 변수로 포함되지 않았습니다. |
|
함수에 대한 주석에 실제 매개 변수 개수보다 많은 외부 참조가 있습니다. |
|
게시물에 null/notnull deref 수준 0은 함수에 대한 의미가 없습니다. |
|
연산자에 대한 호환되지 않는 형식의 식 피연산자입니다. |
|
함수의 첫 번째 선언에 대한 주석이 없습니다. |
|
주석에 추가 _Deref_ 연산자가 있습니다. |
|
주석에 모호한 _Deref_ 연산자가 있습니다. |
|
토큰에 부적절하게 배치된 _Notref_ 연산자가 적용되었습니다. |
|
token을(를) 구문 분석하는 동안 오류가 발생했습니다. |
|
주석이 조건부로 적용할 수 없는 상황을 설명합니다. |
|
주석은 동적 값(변수)을 조건에 사용할 수 없는 위치를 설명합니다. |