Skip to content

Commit 87f737c

Browse files
committed
fix
1 parent 876eda1 commit 87f737c

File tree

2 files changed

+26
-0
lines changed

2 files changed

+26
-0
lines changed

c/cert/test/rules/FIO32-C/DoNotPerformFileOperationsOnDevices.expected.clang

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,16 @@
1+
edges
2+
| test.c:20:15:20:23 | array to pointer conversion | test.c:21:8:21:16 | (const char *)... |
3+
| test.c:20:15:20:23 | array to pointer conversion | test.c:21:8:21:16 | file_name |
4+
| test.c:20:15:20:23 | array to pointer conversion | test.c:21:8:21:16 | file_name indirection |
15
| test.c:20:15:20:23 | file_name | test.c:21:8:21:16 | (const char *)... |
26
| test.c:20:15:20:23 | file_name | test.c:21:8:21:16 | file_name |
37
| test.c:20:15:20:23 | file_name | test.c:21:8:21:16 | file_name indirection |
48
| test.c:20:15:20:23 | scanf output argument | test.c:21:8:21:16 | (const char *)... |
59
| test.c:20:15:20:23 | scanf output argument | test.c:21:8:21:16 | file_name |
610
| test.c:20:15:20:23 | scanf output argument | test.c:21:8:21:16 | file_name indirection |
11+
| test.c:45:15:45:23 | array to pointer conversion | test.c:46:29:46:37 | (LPCTSTR)... |
12+
| test.c:45:15:45:23 | array to pointer conversion | test.c:46:29:46:37 | file_name |
13+
| test.c:45:15:45:23 | array to pointer conversion | test.c:46:29:46:37 | file_name indirection |
714
| test.c:45:15:45:23 | file_name | test.c:46:29:46:37 | (LPCTSTR)... |
815
| test.c:45:15:45:23 | file_name | test.c:46:29:46:37 | file_name |
916
| test.c:45:15:45:23 | file_name | test.c:46:29:46:37 | file_name indirection |
@@ -12,16 +19,22 @@
1219
| test.c:45:15:45:23 | scanf output argument | test.c:46:29:46:37 | file_name indirection |
1320
subpaths
1421
nodes
22+
| test.c:20:15:20:23 | array to pointer conversion | semmle.label | array to pointer conversion |
1523
| test.c:20:15:20:23 | file_name | semmle.label | file_name |
1624
| test.c:20:15:20:23 | scanf output argument | semmle.label | scanf output argument |
1725
| test.c:21:8:21:16 | (const char *)... | semmle.label | (const char *)... |
26+
| test.c:21:8:21:16 | (const char *)... | semmle.label | (const char *)... |
1827
| test.c:21:8:21:16 | file_name | semmle.label | file_name |
1928
| test.c:21:8:21:16 | file_name indirection | semmle.label | file_name indirection |
29+
| test.c:21:8:21:16 | file_name indirection | semmle.label | file_name indirection |
30+
| test.c:45:15:45:23 | array to pointer conversion | semmle.label | array to pointer conversion |
2031
| test.c:45:15:45:23 | file_name | semmle.label | file_name |
2132
| test.c:45:15:45:23 | scanf output argument | semmle.label | scanf output argument |
2233
| test.c:46:29:46:37 | (LPCTSTR)... | semmle.label | (LPCTSTR)... |
34+
| test.c:46:29:46:37 | (LPCTSTR)... | semmle.label | (LPCTSTR)... |
2335
| test.c:46:29:46:37 | file_name | semmle.label | file_name |
2436
| test.c:46:29:46:37 | file_name indirection | semmle.label | file_name indirection |
37+
| test.c:46:29:46:37 | file_name indirection | semmle.label | file_name indirection |
2538
#select
2639
| test.c:21:8:21:16 | file_name | test.c:20:15:20:23 | file_name | test.c:21:8:21:16 | file_name | This argument to a file access function is derived from $@ and then passed to func(file_name), which calls fopen(__filename) | test.c:20:15:20:23 | file_name | user input (scanf) |
2740
| test.c:46:29:46:37 | file_name | test.c:45:15:45:23 | file_name | test.c:46:29:46:37 | file_name | This argument to a file access function is derived from $@ and then passed to CreateFile(lpFileName) | test.c:45:15:45:23 | file_name | user input (scanf) |

c/cert/test/rules/FIO32-C/DoNotPerformFileOperationsOnDevices.expected.gcc

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,16 @@
1+
edges
2+
| test.c:20:15:20:23 | array to pointer conversion | test.c:21:8:21:16 | (const char *)... |
3+
| test.c:20:15:20:23 | array to pointer conversion | test.c:21:8:21:16 | file_name |
4+
| test.c:20:15:20:23 | array to pointer conversion | test.c:21:8:21:16 | file_name indirection |
15
| test.c:20:15:20:23 | file_name | test.c:21:8:21:16 | (const char *)... |
26
| test.c:20:15:20:23 | file_name | test.c:21:8:21:16 | file_name |
37
| test.c:20:15:20:23 | file_name | test.c:21:8:21:16 | file_name indirection |
48
| test.c:20:15:20:23 | scanf output argument | test.c:21:8:21:16 | (const char *)... |
59
| test.c:20:15:20:23 | scanf output argument | test.c:21:8:21:16 | file_name |
610
| test.c:20:15:20:23 | scanf output argument | test.c:21:8:21:16 | file_name indirection |
11+
| test.c:45:15:45:23 | array to pointer conversion | test.c:46:29:46:37 | (LPCTSTR)... |
12+
| test.c:45:15:45:23 | array to pointer conversion | test.c:46:29:46:37 | file_name |
13+
| test.c:45:15:45:23 | array to pointer conversion | test.c:46:29:46:37 | file_name indirection |
714
| test.c:45:15:45:23 | file_name | test.c:46:29:46:37 | (LPCTSTR)... |
815
| test.c:45:15:45:23 | file_name | test.c:46:29:46:37 | file_name |
916
| test.c:45:15:45:23 | file_name | test.c:46:29:46:37 | file_name indirection |
@@ -12,16 +19,22 @@
1219
| test.c:45:15:45:23 | scanf output argument | test.c:46:29:46:37 | file_name indirection |
1320
subpaths
1421
nodes
22+
| test.c:20:15:20:23 | array to pointer conversion | semmle.label | array to pointer conversion |
1523
| test.c:20:15:20:23 | file_name | semmle.label | file_name |
1624
| test.c:20:15:20:23 | scanf output argument | semmle.label | scanf output argument |
1725
| test.c:21:8:21:16 | (const char *)... | semmle.label | (const char *)... |
26+
| test.c:21:8:21:16 | (const char *)... | semmle.label | (const char *)... |
1827
| test.c:21:8:21:16 | file_name | semmle.label | file_name |
1928
| test.c:21:8:21:16 | file_name indirection | semmle.label | file_name indirection |
29+
| test.c:21:8:21:16 | file_name indirection | semmle.label | file_name indirection |
30+
| test.c:45:15:45:23 | array to pointer conversion | semmle.label | array to pointer conversion |
2031
| test.c:45:15:45:23 | file_name | semmle.label | file_name |
2132
| test.c:45:15:45:23 | scanf output argument | semmle.label | scanf output argument |
2233
| test.c:46:29:46:37 | (LPCTSTR)... | semmle.label | (LPCTSTR)... |
34+
| test.c:46:29:46:37 | (LPCTSTR)... | semmle.label | (LPCTSTR)... |
2335
| test.c:46:29:46:37 | file_name | semmle.label | file_name |
2436
| test.c:46:29:46:37 | file_name indirection | semmle.label | file_name indirection |
37+
| test.c:46:29:46:37 | file_name indirection | semmle.label | file_name indirection |
2538
#select
2639
| test.c:21:8:21:16 | file_name | test.c:20:15:20:23 | file_name | test.c:21:8:21:16 | file_name | This argument to a file access function is derived from $@ and then passed to func(file_name), which calls fopen(__filename) | test.c:20:15:20:23 | file_name | user input (scanf) |
2740
| test.c:46:29:46:37 | file_name | test.c:45:15:45:23 | file_name | test.c:46:29:46:37 | file_name | This argument to a file access function is derived from $@ and then passed to CreateFile(lpFileName) | test.c:45:15:45:23 | file_name | user input (scanf) |

0 commit comments

Comments
 (0)