| .attr = explicit.carrier | carrier.py:33 | ImplicitCarrier() | | --> | .attr = explicit.carrier | carrier.py:34 | c | | | .attr = explicit.carrier | carrier.py:34 | c | | --> | explicit.carrier | carrier.py:34 | Attribute | | | .attr = simple.test | carrier.py:10 | self | p0.attr = simple.test | --> | .attr = simple.test | carrier.py:11 | self | p0.attr = simple.test | | .attr = simple.test | carrier.py:11 | self | p0.attr = simple.test | --> | simple.test | carrier.py:11 | Attribute | p0.attr = simple.test | | .attr = simple.test | carrier.py:13 | arg | p0.attr = simple.test | --> | .attr = simple.test | carrier.py:14 | arg | p0.attr = simple.test | | .attr = simple.test | carrier.py:17 | ImplicitCarrier() | | --> | .attr = simple.test | carrier.py:18 | c | | | .attr = simple.test | carrier.py:18 | c | | --> | simple.test | carrier.py:18 | Attribute | | | .attr = simple.test | carrier.py:25 | ImplicitCarrier() | | --> | .attr = simple.test | carrier.py:13 | arg | p0.attr = simple.test | | .attr = simple.test | carrier.py:25 | ImplicitCarrier() | | --> | .attr = simple.test | carrier.py:25 | hub() | | | .attr = simple.test | carrier.py:25 | hub() | | --> | .attr = simple.test | carrier.py:26 | c | | | .attr = simple.test | carrier.py:26 | c | | --> | .attr = simple.test | carrier.py:10 | self | p0.attr = simple.test | | .attr = simple.test | carrier.py:26 | c | | --> | simple.test | carrier.py:26 | Attribute() | | | .dangerous = simple.test | test.py:85 | ImportExpr | | --> | .dangerous = simple.test | test.py:88 | module | | | .dangerous = simple.test | test.py:85 | ImportExpr | | --> | .dangerous = simple.test | test.py:92 | module | | | .dangerous = simple.test | test.py:85 | ImportExpr | | --> | .dangerous = simple.test | test.py:96 | module | | | .dangerous = simple.test | test.py:85 | ImportExpr | | --> | .dangerous = simple.test | test.py:100 | module | | | .dangerous = simple.test | test.py:85 | ImportExpr | | --> | .dangerous = simple.test | test.py:110 | module | | | .dangerous = simple.test | test.py:85 | ImportExpr | | --> | .dangerous = simple.test | test.py:115 | module | | | .dangerous = simple.test | test.py:88 | module | | --> | simple.test | test.py:88 | Attribute | | | .dangerous = simple.test | test.py:110 | module | | --> | simple.test | test.py:110 | Attribute | | | .dangerous = simple.test | test.py:115 | module | | --> | simple.test | test.py:115 | Attribute | | | .x = simple.test | test.py:72 | arg | p0.x = simple.test | --> | .x = simple.test | test.py:73 | arg | p0.x = simple.test | | .x = simple.test | test.py:105 | arg | p0.x = simple.test | --> | .x = simple.test | test.py:106 | arg | p0.x = simple.test | | .x = simple.test | test.py:106 | arg | p0.x = simple.test | --> | simple.test | test.py:106 | Attribute | p0.x = simple.test | | .x = simple.test | test.py:111 | t | | --> | simple.test | test.py:111 | Attribute | | | .x = simple.test | test.py:116 | hub() | | --> | .x = simple.test | test.py:117 | t | | | .x = simple.test | test.py:116 | t | | --> | .x = simple.test | test.py:72 | arg | p0.x = simple.test | | .x = simple.test | test.py:116 | t | | --> | .x = simple.test | test.py:116 | hub() | | | .x = simple.test | test.py:117 | t | | --> | .x = simple.test | test.py:105 | arg | p0.x = simple.test | | Command injection | sanitizer.py:9 | user_input() | | --> | Command injection | sanitizer.py:10 | x | | | Command injection | sanitizer.py:9 | user_input() | | --> | Command injection | sanitizer.py:11 | x | | | Command injection | sanitizer.py:9 | user_input() | | --> | Command injection | sanitizer.py:13 | x | | | Command injection | sanitizer.py:10 | x | | --> | Command injection | sanitizer.py:3 | arg | p0 = Command injection | | Command injection | sanitizer.py:16 | user_input() | | --> | Command injection | sanitizer.py:17 | x | | | Command injection | sanitizer.py:16 | user_input() | | --> | Command injection | sanitizer.py:20 | x | | | Command injection | sanitizer.py:17 | x | | --> | Command injection | sanitizer.py:5 | arg | p0 = Command injection | | Command injection | sanitizer.py:24 | user_input() | | --> | Command injection | sanitizer.py:25 | x | | | Command injection | sanitizer.py:24 | user_input() | | --> | Command injection | sanitizer.py:26 | x | | | Command injection | sanitizer.py:24 | user_input() | | --> | Command injection | sanitizer.py:28 | x | | | Command injection | sanitizer.py:31 | user_input() | | --> | Command injection | sanitizer.py:32 | x | | | Command injection | sanitizer.py:31 | user_input() | | --> | Command injection | sanitizer.py:33 | x | | | Command injection | sanitizer.py:31 | user_input() | | --> | Command injection | sanitizer.py:35 | x | | | SQL injection | sanitizer.py:9 | user_input() | | --> | SQL injection | sanitizer.py:10 | x | | | SQL injection | sanitizer.py:9 | user_input() | | --> | SQL injection | sanitizer.py:13 | x | | | SQL injection | sanitizer.py:10 | x | | --> | SQL injection | sanitizer.py:3 | arg | p0 = SQL injection | | SQL injection | sanitizer.py:16 | user_input() | | --> | SQL injection | sanitizer.py:17 | x | | | SQL injection | sanitizer.py:16 | user_input() | | --> | SQL injection | sanitizer.py:18 | x | | | SQL injection | sanitizer.py:16 | user_input() | | --> | SQL injection | sanitizer.py:20 | x | | | SQL injection | sanitizer.py:17 | x | | --> | SQL injection | sanitizer.py:5 | arg | p0 = SQL injection | | SQL injection | sanitizer.py:24 | user_input() | | --> | SQL injection | sanitizer.py:25 | x | | | SQL injection | sanitizer.py:24 | user_input() | | --> | SQL injection | sanitizer.py:26 | x | | | SQL injection | sanitizer.py:24 | user_input() | | --> | SQL injection | sanitizer.py:28 | x | | | SQL injection | sanitizer.py:31 | user_input() | | --> | SQL injection | sanitizer.py:32 | x | | | SQL injection | sanitizer.py:31 | user_input() | | --> | SQL injection | sanitizer.py:33 | x | | | SQL injection | sanitizer.py:31 | user_input() | | --> | SQL injection | sanitizer.py:35 | x | | | basic.custom | test.py:72 | arg | p0 = basic.custom | --> | basic.custom | test.py:73 | arg | p0 = basic.custom | | basic.custom | test.py:120 | CUSTOM_SOURCE | | --> | basic.custom | test.py:121 | t | | | basic.custom | test.py:121 | TAINT_FROM_ARG() | | --> | basic.custom | test.py:72 | arg | p0 = basic.custom | | basic.custom | test.py:121 | TAINT_FROM_ARG() | | --> | basic.custom | test.py:121 | hub() | | | basic.custom | test.py:121 | hub() | | --> | basic.custom | test.py:122 | t | | | basic.custom | test.py:121 | t | | --> | basic.custom | test.py:121 | TAINT_FROM_ARG() | | | basic.custom | test.py:126 | CUSTOM_SOURCE | | --> | basic.custom | test.py:130 | t | | | basic.custom | test.py:136 | CUSTOM_SOURCE | | --> | basic.custom | test.py:142 | t | | | basic.custom | test.py:146 | CUSTOM_SOURCE | | --> | basic.custom | test.py:149 | t | | | basic.custom | test.py:149 | TAINT_FROM_ARG() | | --> | basic.custom | test.py:151 | t | | | basic.custom | test.py:149 | t | | --> | basic.custom | test.py:149 | TAINT_FROM_ARG() | | | dict of simple.test | test.py:169 | Dict | | --> | dict of simple.test | test.py:171 | d | | | dict of simple.test | test.py:169 | Dict | | --> | dict of simple.test | test.py:175 | d | | | dict of simple.test | test.py:171 | SSA variable y | | --> | dict of simple.test | test.py:173 | y | | | dict of simple.test | test.py:171 | d | | --> | dict of simple.test | test.py:171 | SSA variable y | | | dict of simple.test | test.py:173 | y | | --> | simple.test | test.py:173 | Subscript | | | dict of simple.test | test.py:175 | d | | --> | dict of simple.test | test.py:175 | dict() | | | explicit.carrier | carrier.py:4 | arg | p1 = explicit.carrier | --> | explicit.carrier | carrier.py:5 | arg | p1 = explicit.carrier | | explicit.carrier | carrier.py:13 | arg | p0 = explicit.carrier | --> | explicit.carrier | carrier.py:14 | arg | p0 = explicit.carrier | | explicit.carrier | carrier.py:21 | TAINT_CARRIER_SOURCE | | --> | explicit.carrier | carrier.py:22 | c | | | explicit.carrier | carrier.py:22 | c | | --> | simple.test | carrier.py:22 | Attribute() | | | explicit.carrier | carrier.py:29 | TAINT_CARRIER_SOURCE | | --> | explicit.carrier | carrier.py:13 | arg | p0 = explicit.carrier | | explicit.carrier | carrier.py:29 | TAINT_CARRIER_SOURCE | | --> | explicit.carrier | carrier.py:29 | hub() | | | explicit.carrier | carrier.py:29 | hub() | | --> | explicit.carrier | carrier.py:30 | c | | | explicit.carrier | carrier.py:30 | c | | --> | simple.test | carrier.py:30 | Attribute() | | | explicit.carrier | carrier.py:33 | TAINT_CARRIER_SOURCE | | --> | .attr = explicit.carrier | carrier.py:33 | ImplicitCarrier() | | | explicit.carrier | carrier.py:33 | TAINT_CARRIER_SOURCE | | --> | explicit.carrier | carrier.py:4 | arg | p1 = explicit.carrier | | explicit.carrier | carrier.py:34 | Attribute | | --> | explicit.carrier | carrier.py:35 | x | | | explicit.carrier | carrier.py:35 | x | | --> | simple.test | carrier.py:35 | Attribute() | | | falsey | test.py:189 | FALSEY | | --> | falsey | test.py:190 | t | | | iterable.simple | test.py:202 | ITERABLE_SOURCE | | --> | iterable.simple | test.py:203 | t | | | iterable.simple | test.py:203 | t | | --> | simple.test | test.py:203 | For | | | iterable.simple | test.py:213 | flow_in_generator() | | --> | simple.test | test.py:213 | For | | | paper | rockpaperscissors.py:25 | Attribute() | | --> | paper | rockpaperscissors.py:26 | y | | | paper | rockpaperscissors.py:26 | y | | --> | paper | rockpaperscissors.py:9 | arg | p0 = paper | | paper | rockpaperscissors.py:30 | Attribute() | | --> | paper | rockpaperscissors.py:32 | y | | | paper | rockpaperscissors.py:32 | y | | --> | paper | rockpaperscissors.py:6 | arg | p0 = paper | | rock | rockpaperscissors.py:16 | ROCK | | --> | rock | rockpaperscissors.py:6 | arg | p0 = rock | | rock | rockpaperscissors.py:19 | ROCK | | --> | rock | rockpaperscissors.py:20 | x | | | rock | rockpaperscissors.py:20 | x | | --> | scissors | rockpaperscissors.py:20 | Attribute() | | | rock | rockpaperscissors.py:24 | ROCK | | --> | rock | rockpaperscissors.py:25 | x | | | rock | rockpaperscissors.py:25 | x | | --> | scissors | rockpaperscissors.py:25 | Attribute() | | | scissors | rockpaperscissors.py:13 | SCISSORS | | --> | scissors | rockpaperscissors.py:3 | arg | p0 = scissors | | scissors | rockpaperscissors.py:20 | Attribute() | | --> | scissors | rockpaperscissors.py:21 | y | | | scissors | rockpaperscissors.py:21 | y | | --> | scissors | rockpaperscissors.py:9 | arg | p0 = scissors | | scissors | rockpaperscissors.py:25 | Attribute() | | --> | paper | rockpaperscissors.py:25 | Attribute() | | | scissors | rockpaperscissors.py:29 | SCISSORS | | --> | scissors | rockpaperscissors.py:30 | x | | | scissors | rockpaperscissors.py:29 | SCISSORS | | --> | scissors | rockpaperscissors.py:31 | x | | | scissors | rockpaperscissors.py:30 | x | | --> | paper | rockpaperscissors.py:30 | Attribute() | | | scissors | rockpaperscissors.py:31 | x | | --> | scissors | rockpaperscissors.py:6 | arg | p0 = scissors | | sequence of simple.test | assignment.py:13 | Tuple | | --> | sequence of [simple.test] | assignment.py:13 | Tuple | | | sequence of simple.test | test.py:168 | List | | --> | sequence of simple.test | test.py:170 | l | | | sequence of simple.test | test.py:168 | List | | --> | sequence of simple.test | test.py:174 | l | | | sequence of simple.test | test.py:170 | SSA variable x | | --> | sequence of simple.test | test.py:172 | x | | | sequence of simple.test | test.py:170 | l | | --> | sequence of simple.test | test.py:170 | SSA variable x | | | sequence of simple.test | test.py:172 | x | | --> | simple.test | test.py:172 | Subscript | | | sequence of simple.test | test.py:174 | l | | --> | sequence of simple.test | test.py:174 | list() | | | sequence of simple.test | test.py:208 | List | | --> | sequence of simple.test | test.py:209 | seq | | | sequence of simple.test | test.py:209 | seq | | --> | simple.test | test.py:209 | For | | | sequence of simple.test | test.py:213 | flow_in_generator() | | --> | simple.test | test.py:213 | For | | | simple.test | assignment.py:5 | SOURCE | | --> | sequence of simple.test | assignment.py:5 | Tuple | | | simple.test | assignment.py:5 | SOURCE | | --> | simple.test | assignment.py:6 | a | | | simple.test | assignment.py:5 | SOURCE | | --> | simple.test | assignment.py:7 | a | | | simple.test | assignment.py:7 | a | | --> | sequence of simple.test | assignment.py:7 | Tuple | | | simple.test | assignment.py:7 | a | | --> | simple.test | assignment.py:8 | b | | | simple.test | assignment.py:13 | SOURCE | | --> | sequence of simple.test | assignment.py:13 | Tuple | | | simple.test | assignment.py:13 | SOURCE | | --> | simple.test | assignment.py:14 | t1 | | | simple.test | assignment.py:13 | SOURCE | | --> | simple.test | assignment.py:14 | t2 | | | simple.test | carrier.py:4 | arg | p1 = simple.test | --> | simple.test | carrier.py:5 | arg | p1 = simple.test | | simple.test | carrier.py:17 | SOURCE | | --> | .attr = simple.test | carrier.py:17 | ImplicitCarrier() | | | simple.test | carrier.py:17 | SOURCE | | --> | simple.test | carrier.py:4 | arg | p1 = simple.test | | simple.test | carrier.py:25 | SOURCE | | --> | .attr = simple.test | carrier.py:25 | ImplicitCarrier() | | | simple.test | carrier.py:25 | SOURCE | | --> | simple.test | carrier.py:4 | arg | p1 = simple.test | | simple.test | deep.py:2 | arg | p0 = simple.test | --> | simple.test | deep.py:3 | arg | p0 = simple.test | | simple.test | deep.py:5 | arg | p0 = simple.test | --> | simple.test | deep.py:6 | arg | p0 = simple.test | | simple.test | deep.py:6 | arg | p0 = simple.test | --> | simple.test | deep.py:2 | arg | p0 = simple.test | | simple.test | deep.py:6 | arg | p0 = simple.test | --> | simple.test | deep.py:6 | f1() | p0 = simple.test | | simple.test | deep.py:8 | arg | p0 = simple.test | --> | simple.test | deep.py:9 | arg | p0 = simple.test | | simple.test | deep.py:9 | arg | p0 = simple.test | --> | simple.test | deep.py:5 | arg | p0 = simple.test | | simple.test | deep.py:9 | arg | p0 = simple.test | --> | simple.test | deep.py:9 | f2() | p0 = simple.test | | simple.test | deep.py:11 | arg | p0 = simple.test | --> | simple.test | deep.py:12 | arg | p0 = simple.test | | simple.test | deep.py:12 | arg | p0 = simple.test | --> | simple.test | deep.py:8 | arg | p0 = simple.test | | simple.test | deep.py:12 | arg | p0 = simple.test | --> | simple.test | deep.py:12 | f3() | p0 = simple.test | | simple.test | deep.py:14 | arg | p0 = simple.test | --> | simple.test | deep.py:15 | arg | p0 = simple.test | | simple.test | deep.py:15 | arg | p0 = simple.test | --> | simple.test | deep.py:11 | arg | p0 = simple.test | | simple.test | deep.py:15 | arg | p0 = simple.test | --> | simple.test | deep.py:15 | f4() | p0 = simple.test | | simple.test | deep.py:17 | arg | p0 = simple.test | --> | simple.test | deep.py:18 | arg | p0 = simple.test | | simple.test | deep.py:18 | arg | p0 = simple.test | --> | simple.test | deep.py:14 | arg | p0 = simple.test | | simple.test | deep.py:18 | arg | p0 = simple.test | --> | simple.test | deep.py:18 | f5() | p0 = simple.test | | simple.test | deep.py:20 | SOURCE | | --> | simple.test | deep.py:17 | arg | p0 = simple.test | | simple.test | deep.py:20 | SOURCE | | --> | simple.test | deep.py:20 | f6() | | | simple.test | deep.py:20 | f6() | | --> | simple.test | deep.py:22 | x | | | simple.test | module.py:3 | SOURCE | | --> | .dangerous = simple.test | test.py:85 | ImportExpr | | | simple.test | module.py:3 | SOURCE | | --> | .dangerous = simple.test | test.py:88 | module | | | simple.test | module.py:3 | SOURCE | | --> | .dangerous = simple.test | test.py:92 | module | | | simple.test | module.py:3 | SOURCE | | --> | .dangerous = simple.test | test.py:96 | module | | | simple.test | module.py:3 | SOURCE | | --> | .dangerous = simple.test | test.py:100 | module | | | simple.test | module.py:3 | SOURCE | | --> | .dangerous = simple.test | test.py:110 | module | | | simple.test | module.py:3 | SOURCE | | --> | .dangerous = simple.test | test.py:115 | module | | | simple.test | module.py:3 | SOURCE | | --> | .dangerous = simple.test | test.py:155 | ImportExpr | | | simple.test | module.py:3 | SOURCE | | --> | simple.test | test.py:155 | ImportMember | | | simple.test | module.py:7 | SOURCE | | --> | simple.test | test.py:100 | Attribute() | | | simple.test | test.py:6 | SOURCE | | --> | simple.test | test.py:7 | s | | | simple.test | test.py:10 | SOURCE | | --> | simple.test | test.py:16 | source() | | | simple.test | test.py:10 | SOURCE | | --> | simple.test | test.py:24 | source() | | | simple.test | test.py:10 | SOURCE | | --> | simple.test | test.py:44 | source() | | | simple.test | test.py:12 | arg | p0 = simple.test | --> | simple.test | test.py:13 | arg | p0 = simple.test | | simple.test | test.py:16 | source() | | --> | simple.test | test.py:17 | t | | | simple.test | test.py:20 | SOURCE | | --> | simple.test | test.py:21 | t | | | simple.test | test.py:21 | t | | --> | simple.test | test.py:12 | arg | p0 = simple.test | | simple.test | test.py:24 | source() | | --> | simple.test | test.py:25 | t | | | simple.test | test.py:25 | t | | --> | simple.test | test.py:12 | arg | p0 = simple.test | | simple.test | test.py:37 | SOURCE | | --> | simple.test | test.py:41 | t | | | simple.test | test.py:44 | source() | | --> | simple.test | test.py:54 | source2() | | | simple.test | test.py:46 | arg | p0 = simple.test | --> | simple.test | test.py:47 | arg | p0 = simple.test | | simple.test | test.py:47 | arg | p0 = simple.test | --> | simple.test | test.py:12 | arg | p0 = simple.test | | simple.test | test.py:49 | arg | p1 = simple.test | --> | simple.test | test.py:51 | arg | p1 = simple.test | | simple.test | test.py:51 | arg | p1 = simple.test | --> | simple.test | test.py:12 | arg | p0 = simple.test | | simple.test | test.py:54 | source2() | | --> | simple.test | test.py:55 | t | | | simple.test | test.py:55 | t | | --> | simple.test | test.py:46 | arg | p0 = simple.test | | simple.test | test.py:62 | SOURCE | | --> | simple.test | test.py:63 | t | | | simple.test | test.py:63 | t | | --> | simple.test | test.py:49 | arg | p1 = simple.test | | simple.test | test.py:67 | SOURCE | | --> | simple.test | test.py:70 | t | | | simple.test | test.py:70 | t | | --> | simple.test | test.py:49 | arg | p1 = simple.test | | simple.test | test.py:72 | arg | p0 = simple.test | --> | simple.test | test.py:73 | arg | p0 = simple.test | | simple.test | test.py:76 | SOURCE | | --> | simple.test | test.py:77 | t | | | simple.test | test.py:77 | hub() | | --> | simple.test | test.py:78 | t | | | simple.test | test.py:77 | t | | --> | simple.test | test.py:72 | arg | p0 = simple.test | | simple.test | test.py:77 | t | | --> | simple.test | test.py:77 | hub() | | | simple.test | test.py:88 | Attribute | | --> | simple.test | test.py:89 | t | | | simple.test | test.py:100 | Attribute() | | --> | simple.test | test.py:101 | t | | | simple.test | test.py:110 | Attribute | | --> | .x = simple.test | test.py:111 | t | | | simple.test | test.py:115 | Attribute | | --> | .x = simple.test | test.py:116 | t | | | simple.test | test.py:128 | SOURCE | | --> | simple.test | test.py:132 | t | | | simple.test | test.py:138 | SOURCE | | --> | simple.test | test.py:140 | t | | | simple.test | test.py:148 | SOURCE | | --> | simple.test | test.py:149 | t | | | simple.test | test.py:155 | ImportMember | | --> | simple.test | test.py:156 | unsafe | | | simple.test | test.py:159 | SOURCE | | --> | simple.test | test.py:160 | t | | | simple.test | test.py:163 | SOURCE | | --> | simple.test | test.py:164 | s | | | simple.test | test.py:168 | SOURCE | | --> | sequence of simple.test | test.py:168 | List | | | simple.test | test.py:169 | SOURCE | | --> | dict of simple.test | test.py:169 | Dict | | | simple.test | test.py:178 | SOURCE | | --> | simple.test | test.py:179 | t | | | simple.test | test.py:178 | SOURCE | | --> | simple.test | test.py:180 | t | | | simple.test | test.py:178 | SOURCE | | --> | simple.test | test.py:183 | t | | | simple.test | test.py:178 | SOURCE | | --> | simple.test | test.py:186 | t | | | simple.test | test.py:195 | SOURCE | | --> | simple.test | test.py:196 | t | | | simple.test | test.py:195 | SOURCE | | --> | simple.test | test.py:197 | t | | | simple.test | test.py:195 | SOURCE | | --> | simple.test | test.py:199 | t | | | simple.test | test.py:203 | For | | --> | simple.test | test.py:204 | i | | | simple.test | test.py:203 | For | | --> | simple.test | test.py:205 | i | | | simple.test | test.py:208 | SOURCE | | --> | sequence of simple.test | test.py:208 | List | | | simple.test | test.py:209 | For | | --> | simple.test | test.py:210 | i | | | simple.test | test.py:210 | i | | --> | iterable.simple | test.py:213 | flow_in_generator() | | | simple.test | test.py:210 | i | | --> | sequence of simple.test | test.py:213 | flow_in_generator() | | | simple.test | test.py:213 | For | | --> | simple.test | test.py:214 | x | | | simple.test | test.py:217 | SOURCE | | --> | simple.test | test.py:218 | tainted | | | simple.test | test.py:217 | SOURCE | | --> | simple.test | test.py:220 | tainted | | | simple.test | test.py:223 | SOURCE | | --> | simple.test | test.py:224 | tainted | | | simple.test | test.py:229 | SOURCE | | --> | simple.test | test.py:230 | tainted | | | simple.test | test.py:229 | SOURCE | | --> | simple.test | test.py:231 | tainted | | | simple.test | test.py:229 | SOURCE | | --> | simple.test | test.py:232 | tainted | | | simple.test | test.py:229 | SOURCE | | --> | simple.test | test.py:233 | tainted | |