This documentation is archived and is not being maintained.


The ValidBytesConst property specifies the number of bytes of an array or a buffer pointed to by a pointer that can be legally read. This property is allowed on Pre and Post attributes and can only be applied to pointer or array data types.

The value of this property is a constant of type size_t. To specify a number of readable bytes that depends on another parameter to the function, use the ValidBytes property.

The following code shows how to use the ValidBytesConst property:

// C 
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidBytesConst=2)] char *pc); 
void f([SA_Pre(ValidBytesConst=2)][SA_Post(ValidBytesConst=4)] char *pc);
void f([SA_Pre(ValidBytesConst=2), SA_Post(ValidBytesConst=4)] char *pc);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidBytesConst=2)] char*pc); 
void f([Pre(ValidBytesConst=2)][Post(ValidBytesConst=4)] char *pc); 
void f([Pre(ValidBytesConst=2), Post(ValidBytesConst=4)] char *pc);