walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

windows.cfg: Enhance support for IO/IOCTL functionality (#1532)

This commit is contained in:
Sebastian 2018-12-20 14:43:48 +01:00 committed by GitHub
parent 7ff0968853
commit 79d9c5b283
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 73 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

73
cfg/windows.cfg
View File

@ -5463,6 +5463,77 @@ HFONT CreateFont(
<not-bool/>
</arg>
</function>
<!-- BOOL DeviceIoControl(
_In_ HANDLE hDevice,
_In_ DWORD dwIoControlCode,
_In_reads_bytes_opt_(nInBufferSize) LPVOID lpInBuffer,
_In_ DWORD nInBufferSize,
_Out_writes_bytes_to_opt_(nOutBufferSize, *lpBytesReturned) LPVOID lpOutBuffer,
_In_ DWORD nOutBufferSize,
_Out_opt_ LPDWORD lpBytesReturned,
_Inout_opt_ LPOVERLAPPED lpOverlapped); -->
<function name="DeviceIoControl">
<noreturn>false</noreturn>
<returnValue type="BOOL"/>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
<arg nr="3">
<minsize type="argvalue" arg="4"/>
</arg>
<arg nr="4">
<not-uninit/>
<valid>0:</valid>
</arg>
<arg nr="5">
<minsize type="argvalue" arg="6"/>
</arg>
<arg nr="6">
<not-uninit/>
<valid>0:</valid>
</arg>
<arg nr="7"/>
<arg nr="8">
<not-bool/>
</arg>
</function>
<!-- BOOL GetOverlappedResult(
_In_ HANDLE hFile,
_In_ LPOVERLAPPED lpOverlapped,
_Out_ LPDWORD lpNumberOfBytesTransferred,
_In_ BOOL bWait); -->
<function name="GetOverlappedResult">
<noreturn>false</noreturn>
<returnValue type="BOOL"/>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
<not-null/>
</arg>
<arg nr="3">
<not-null/>
</arg>
<arg nr="4">
<not-uninit/>
</arg>
</function>
<!-- BOOL WINAPI CancelIo(
_In_ HANDLE hFile); -->
<function name="CancelIo">
<noreturn>false</noreturn>
<returnValue type="BOOL"/>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<podtype name="LARGE_INTEGER" sign="s" size="8"/>
<podtype name="POINTER_SIGNED" sign="s"/>
<podtype name="POINTER_UNSIGNED" sign="u"/>
@ -5537,6 +5608,8 @@ HFONT CreateFont(
<define name="SCODE_FACILITY(sc)" value="(((sc) &gt;&gt; 16) &amp; 0x1fff)"/>
<!-- DWORD SCODE_SEVERITY( SCODE sc );-->
<define name="SCODE_SEVERITY(sc)" value="(((sc) &gt;&gt; 31) &amp; 0x1)"/>
<!-- winioctl.h -->
<define name="CTL_CODE(DeviceType,Function,Method,Access)" value="(((DeviceType) &lt;&lt; 16) | ((Access) &lt;&lt; 14) | ((Function) &lt;&lt; 2) | (Method))"/>
<!-- AccCtrl.h: Indicates an access-allowed entry. -->
<define name="ACTRL_ACCESS_ALLOWED" value="0x00000000"/>
<!-- AccCtrl.h: Indicates an access-denied entry. -->