| test.cpp:32:41:32:41 | x | test.cpp:7:47:7:52 | value2 | provenance | |

| test.cpp:32:41:32:41 | x | test.cpp:32:11:32:36 | call to ymlStepGenerated_with_body | provenance | |

| test.cpp:46:30:46:32 | *arg [x] | test.cpp:47:12:47:19 | *arg [x] | provenance | |

| test.cpp:52:5:52:18 | [summary param] *3 in pthread_create [x] | test.cpp:52:5:52:18 | [summary] to write: Argument[2].Parameter[*0] in pthread_create [x] | provenance | MaD:23 |

| test.cpp:52:5:52:18 | [summary] to write: Argument[2].Parameter[*0] in pthread_create [x] | test.cpp:46:30:46:32 | *arg [x] | provenance | |

| test.cpp:56:2:56:2 | *s [post update] [x] | test.cpp:59:55:59:64 | *& ... [x] | provenance | |

| test.cpp:33:10:33:11 | z2 | semmle.label | z2 |

| test.cpp:46:30:46:32 | *arg [x] | semmle.label | *arg [x] |

| test.cpp:47:12:47:19 | *arg [x] | semmle.label | *arg [x] |

| test.cpp:52:5:52:18 | [summary param] *3 in pthread_create [x] | semmle.label | [summary param] *3 in pthread_create [x] |

| test.cpp:52:5:52:18 | [summary] to write: Argument[2].Parameter[*0] in pthread_create [x] | semmle.label | [summary] to write: Argument[2].Parameter[*0] in pthread_create [x] |

| test.cpp:56:2:56:2 | *s [post update] [x] | semmle.label | *s [post update] [x] |

| test.cpp:29:10:29:11 | y3 | test-sink |

| test.cpp:33:10:33:11 | z2 | test-sink |

| test.cpp:36:10:36:11 | z3 | test-sink |