Automatic Inference and Effective Application of Temporal Specifications - Mining Software Specifications: Methodologies and Applications - page 279

TABLE 8.5: Selected Properties Inferred for Windows

P AL Property

1.00 ExAcquireFastMutex ExReleaseFastMutex

ExAcquireRundownProtectionCacheAwareEx
ExReleaseRundownProtectionCacheAwareEx 1.00

1.00 HMFreeObject HMAllocObject

1.00 HvpGetCellMapped HvpReleaseCellMapped

1.00 IoAcquireVpbSpinLock IoReleaseVpbSpinLock

1.00 KeAcquireQueuedSpinLock KeReleaseQueuedSpinLock

1.00 KefAcquireSpinLockAtDpcLevel KefReleaseSpinLockFromDpcLevel

1.00 KeInitThread KeStartThread

1.00 KeSuspendThread KeResumeThread

1.00 KfAcquireSpinLock KfReleaseSpinLock

1.00 KiAcquireSpinLock KiReleaseSpinLock

1.00 LdrLockLoaderLock LdrUnlockLoaderLock

1.00 MiMapPageInHyperSpace MiUnmapPageInHyperSpace

1.00 MiSecureVirtualMemory MiUnsecureVirtualMemory

1.00 MmSecureVirtualMemory MmUnsecureVirtualMemory

1.00 NtfsAcquireFileForCcFlush NtfsReleaseFileForCcFlush

1.00 NtGdiDdGetDC NtGdiDdReleaseDC

1.00 NtUserBeginPaint NtUserEndPaint

1.00 ObpAllocateObjectNameBu er ObpFreeObjectNameBu er

1.00 PopAcquirePolicyLock PopReleasePolicyLock

1.00 RtlAcquirePebLock RtlReleasePebLock

1.00 RtlAcquireSRWLockExclusive RtlReleaseSRWLockExclusive

1.00 RtlActivateActivationContext RtlDeactivateActivationContext

1.00 RtlDeleteTimer RtlCreateTimer

1.00 RtlLockHeap RtlUnlockHeap

1.00 RtlpAllocateActivationContextStackFrame RtlpFreeActivationContextStackFrame

1.00 RtlpAllocateUserBlock RtlpFreeUserBlock

1.00 RtlpFindFirstActivationContextSection RtlFindNextActivationContextSection

1.00 RtlValidSid RtlCopySid

1.00 SeCaptureSid SeReleaseSid

1.00 SeLockSubjectContext SeUnlockSubjectContext

1.00 xxxBeginPaint xxxEndPaint

0.99 ObpCreateHandle ObpCloseHandle

0.99 _GetDC _ReleaseDC

0.99 RtlpRemoveListLookupEntry RtlpAddListLookupEntry

0.99 GreLockDisplay GreUnlockDisplay

RtlActivateActivationContextUnsafeFast

0.99 RtlDeactivateActivationContextUnsafeFast

0.98 CmpRemoveFromDelayedClose CmpAddToDelayedClose

0.98 KeAcquireInStackQueuedSpinLock KeReleaseInStackQueuedSpinLock

0.98 SeCreateAccessState SeDeleteAccessState

KeAcquireInStackQueuedSpinLockRaiseToSynch

0.98 KeReleaseInStackQueuedSpinLockFromDpcLevel

0.97 IoAllocateIrp IoFreeIrp

0.96 CmpLockRegistry CmpUnlockRegistry

0.96 ObAssignSecurity ObDeassignSecurity

0.96 VirtualAllocEx VirtualFreeEx

0.95 ExCreateHandle ExDestroyHandle

0.95 ExpAllocateHandleTableEntry ExpFreeHandleTableEntry

0.95 CmpFreeDelayItem CmpAllocateDelayItem

0.94 ExInitializeResourceLite ExDeleteResourceLite

0.94 RtlEnterCriticalSection RtlLeaveCriticalSection

0.93 MiGetPreviousNode MiGetNextNode

0.92 RtlValidAcl RtlCreateAcl

0.92 ObFastReferenceObject ObFastDereferenceObject

0.92 PsChargeProcessPoolQuota PsReturnSharedPoolQuota

0.91 EtwpInitializeDll EtwpDeinitializeDll

0.90 IoFreeMdl IoAllocateMdl

Note: Properties in gray shade are neither documented anywhere in
MSDN nor checked by SDV.