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

Complete a bit windows.cfg: 

- Add two noreturn functions (BSOD ;-))
- Add debuggers routine for printing messages
- Fix two prototypes of CRT which were described as secure whereas they aren't
This commit is contained in:
Pierre Schweitzer 2014-03-30 13:32:12 +02:00
parent 060f9035c9
commit 26a2a9ea37
1 changed files with 14 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
cfg/windows.cfg
View File

@ -139,12 +139,24 @@
<noreturn>false</noreturn>
</function>
<function name="KeBugCheck">
<noreturn>true</noreturn>
</function>
<function name="KeBugCheckEx">
<noreturn>true</noreturn>
</function>
<function name="printf_s"> <noreturn>false</noreturn> <formatstr secure="true"/> <arg nr="1"><formatstr/><not-uninit/><not-null/></arg> </function>
<function name="wprintf_s"> <noreturn>false</noreturn> <formatstr secure="true"/> <arg nr="1"><formatstr/><not-uninit/><not-null/></arg> </function>
<function name="fprintf_s"> <noreturn>false</noreturn> <formatstr secure="true"/> <arg nr="2"><formatstr/><not-uninit/><not-null/></arg> </function>
<function name="fwprintf_s"> <noreturn>false</noreturn> <formatstr secure="true"/> <arg nr="2"><formatstr/><not-uninit/><not-null/></arg> </function>
<function name="_snprintf"> <noreturn>false</noreturn> <formatstr secure="true"/> <arg nr="3"><formatstr/><not-uninit/><not-null/></arg> </function>
<function name="_snwprintf"> <noreturn>false</noreturn> <formatstr secure="true"/> <arg nr="3"><formatstr/><not-uninit/><not-null/></arg> </function>
<function name="_snprintf_s"> <noreturn>false</noreturn> <formatstr secure="true"/> <arg nr="4"><formatstr/><not-uninit/><not-null/></arg> </function>
<function name="_snwprintf_s"> <noreturn>false</noreturn> <formatstr secure="true"/> <arg nr="4"><formatstr/><not-uninit/><not-null/></arg> </function>
<function name="DbgPrint"> <noreturn>false</noreturn> <arg nr="1"><formatstr/><not-uninit/><not-null/></arg> </function>
<function name="DbgPrintEx"> <noreturn>false</noreturn> <arg nr="3"><formatstr/><not-uninit/><not-null/></arg> </function>
<function name="vDbgPrintEx"> <noreturn>false</noreturn> <arg nr="3"><formatstr/><not-uninit/><not-null/></arg> </function>
<function name="vDbgPrintExWithPrefix"> <noreturn>false</noreturn> <arg nr="4"><formatstr/><not-uninit/><not-null/></arg> </function>
<function name="scanf_s"> <noreturn>false</noreturn> <formatstr scan="true" secure="true"/> <arg nr="1"><formatstr/><not-uninit/><not-null/></arg> </function>
<function name="wscanf_s"> <noreturn>false</noreturn> <formatstr scan="true" secure="true"/> <arg nr="1"><formatstr/><not-uninit/><not-null/></arg> </function>