| defaulttainttracking.cpp:97:27:97:32 | call to getenv | defaulttainttracking.cpp:91:31:91:33 | ret | AST only |

| defaulttainttracking.cpp:97:27:97:32 | call to getenv | defaulttainttracking.cpp:92:5:92:8 | * ... | AST only |

| defaulttainttracking.cpp:97:27:97:32 | call to getenv | defaulttainttracking.cpp:92:6:92:8 | ret | AST only |

| defaulttainttracking.cpp:97:27:97:32 | call to getenv | defaulttainttracking.cpp:98:10:98:11 | (const char *)... | IR only |

| defaulttainttracking.cpp:97:27:97:32 | call to getenv | defaulttainttracking.cpp:98:10:98:11 | p2 | IR only |

| defaulttainttracking.cpp:97:27:97:32 | call to getenv | shared.h:5:23:5:31 | sinkparam | IR only |

| defaulttainttracking.cpp:133:9:133:14 | call to getenv | defaulttainttracking.cpp:134:10:134:10 | x | IR only |

| defaulttainttracking.cpp:133:9:133:14 | call to getenv | shared.h:6:15:6:23 | sinkparam | IR only |

| defaulttainttracking.cpp:140:11:140:16 | call to getenv | defaulttainttracking.cpp:140:7:140:7 | x | AST only |

| defaulttainttracking.cpp:140:11:140:16 | call to getenv | defaulttainttracking.cpp:166:10:166:10 | x | IR only |

| defaulttainttracking.cpp:140:11:140:16 | call to getenv | shared.h:6:15:6:23 | sinkparam | IR only |

| defaulttainttracking.cpp:157:9:157:14 | call to getenv | defaulttainttracking.cpp:157:5:157:5 | x | AST only |

| defaulttainttracking.cpp:157:9:157:14 | call to getenv | defaulttainttracking.cpp:159:10:159:10 | x | IR only |

| defaulttainttracking.cpp:157:9:157:14 | call to getenv | shared.h:6:15:6:23 | sinkparam | IR only |

| defaulttainttracking.cpp:170:11:170:16 | call to getenv | defaulttainttracking.cpp:170:7:170:7 | x | AST only |

| defaulttainttracking.cpp:181:11:181:16 | call to getenv | defaulttainttracking.cpp:181:7:181:7 | x | AST only |

| defaulttainttracking.cpp:195:11:195:16 | call to getenv | defaulttainttracking.cpp:195:7:195:7 | x | AST only |

| defaulttainttracking.cpp:201:13:201:18 | call to getenv | defaulttainttracking.cpp:201:9:201:9 | x | AST only |

| defaulttainttracking.cpp:208:27:208:32 | call to getenv | defaulttainttracking.cpp:208:23:208:23 | x | AST only |

| globals.cpp:13:15:13:20 | call to getenv | globals.cpp:13:5:13:11 | global1 | AST only |

| globals.cpp:23:15:23:20 | call to getenv | globals.cpp:23:5:23:11 | global2 | AST only |

| stl.cpp:62:25:62:30 | call to getenv | stl.cpp:62:7:62:12 | source | AST only |

sink(x1); // flow [FALSE POSITIVE from uninitialized]

notAssign(x2, source());

sourceToParamWrapper(x3);

sink(x3); // flow [FALSE POSITIVE from uninitialized]

notSource(x4);

}

}

void viaOutparam() {

int x = 0;

intOutparamSource(&x);

}

| globals.cpp:13:23:13:28 | globals.cpp:12:10:12:24 | IR only |

| globals.cpp:23:23:23:28 | globals.cpp:19:10:19:24 | IR only |

| lambdas.cpp:8:10:8:15 | lambdas.cpp:21:3:21:6 | AST only |

| ref.cpp:53:9:53:10 | ref.cpp:56:10:56:11 | AST only |

| ref.cpp:53:13:53:14 | ref.cpp:59:10:59:11 | AST only |

| ref.cpp:53:17:53:18 | ref.cpp:62:10:62:11 | AST only |

| ref.cpp:53:21:53:22 | ref.cpp:65:10:65:11 | AST only |

| test.cpp:75:7:75:8 | test.cpp:76:8:76:9 | AST only |

| test.cpp:83:7:83:8 | test.cpp:84:8:84:18 | AST only |

| test.cpp:83:7:83:8 | test.cpp:86:8:86:9 | AST only |

| test.cpp:436:18:436:23 | test.cpp:437:8:437:12 | AST only |

| test.cpp:441:7:441:11 | test.cpp:443:8:443:12 | AST only |

| test.cpp:442:18:442:22 | test.cpp:443:8:443:12 | AST only |

| true_upon_entry.cpp:9:11:9:16 | true_upon_entry.cpp:13:8:13:8 | IR only |

| true_upon_entry.cpp:62:11:62:16 | true_upon_entry.cpp:66:8:66:8 | IR only |

| true_upon_entry.cpp:98:11:98:16 | true_upon_entry.cpp:105:8:105:8 | IR only |

| lambdas.cpp:29:3:29:6 | t | lambdas.cpp:8:10:8:15 | call to source |

| lambdas.cpp:35:8:35:8 | a | lambdas.cpp:8:10:8:15 | call to source |

| lambdas.cpp:41:8:41:8 | (reference dereference) | lambdas.cpp:8:10:8:15 | call to source |

| ref.cpp:123:13:123:15 | val | ref.cpp:122:23:122:28 | call to source |

| ref.cpp:126:13:126:15 | val | ref.cpp:125:19:125:24 | call to source |

| ref.cpp:129:13:129:15 | val | ref.cpp:94:15:94:20 | call to source |

| test.cpp:394:10:394:12 | tmp | test.cpp:388:53:388:59 | source1 |

| test.cpp:450:9:450:22 | (statement expression) | test.cpp:449:26:449:32 | source1 |

| test.cpp:461:8:461:12 | local | test.cpp:449:26:449:32 | source1 |

| true_upon_entry.cpp:13:8:13:8 | x | true_upon_entry.cpp:9:11:9:16 | call to source |

| true_upon_entry.cpp:21:8:21:8 | x | true_upon_entry.cpp:17:11:17:16 | call to source |

| true_upon_entry.cpp:29:8:29:8 | x | true_upon_entry.cpp:27:9:27:14 | call to source |

sink(outer.inner_nested.a); // $ast,ir

sink(outer.inner_ptr->a); // $ast $f-:ir

sink(pouter->inner_nested.a); // $ast,ir

sink(pouter->inner_ptr->a); // $ast $f-:ir

}

void test_outer_with_ref(Outer *pouter) {

sink(outer.inner_nested.a); // $ast,ir

sink(outer.inner_ptr->a); // $ast $f-:ir

sink(pouter->inner_nested.a); // $ast,ir

sink(pouter->inner_ptr->a); // $ast $f-:ir

}

| by_reference.cpp:84:14:84:23 | call to user_input | by_reference.cpp:115:27:115:27 | a | AST only |

| by_reference.cpp:88:13:88:22 | call to user_input | by_reference.cpp:131:25:131:25 | a | AST only |

| by_reference.cpp:88:13:88:22 | call to user_input | by_reference.cpp:135:27:135:27 | a | AST only |

| complex.cpp:62:19:62:28 | call to user_input | complex.cpp:52:18:52:18 | call to b | AST only |

| complex.cpp:63:19:63:28 | call to user_input | complex.cpp:51:18:51:18 | call to a | AST only |

| complex.cpp:64:19:64:28 | call to user_input | complex.cpp:52:18:52:18 | call to b | AST only |