hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Add uninitialized local test

Browse Source
This commit is contained in:
Jeroen Ketema
2025-08-29 10:45:55 +02:00
parent b4d6cb6e5f
commit a145e52faf
2 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/test/query-tests/Security/CWE/CWE-457/semmle/tests/UninitializedLocal.expected
View File

@@ -1,6 +1,7 @@
edges
nodes
| errors.cpp:13:7:13:7 | definition of x | semmle.label | definition of x |
| ms_vacopy.c:4:13:4:15 | definition of va2 | semmle.label | definition of va2 |
| test.cpp:11:6:11:8 | definition of foo | semmle.label | definition of foo |
| test.cpp:111:6:111:8 | definition of foo | semmle.label | definition of foo |
| test.cpp:226:7:226:7 | definition of x | semmle.label | definition of x |
@@ -16,6 +17,7 @@ nodes
| test.cpp:479:6:479:6 | definition of x | semmle.label | definition of x |
#select
| errors.cpp:14:18:14:18 | x | errors.cpp:13:7:13:7 | definition of x | errors.cpp:13:7:13:7 | definition of x | The variable $@ may not be initialized at this access. | errors.cpp:13:7:13:7 | x | x |
| ms_vacopy.c:5:13:5:15 | va2 | ms_vacopy.c:4:13:4:15 | definition of va2 | ms_vacopy.c:4:13:4:15 | definition of va2 | The variable $@ may not be initialized at this access. | ms_vacopy.c:4:13:4:15 | va2 | va2 |
| test.cpp:12:6:12:8 | foo | test.cpp:11:6:11:8 | definition of foo | test.cpp:11:6:11:8 | definition of foo | The variable $@ may not be initialized at this access. | test.cpp:11:6:11:8 | foo | foo |
| test.cpp:113:6:113:8 | foo | test.cpp:111:6:111:8 | definition of foo | test.cpp:111:6:111:8 | definition of foo | The variable $@ may not be initialized at this access. | test.cpp:111:6:111:8 | foo | foo |
| test.cpp:227:3:227:3 | x | test.cpp:226:7:226:7 | definition of x | test.cpp:226:7:226:7 | definition of x | The variable $@ may not be initialized at this access. | test.cpp:226:7:226:7 | x | x |

8
cpp/ql/test/query-tests/Security/CWE/CWE-457/semmle/tests/ms_vacopy.c Normal file
View File

@@ -0,0 +1,8 @@
#include <stdarg.h>
int va_copy_test(va_list va) {
va_list va2;
va_copy(va2, va);
return 0;
}
// semmle-extractor-options: --microsoft