Skip to content

Commit 3c17d90

Browse files
committed
C++: Accept test changes.
1 parent 272e096 commit 3c17d90

File tree

2 files changed

+12
-12
lines changed

2 files changed

+12
-12
lines changed
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
edges
2-
| CWE122_Heap_Based_Buffer_Overflow__c_CWE129_fgets_01.c:30:19:30:29 | fgets output argument | CWE122_Heap_Based_Buffer_Overflow__c_CWE129_fgets_01.c:52:13:52:24 | access to array |
2+
| CWE122_Heap_Based_Buffer_Overflow__c_CWE129_fgets_01.c:30:19:30:29 | fgets output argument | CWE122_Heap_Based_Buffer_Overflow__c_CWE129_fgets_01.c:52:20:52:23 | data |
33
nodes
44
| CWE122_Heap_Based_Buffer_Overflow__c_CWE129_fgets_01.c:30:19:30:29 | fgets output argument | semmle.label | fgets output argument |
5-
| CWE122_Heap_Based_Buffer_Overflow__c_CWE129_fgets_01.c:52:13:52:24 | access to array | semmle.label | access to array |
5+
| CWE122_Heap_Based_Buffer_Overflow__c_CWE129_fgets_01.c:52:20:52:23 | data | semmle.label | data |
66
subpaths
77
#select
8-
| CWE122_Heap_Based_Buffer_Overflow__c_CWE129_fgets_01.c:52:13:52:24 | access to array | CWE122_Heap_Based_Buffer_Overflow__c_CWE129_fgets_01.c:30:19:30:29 | fgets output argument | CWE122_Heap_Based_Buffer_Overflow__c_CWE129_fgets_01.c:52:13:52:24 | access to array | $@ flows to here and is used in an array indexing expression, potentially causing an invalid access. | CWE122_Heap_Based_Buffer_Overflow__c_CWE129_fgets_01.c:30:19:30:29 | fgets output argument | String read by fgets |
8+
| CWE122_Heap_Based_Buffer_Overflow__c_CWE129_fgets_01.c:52:20:52:23 | data | CWE122_Heap_Based_Buffer_Overflow__c_CWE129_fgets_01.c:30:19:30:29 | fgets output argument | CWE122_Heap_Based_Buffer_Overflow__c_CWE129_fgets_01.c:52:20:52:23 | data | $@ flows to here and is used in an array indexing expression, potentially causing an invalid access. | CWE122_Heap_Based_Buffer_Overflow__c_CWE129_fgets_01.c:30:19:30:29 | fgets output argument | String read by fgets |

cpp/ql/test/query-tests/Security/CWE/CWE-129/semmle/ImproperArrayIndexValidation/ImproperArrayIndexValidation.expected

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -5,22 +5,22 @@ edges
55
| test1.c:9:9:9:9 | i | test1.c:16:16:16:16 | i |
66
| test1.c:11:9:11:9 | i | test1.c:32:16:32:16 | i |
77
| test1.c:13:9:13:9 | i | test1.c:48:16:48:16 | i |
8-
| test1.c:16:16:16:16 | i | test1.c:18:12:18:17 | access to array |
9-
| test1.c:32:16:32:16 | i | test1.c:33:3:33:12 | access to array |
10-
| test1.c:48:16:48:16 | i | test1.c:53:7:53:16 | access to array |
8+
| test1.c:16:16:16:16 | i | test1.c:18:16:18:16 | i |
9+
| test1.c:32:16:32:16 | i | test1.c:33:11:33:11 | i |
10+
| test1.c:48:16:48:16 | i | test1.c:53:15:53:15 | j |
1111
nodes
1212
| test1.c:8:16:8:19 | argv | semmle.label | argv |
1313
| test1.c:9:9:9:9 | i | semmle.label | i |
1414
| test1.c:11:9:11:9 | i | semmle.label | i |
1515
| test1.c:13:9:13:9 | i | semmle.label | i |
1616
| test1.c:16:16:16:16 | i | semmle.label | i |
17-
| test1.c:18:12:18:17 | access to array | semmle.label | access to array |
17+
| test1.c:18:16:18:16 | i | semmle.label | i |
1818
| test1.c:32:16:32:16 | i | semmle.label | i |
19-
| test1.c:33:3:33:12 | access to array | semmle.label | access to array |
19+
| test1.c:33:11:33:11 | i | semmle.label | i |
2020
| test1.c:48:16:48:16 | i | semmle.label | i |
21-
| test1.c:53:7:53:16 | access to array | semmle.label | access to array |
21+
| test1.c:53:15:53:15 | j | semmle.label | j |
2222
subpaths
2323
#select
24-
| test1.c:18:12:18:17 | access to array | test1.c:8:16:8:19 | argv | test1.c:18:12:18:17 | access to array | $@ flows to here and is used in an array indexing expression, potentially causing an invalid access. | test1.c:8:16:8:19 | argv | a command-line argument |
25-
| test1.c:33:3:33:12 | access to array | test1.c:8:16:8:19 | argv | test1.c:33:3:33:12 | access to array | $@ flows to here and is used in an array indexing expression, potentially causing an invalid access. | test1.c:8:16:8:19 | argv | a command-line argument |
26-
| test1.c:53:7:53:16 | access to array | test1.c:8:16:8:19 | argv | test1.c:53:7:53:16 | access to array | $@ flows to here and is used in an array indexing expression, potentially causing an invalid access. | test1.c:8:16:8:19 | argv | a command-line argument |
24+
| test1.c:18:16:18:16 | i | test1.c:8:16:8:19 | argv | test1.c:18:16:18:16 | i | $@ flows to here and is used in an array indexing expression, potentially causing an invalid access. | test1.c:8:16:8:19 | argv | a command-line argument |
25+
| test1.c:33:11:33:11 | i | test1.c:8:16:8:19 | argv | test1.c:33:11:33:11 | i | $@ flows to here and is used in an array indexing expression, potentially causing an invalid access. | test1.c:8:16:8:19 | argv | a command-line argument |
26+
| test1.c:53:15:53:15 | j | test1.c:8:16:8:19 | argv | test1.c:53:15:53:15 | j | $@ flows to here and is used in an array indexing expression, potentially causing an invalid access. | test1.c:8:16:8:19 | argv | a command-line argument |

0 commit comments

Comments
 (0)