KsInvalidStreamPointer rule (ks)
The KsInvalidStreamPointer rule verifies if a KS miniport driver provides a valid KS Stream Pointer as a function argument. Typical violations are caused by incorrect pointer handling or a pointer corruption caused by incorrect use of memory.
A valid stream pointer is a leading or trailing edge stream pointer or a stream pointer that has been cloned via KsStreamPointerClone. For more information see Leading and Trailing Edge Stream Pointers.
This rule also verifies that KsStreamPointerDelete has not been used to attempt to delete a non-cloned stream pointer.
Driver model: KS
Bug check(s) found with this rule: Bug Check 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x0008100C)
Example
The following code violates this rule.
PKKSSTREAM_POINTER StreamPointer = KsPinGetLeadingEdgeStreamPointer (Pin, KSSTREAM_POINTER_STATE_UNLOCKED);
//
// ERROR: KsStreamPointerDelete can only be called on clone stream pointers.
//
KsStreamPointerDelete (StreamPointer);
This code also violates the rule.
KsStreamPointerDelete (NULL);
How to test
| At run time |
|---|
To verify this rule, open a Command Prompt window. Enter a Driver Verifier command and specify /domain ks. For example: For more information, see Driver Verifier. |
verifier /domain ks [options] /driver <yourdriver>
| At run time |
|---|
Run Driver Verifier and select the DDI compliance checking option. |
Applies to
KsStreamPointerDelete
KsStreamPointerAdvance
KsStreamPointerAdvanceOffsetsAndUnlock
KsStreamPointerCancelTimeout
KsStreamPointerGetIrp
KsStreamPointerGetMdl
KsStreamPointerGetNextClone
KsStreamPointerLock
KsStreamPointerScheduleTimeout
KsStreamPointerSetStatusCode
KsStreamPointerUnlock