fix: SAL

MiroKaku · Jul 11, 2024 · 29e9328 · 29e9328
1 parent 5b7f2d3
commit 29e9328
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 7 deletions.
diff --git a/Veil.Test/Veil.Test.Kernel.C.vcxproj b/Veil.Test/Veil.Test.Kernel.C.vcxproj
@@ -52,6 +52,9 @@
     <DebuggerFlavor>DbgengKernelDebugger</DebuggerFlavor>
     <RunCodeAnalysis>true</RunCodeAnalysis>
   </PropertyGroup>
+  <PropertyGroup>
+    <Inf2CatUseLocalTime>true</Inf2CatUseLocalTime>
+  </PropertyGroup>
   <ItemDefinitionGroup>
     <DriverSign>
       <FileDigestAlgorithm>sha256</FileDigestAlgorithm>

diff --git a/Veil.Test/Veil.Test.Kernel.vcxproj b/Veil.Test/Veil.Test.Kernel.vcxproj
@@ -47,11 +47,13 @@
     <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
   </ImportGroup>
   <PropertyGroup Label="UserMacros" />
-  <PropertyGroup />
   <PropertyGroup>
     <DebuggerFlavor>DbgengKernelDebugger</DebuggerFlavor>
     <RunCodeAnalysis>true</RunCodeAnalysis>
   </PropertyGroup>
+  <PropertyGroup>
+    <Inf2CatUseLocalTime>true</Inf2CatUseLocalTime>
+  </PropertyGroup>
   <ItemDefinitionGroup>
     <DriverSign>
       <FileDigestAlgorithm>sha256</FileDigestAlgorithm>

diff --git a/Veil/Veil.System.Executive.h b/Veil/Veil.System.Executive.h
@@ -8191,25 +8191,25 @@ ExReleasePushLockSharedEx(
 _Must_inspect_result_
 _IRQL_requires_max_(APC_LEVEL)
 _Requires_lock_held_(_Global_critical_region_)
-_Post_satisfies_(return == FALSE || return == TRUE)
+_Post_satisfies_(return == 0 || return == 1)
 NTKERNELAPI
 BOOLEAN
 FASTCALL
 ExTryAcquirePushLockExclusiveEx(
-    _When_(return != FALSE, _Requires_lock_not_held_(*_Curr_) _Acquires_lock_(*_Curr_))
+    _When_(return != 0, _Requires_lock_not_held_(*_Curr_) _Acquires_lock_(*_Curr_))
     _Inout_ PEX_PUSH_LOCK PushLock,
     _In_ ULONG Flags
 );
 
 _Must_inspect_result_
-_IRQL_requires_max_(APC_LEVEL)
+_IRQL_requires_max_(DISPATCH_LEVEL)
 _Requires_lock_held_(_Global_critical_region_)
-_Post_satisfies_(return == FALSE || return == TRUE)
+_Post_satisfies_(return == 0 || return == 1)
 NTKERNELAPI
 BOOLEAN
 FASTCALL
 ExTryAcquirePushLockSharedEx(
-    _When_(return != FALSE, _Requires_lock_not_held_(*_Curr_) _Acquires_lock_(*_Curr_))
+    _When_(return != 0, _Requires_lock_not_held_(*_Curr_) _Acquires_lock_(*_Curr_))
     _Inout_ PEX_PUSH_LOCK PushLock,
     _In_ ULONG Flags
 );

diff --git a/Veil/Veil.System.IOManager.h b/Veil/Veil.System.IOManager.h
@@ -2136,7 +2136,7 @@ NtCopyFileChunk(
     _In_ ULONG Flags
 );
 
-_IRQL_requires_max_(PASSIVE_LEVEL)
+//_IRQL_requires_max_(PASSIVE_LEVEL)
 NTSYSAPI
 NTSTATUS
 NTAPI