ValidElementsLength
The ValidElementsLength property specifies either the number of elements 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 be used on pointer and array data types.
The value of this property is specified in terms of another buffer parameter. The number of elements in the buffer parameter is used to determine the actual number of valid elements of an array or of a buffer pointed to by a pointer.
Example
The following code shows how to set the value of the ValidElementsLength property using a buffer parameter:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElementsLength="c") ] char *pc, char c[]);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElementsLength="c") ] char *pc, char c[]);