Skip to content

Commit 391816c

Browse files
geoffw0geoffw0
committed
C++: Add path graph to one of the external models tests.
1 parent 39ad4d4 commit 391816c

File tree

2 files changed

+45
-0
lines changed

2 files changed

+45
-0
lines changed

‎cpp/ql/test/library-tests/dataflow/external-models/flow.expected

Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,46 @@
11
testFailures
22
failures
3+
edges
4+
| asio_streams.cpp:56:18:56:23 | [summary param] *0 in buffer | asio_streams.cpp:56:18:56:23 | [summary] to write: ReturnValue in buffer | provenance | |
5+
| asio_streams.cpp:87:34:87:44 | read_until output argument | asio_streams.cpp:91:7:91:17 | recv_buffer | provenance | |
6+
| asio_streams.cpp:87:34:87:44 | read_until output argument | asio_streams.cpp:93:29:93:39 | *recv_buffer | provenance | |
7+
| asio_streams.cpp:97:37:97:44 | call to source | asio_streams.cpp:98:7:98:14 | send_str | provenance | TaintFunction |
8+
| asio_streams.cpp:97:37:97:44 | call to source | asio_streams.cpp:100:64:100:71 | *send_str | provenance | TaintFunction |
9+
| asio_streams.cpp:100:44:100:62 | call to buffer | asio_streams.cpp:100:44:100:62 | call to buffer | provenance | |
10+
| asio_streams.cpp:100:44:100:62 | call to buffer | asio_streams.cpp:101:7:101:17 | send_buffer | provenance | |
11+
| asio_streams.cpp:100:44:100:62 | call to buffer | asio_streams.cpp:103:29:103:39 | *send_buffer | provenance | |
12+
| asio_streams.cpp:100:64:100:71 | *send_str | asio_streams.cpp:56:18:56:23 | [summary param] *0 in buffer | provenance | |
13+
| asio_streams.cpp:100:64:100:71 | *send_str | asio_streams.cpp:100:44:100:62 | call to buffer | provenance | |
14+
| test.cpp:4:5:4:11 | [summary param] 0 in ymlStep | test.cpp:4:5:4:11 | [summary] to write: ReturnValue in ymlStep | provenance | |
15+
| test.cpp:7:10:7:18 | call to ymlSource | test.cpp:7:10:7:18 | call to ymlSource | provenance | |
16+
| test.cpp:7:10:7:18 | call to ymlSource | test.cpp:11:10:11:10 | x | provenance | |
17+
| test.cpp:7:10:7:18 | call to ymlSource | test.cpp:13:18:13:18 | x | provenance | |
18+
| test.cpp:13:10:13:16 | call to ymlStep | test.cpp:13:10:13:16 | call to ymlStep | provenance | |
19+
| test.cpp:13:10:13:16 | call to ymlStep | test.cpp:15:10:15:10 | y | provenance | |
20+
| test.cpp:13:18:13:18 | x | test.cpp:4:5:4:11 | [summary param] 0 in ymlStep | provenance | |
21+
| test.cpp:13:18:13:18 | x | test.cpp:13:10:13:16 | call to ymlStep | provenance | |
22+
nodes
23+
| asio_streams.cpp:56:18:56:23 | [summary param] *0 in buffer | semmle.label | [summary param] *0 in buffer |
24+
| asio_streams.cpp:56:18:56:23 | [summary] to write: ReturnValue in buffer | semmle.label | [summary] to write: ReturnValue in buffer |
25+
| asio_streams.cpp:87:34:87:44 | read_until output argument | semmle.label | read_until output argument |
26+
| asio_streams.cpp:91:7:91:17 | recv_buffer | semmle.label | recv_buffer |
27+
| asio_streams.cpp:93:29:93:39 | *recv_buffer | semmle.label | *recv_buffer |
28+
| asio_streams.cpp:97:37:97:44 | call to source | semmle.label | call to source |
29+
| asio_streams.cpp:98:7:98:14 | send_str | semmle.label | send_str |
30+
| asio_streams.cpp:100:44:100:62 | call to buffer | semmle.label | call to buffer |
31+
| asio_streams.cpp:100:44:100:62 | call to buffer | semmle.label | call to buffer |
32+
| asio_streams.cpp:100:64:100:71 | *send_str | semmle.label | *send_str |
33+
| asio_streams.cpp:101:7:101:17 | send_buffer | semmle.label | send_buffer |
34+
| asio_streams.cpp:103:29:103:39 | *send_buffer | semmle.label | *send_buffer |
35+
| test.cpp:4:5:4:11 | [summary param] 0 in ymlStep | semmle.label | [summary param] 0 in ymlStep |
36+
| test.cpp:4:5:4:11 | [summary] to write: ReturnValue in ymlStep | semmle.label | [summary] to write: ReturnValue in ymlStep |
37+
| test.cpp:7:10:7:18 | call to ymlSource | semmle.label | call to ymlSource |
38+
| test.cpp:7:10:7:18 | call to ymlSource | semmle.label | call to ymlSource |
39+
| test.cpp:11:10:11:10 | x | semmle.label | x |
40+
| test.cpp:13:10:13:16 | call to ymlStep | semmle.label | call to ymlStep |
41+
| test.cpp:13:10:13:16 | call to ymlStep | semmle.label | call to ymlStep |
42+
| test.cpp:13:18:13:18 | x | semmle.label | x |
43+
| test.cpp:15:10:15:10 | y | semmle.label | y |
44+
subpaths
45+
| asio_streams.cpp:100:64:100:71 | *send_str | asio_streams.cpp:56:18:56:23 | [summary param] *0 in buffer | asio_streams.cpp:56:18:56:23 | [summary] to write: ReturnValue in buffer | asio_streams.cpp:100:44:100:62 | call to buffer |
46+
| test.cpp:13:18:13:18 | x | test.cpp:4:5:4:11 | [summary param] 0 in ymlStep | test.cpp:4:5:4:11 | [summary] to write: ReturnValue in ymlStep | test.cpp:13:10:13:16 | call to ymlStep |

‎cpp/ql/test/library-tests/dataflow/external-models/flow.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
import TestUtilities.dataflow.FlowTestCommon
22
import cpp
33
import semmle.code.cpp.security.FlowSources
4+
import IRTest::IRFlow::PathGraph
45

56
module IRTest {
67
private import semmle.code.cpp.ir.IR

0 commit comments

Comments
 (0)