Skip to content

Commit 9ad51fb

Browse files
committed
C++: Fix the correct test this time.
1 parent 8fd8487 commit 9ad51fb

File tree

2 files changed

+1
-1
lines changed

2 files changed

+1
-1
lines changed

cpp/ql/test/query-tests/Security/CWE/CWE-190/SAMATE/ArithmeticUncontrolled.expected

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -50,6 +50,7 @@ nodes
5050
| examples.cpp:35:26:35:33 | call to rand | semmle.label | call to rand |
5151
| examples.cpp:35:26:35:33 | call to rand | semmle.label | call to rand |
5252
| examples.cpp:38:9:38:12 | data | semmle.label | data |
53+
subpaths
5354
#select
5455
| examples.cpp:25:31:25:34 | data | examples.cpp:22:26:22:33 | (unsigned int)... | examples.cpp:25:31:25:34 | data | $@ flows to here and is used in arithmetic, potentially causing an underflow. | examples.cpp:22:26:22:33 | call to rand | Uncontrolled value |
5556
| examples.cpp:25:31:25:34 | data | examples.cpp:22:26:22:33 | (unsigned int)... | examples.cpp:25:31:25:34 | data | $@ flows to here and is used in arithmetic, potentially causing an underflow. | examples.cpp:22:26:22:33 | call to rand | Uncontrolled value |

cpp/ql/test/query-tests/Security/CWE/CWE-190/semmle/tainted/ArithmeticTainted.expected

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,6 @@ nodes
5656
| test.c:54:7:54:10 | len3 | semmle.label | len3 |
5757
| test.c:54:7:54:10 | len3 | semmle.label | len3 |
5858
| test.c:54:7:54:10 | len3 | semmle.label | len3 |
59-
subpaths
6059
#select
6160
| test2.cpp:14:11:14:11 | v | test2.cpp:25:22:25:23 | & ... | test2.cpp:14:11:14:11 | v | $@ flows to here and is used in arithmetic, potentially causing an overflow. | test2.cpp:25:22:25:23 | & ... | User-provided value |
6261
| test2.cpp:14:11:14:11 | v | test2.cpp:25:22:25:23 | & ... | test2.cpp:14:11:14:11 | v | $@ flows to here and is used in arithmetic, potentially causing an underflow. | test2.cpp:25:22:25:23 | & ... | User-provided value |

0 commit comments

Comments
 (0)