Skip to content

Commit 9033670

Browse files
committed
C++: Accept test changes after merge.
1 parent e4126ae commit 9033670

File tree

1 file changed

+2
-9
lines changed

1 file changed

+2
-9
lines changed

cpp/ql/test/experimental/query-tests/Security/CWE/CWE-193/constant-size/ConstantSizeArrayOffByOne.expected

Lines changed: 2 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -40,10 +40,7 @@ edges
4040
| test.cpp:159:25:159:29 | array | test.cpp:161:5:161:10 | access to array |
4141
| test.cpp:159:25:159:29 | array | test.cpp:162:5:162:10 | access to array |
4242
| test.cpp:175:30:175:30 | p | test.cpp:191:27:191:30 | access to array |
43-
| test.cpp:198:14:198:20 | buffer1 | test.cpp:175:30:175:30 | p |
44-
| test.cpp:198:14:198:20 | buffer1 | test.cpp:198:14:198:20 | buffer1 |
45-
| test.cpp:201:14:201:20 | buffer2 | test.cpp:175:30:175:30 | p |
46-
| test.cpp:201:14:201:20 | buffer2 | test.cpp:201:14:201:20 | buffer2 |
43+
| test.cpp:175:30:175:30 | p | test.cpp:191:27:191:30 | access to array |
4744
| test.cpp:204:14:204:20 | buffer3 | test.cpp:175:30:175:30 | p |
4845
| test.cpp:204:14:204:20 | buffer3 | test.cpp:204:14:204:20 | buffer3 |
4946
| test.cpp:207:35:207:35 | p | test.cpp:208:14:208:14 | p |
@@ -113,11 +110,8 @@ nodes
113110
| test.cpp:161:5:161:10 | access to array | semmle.label | access to array |
114111
| test.cpp:162:5:162:10 | access to array | semmle.label | access to array |
115112
| test.cpp:175:30:175:30 | p | semmle.label | p |
113+
| test.cpp:175:30:175:30 | p | semmle.label | p |
116114
| test.cpp:191:27:191:30 | access to array | semmle.label | access to array |
117-
| test.cpp:198:14:198:20 | buffer1 | semmle.label | buffer1 |
118-
| test.cpp:198:14:198:20 | buffer1 | semmle.label | buffer1 |
119-
| test.cpp:201:14:201:20 | buffer2 | semmle.label | buffer2 |
120-
| test.cpp:201:14:201:20 | buffer2 | semmle.label | buffer2 |
121115
| test.cpp:204:14:204:20 | buffer3 | semmle.label | buffer3 |
122116
| test.cpp:204:14:204:20 | buffer3 | semmle.label | buffer3 |
123117
| test.cpp:207:35:207:35 | p | semmle.label | p |
@@ -144,5 +138,4 @@ subpaths
144138
| test.cpp:136:9:136:16 | PointerAdd: ... += ... | test.cpp:143:18:143:21 | asdf | test.cpp:138:13:138:15 | arr | This pointer arithmetic may have an off-by-2 error allowing it to overrun $@ at this $@. | test.cpp:142:10:142:13 | asdf | asdf | test.cpp:138:12:138:15 | Load: * ... | read |
145139
| test.cpp:151:5:151:11 | PointerAdd: access to array | test.cpp:148:23:148:28 | buffer | test.cpp:151:5:151:11 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:147:19:147:24 | buffer | buffer | test.cpp:151:5:151:15 | Store: ... = ... | write |
146140
| test.cpp:162:5:162:10 | PointerAdd: access to array | test.cpp:159:25:159:29 | array | test.cpp:162:5:162:10 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:158:10:158:14 | array | array | test.cpp:162:5:162:19 | Store: ... = ... | write |
147-
| test.cpp:191:27:191:30 | PointerAdd: access to array | test.cpp:201:14:201:20 | buffer2 | test.cpp:191:27:191:30 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:200:19:200:25 | buffer2 | buffer2 | test.cpp:191:27:191:30 | Load: access to array | read |
148141
| test.cpp:191:27:191:30 | PointerAdd: access to array | test.cpp:216:19:216:25 | buffer2 | test.cpp:191:27:191:30 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:215:19:215:25 | buffer2 | buffer2 | test.cpp:191:27:191:30 | Load: access to array | read |

0 commit comments

Comments
 (0)