혼합 최소 규칙 규칙 집합
Microsoft 혼합 최소 규칙 잠재적 보안 허점 및 응용 프로그램 충돌을 포함 하 여 공용 언어 런타임, 지 원하는 c + + 프로젝트에서 가장 중요 한 문제에 초점을 맞춥니다.공용 언어 런타임을 지원하는 C++ 프로젝트에 대해 만드는 모든 사용자 지정 규칙 집합에 이 규칙 집합을 포함해야 합니다.
규칙 |
설명 |
---|---|
초기화 되지 않은 메모리를 사용 하 여 |
|
Null 포인터를 역참조합니다. |
|
확인 되지 않은 값 사용 |
|
0에서 호출 종료 |
|
잘못 된 연결 |
|
Format 함수 문자열 인수가 없습니다. |
|
Format 함수에 정수 인수가 없습니다. |
|
Format 함수 포인터 인수가 없습니다. |
|
문자열 형식 함수 포인터 인수가 없습니다. |
|
초기화 되지 않은 메모리를 반환합니다. |
|
인덱스 버퍼 최대값을 초과 했습니다. |
|
인덱스 스택 버퍼 최대값을 초과 했습니다. |
|
Format 함수에 Float 인수가 없습니다. |
|
서식 함수 인수 |
|
인수 형식은 함수에 Float |
|
정수가 아닌 인수가 형식 함수 |
|
문자가 아닌 서식 함수 인수 |
|
잘못 된 문자열 캐스팅 |
|
CreateProcess 호출이 잘못 되었습니다. |
|
잘못 된 개체 인수에 형식 함수 |
|
비트 논리 부정-및 우선 순위 |
|
비트 논리 부정-또는 우선 순위 |
|
Format 함수에 잘못 된 문자 문자열 인수 |
|
잘못 된 와이드 문자 문자열 인수에 Format 함수 |
|
일치 하지 않는 크기 및 개수 사용 |
|
잘못 된 가변 인수 함수 호출 |
|
잠재적인 인수 형식이 일치 하지 않습니다 |
|
읽기 오버런 |
|
오버런 쓰기 |
|
잘못 된 매개 변수 값 |
|
잘못 된 특성 속성 |
|
충돌 하는 특성 속성 값 |
|
참조는 Null 일 수 없습니다. |
|
Null 포인터가 아닌 |
|
MustCheck Void에 |
|
포인터나 배열 버퍼 크기 |
|
Null 불일치에 역참조 0 |
|
상수를 쓰기 |
|
전제 조건에 사용 되는 반환 |
|
Null이 아닌 포인터를 종료 합니다. |
|
MustCheck 이어야 예 또는 아니요 |
|
버퍼 크기를 사용 하지 않고 요소 크기 |
|
배열 크기가 버퍼 크기를 초과합니다. |
|
포인터가 아닌 버퍼 크기 |
|
특성에 속성이 없는 |
|
읽을 수 없는 버퍼에서 유효한 크기 |
|
쓸 버퍼에 쓸 수 있는 크기 |
|
주석이 잘못 되었습니다: 'NeedsRelease' 속성의 값은 Yes 또는 No |
|
잘못 된 크기의 문자열을 역참조 |
|
잘못 된 크기의 문자열 형식 |
|
잘못 된 크기의 문자열 매개 변수 |
|
잘못 된 크기의 문자열 위치를 연결할 수 없습니다 |
|
잘못 된 크기 문자열 버퍼 형식입니다. |
|
주석이 잘못 되었습니다: 'NeedsRelease' 속성이 void 형식의 값에 사용할 수 있습니다지 않습니다 |
|
인식할 수 없는 형식 문자열 스타일입니다. |
|
이 함수에 특성 주석 사용 하는 모든 해당 기존 __declspec 주석이 무효화 됩니다. |
|
크기 사양이 잘못 되었습니다: 식을 구문 분석할 수 없습니다 |
|
잘못 된 Deref = 또는 Notref =: 식을 구문 분석할 수 없습니다 |
|
값이 유효한 예/아니오/아마 값 없습니다 |
|
값은 문자열 값이 아닙니다. |
|
값은 숫자가 아닙니다. |
|
주석 식 오류 |
|
주석에 대 한 인수의 실제 수가 예상 되는 수의 주석 인수 맞지 않습니다. |
|
주석 주석 오류 |
|
주석이 추가 되는 매개 변수는 포인터 여야 합니다. |
|
NULL 포인터를 역참조하고 있습니다.다른 포인터 처럼 포인터 같은 NULL 값을 포함 합니다. |
|
비정적 멤버에 대 한 잘못 된 참조 |
|
클래스 멤버에 대한 모호한 참조입니다. |
|
_Success_ 또는 _on_failure_가 잘못 된 컨텍스트에 사용 |
|
구조체에 왼쪽 피연산자 포인트 사용 '->' |
|
왼쪽된 피연산자가 구조체를 사용 '.' |
|
주석 __on_failure 컨텍스트에 대 한 명시적 사전 컨텍스트에서 아니어야 합니다. |
|
정적 컨텍스트 이름을 sal_context에 대 한 예상 |
|
포인터 식 예상에 대 한 주석 |
|
이전 선언을 수정하지 않고 참조하려면 _Use_decl_annotations_ 주석을 사용해야 합니다. |
|
특성 매개 변수 이름은 p1... 여야 p9 |
|
이미 typefix가 있는 매개 변수에 typefix를 적용할 수 없습니다. |
|
CheckReturn 주석 특정 함수 매개 변수에 대 한 사후 조건에만 적용 됩니다. |
|
함수에 대 한 주석 매개 변수 개수가 파일에서 찾은 일치 하지 않습니다. |
|
함수 paramteer에 대 한 주석 매개 변수 파일에서 찾은 일치 하지 않습니다. |
|
주석에 있는 매개 변수 주석에 열거의 멤버가 필요합니다. |
|
정수 식에 대 한 주석을 주석에서 매개 변수 예상 |
|
주석에서 매개 변수를 예상 하는 문자열 식 |
|
__yes, __no, 또는 __maybe에 대 한 주석 필요합니다. |
|
토큰/식별자에 대 한 주석에서 찾을 수 없습니다 매개 변수 |
|
주석 매개 변수를 필요로합니다. |
|
필수 매개 변수의 올바른 개수 주석에서 찾을 수 없습니다. |
|
주석 (현재 선언)에 PrimOp 수도 없습니다. |
|
주석 없습니다 수도 있는 PrimOp (이전 선언을 참조 하십시오.) |
|
주석 매개 변수: 형식 주석을 사용할 수 없습니다 |
|
주석에서 매개 변수를 지원 하지 않습니다. |
|
매개 변수 형식 멤버가 없습니다. |
|
주석 배열에만 유효 |
|
pre, 게시, 또는 모든 주석에 적용할지 않습니다 deref |
|
pre, 게시, 또는 deref 블록에 적용 |
|
__at 식 현재 함수에는 적용 되지 않습니다. |
|
함수는 주석으로 단독 수 없습니다. |
|
주석에서 식은 사용할 수 없습니다. |
|
주석에서 매개 변수를 더 이상 지원 되지 |
|
주석에서 매개 변수 값, stringValue 및 longValue 중 하나 이상 있습니다.사용 하는 paramn = xxx |
|
주석에서 매개 변수 값, stringValue, 또는 Longvalue를 모두 수 있습니다. 및 paramn = xxx.Paramn만 사용 = xxx |
|
매개 변수 2가 있지만 없음 param1 주석 매개 변수에 대 한 |
|
매개 변수에서 함수에 대 한 주석이 인식 되지 않습니다. |
|
함수에 매개 변수를 더 필요 합니다 실제 형식 주석 처리를 허용 하는 것을 주석 역참조 |
|
주석 기능에 대 한 'this' 비-멤버 함수에 주석을 달아합니다 |
|
함수에 대 한 매개 변수 주석 매개 변수의 형식이 일치 하지 않습니다. |
|
함수에 대 한 일관성 없는 주석: 이전 인스턴스 오류가 있습니다. |
|
함수에 대 한 일관성 없는 주석:이 인스턴스에 오류가 발생 했습니다. |
|
함수에 대 한 일관성 없는 주석: 매개 변수는이 인스턴스에서 다른 주석 했습니다. |
|
함수에 대 한 일관성 없는 주석: 매개 변수는이 인스턴스에서 다른 주석 했습니다. |
|
dynamic_cast < > ()에서 주석은 지원 하지 않습니다. |
|
주석에 대 한 함수에서 주석의 구문 오류를 찾을 수 없습니다. |
|
내장 주석에 대 한는 조건부 주석 구문 오류를 찾을 수 없습니다. |
|
결과 목록 값은 상수여야 합니다. |
|
구문 오류에 주석 주석 함수를 찾을 수 없습니다. |
|
조사할 때는 매개 변수가 함수에 대 한 주석, 함수 선언과 일치 하지 않습니다. |
|
함수에 대 한 단서를 함수 선언과 일치 하지 않습니다. |
|
_Macro_value_ 매개 변수가 null입니다. |
|
기호에 대 한는 '시작'에 일치 하는 '끝 없는' 발견 |
|
기호에 대 한 '최종' 짝 없이 '시작' 찾을 수 |
|
형식 문자열에서 있어야 합니다. |
|
함수, 매개 변수 구문 오류 |
|
함수의 경우, 끝 부분에 구문 오류 |
|
함수의 경우, 구문 오류 _At_() 주석 (알 수 없는 매개 변수 이름) |
|
구문 오류 (잘못 된 매개 변수 이름) _At_() 주석에서 함수에 대 한 |
|
함수에 대 한: ReadableTo 또는 WritableTo 매개 변수로 제한-사양 되어 있지 않으면 |
|
실제 매개 변수 개수 보다 더 많은 외부를 함수에 대 한 주석이 포함 되어 있습니다. |
|
게시물에 null/notnull deref 수준 0 인 함수에 대 한 의미가 없습니다. |
|
식 피연산자에 연산자를 호환 되지 않는 형식 |
|
첫 번째 함수 선언에 대 한 주석은 없습니다. |
|
주석에서 여분의 _Deref_ 연산자를 찾을 수 없습니다. |
|
주석에서 모호한 _Deref_ 연산자를 찾을 수 없습니다. |
|
잘못 배치 된 _Notref_ 연산자 적용 토큰을 찾을 수 있습니다. |
|
토큰을 구문 분석 하는 동안 오류가 발견 되었습니다. |
|
주석 조건적으로 적용할 수 없는 상황을 설명 합니다. |
|
주석 위치 (변수) 동적 값의 조건에 사용할 수 없습니다 설명 합니다. |
|
삭제 가능한 필드가 있는 형식은 삭제 가능 해야 합니다. |
|
빈 종료자를 제거 합니다. |
|
삭제 가능한 필드는 삭제 해야 합니다. |
|
Valuetype.equals를 재정의 합니다. 같음 연산자를 오버 로드 합니다. |