hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-05 21:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python taint-tracking. Reorder columns in some tests for easier comprehension of expected output.

Browse Source
This commit is contained in:
Mark Shannon
2019-08-29 14:36:10 +01:00
parent e51b797c03
commit 22f55d25c2
6 changed files with 425 additions and 425 deletions
Download Patch File Download Diff File Expand all files Collapse all files

628
python/ql/test/library-tests/taint/config/TestNode.expected
View File

@@ -1,314 +1,314 @@
| [simple.test] | test.py:168 | List | no attribute | |
| [simple.test] | test.py:168 | SSA variable l | no attribute | |
| [simple.test] | test.py:170 | SSA variable l | no attribute | |
| [simple.test] | test.py:170 | l | no attribute | |
| [simple.test] | test.py:174 | SSA variable l | no attribute | |
| [simple.test] | test.py:174 | SSA variable l2 | no attribute | |
| [simple.test] | test.py:174 | l | no attribute | |
| [simple.test] | test.py:174 | list() | no attribute | |
| [simple.test] | test.py:208 | List | no attribute | |
| [simple.test] | test.py:208 | SSA variable seq | no attribute | |
| [simple.test] | test.py:209 | seq | no attribute | |
| [simple.test] | test.py:213 | flow_in_generator() | no attribute | |
| explicit.carrier | carrier.py:4 | SSA variable arg | no attribute | p1 = explicit.carrier |
| explicit.carrier | carrier.py:4 | arg | no attribute | p1 = explicit.carrier |
| explicit.carrier | carrier.py:5 | SSA variable self | attribute attr | p1 = explicit.carrier |
| explicit.carrier | carrier.py:5 | arg | no attribute | p1 = explicit.carrier |
| explicit.carrier | carrier.py:13 | SSA variable arg | no attribute | p0 = explicit.carrier |
| explicit.carrier | carrier.py:13 | arg | no attribute | p0 = explicit.carrier |
| explicit.carrier | carrier.py:14 | arg | no attribute | p0 = explicit.carrier |
| explicit.carrier | carrier.py:21 | SSA variable c | no attribute | |
| explicit.carrier | carrier.py:21 | TAINT_CARRIER_SOURCE | no attribute | |
| explicit.carrier | carrier.py:22 | SSA variable c | no attribute | |
| explicit.carrier | carrier.py:22 | c | no attribute | |
| explicit.carrier | carrier.py:29 | SSA variable c | no attribute | |
| explicit.carrier | carrier.py:29 | TAINT_CARRIER_SOURCE | no attribute | |
| explicit.carrier | carrier.py:29 | hub() | no attribute | |
| explicit.carrier | carrier.py:30 | SSA variable c | no attribute | |
| explicit.carrier | carrier.py:30 | c | no attribute | |
| explicit.carrier | carrier.py:33 | ImplicitCarrier() | attribute attr | |
| explicit.carrier | carrier.py:33 | SSA variable c | attribute attr | |
| explicit.carrier | carrier.py:33 | TAINT_CARRIER_SOURCE | no attribute | |
| explicit.carrier | carrier.py:34 | Attribute | no attribute | |
| explicit.carrier | carrier.py:34 | SSA variable x | no attribute | |
| explicit.carrier | carrier.py:34 | c | attribute attr | |
| explicit.carrier | carrier.py:35 | SSA variable x | no attribute | |
| explicit.carrier | carrier.py:35 | x | no attribute | |
| iterable.simple | test.py:213 | flow_in_generator() | no attribute | |
| paper | rockpaperscissors.py:6 | SSA variable arg | no attribute | p0 = paper |
| paper | rockpaperscissors.py:6 | arg | no attribute | p0 = paper |
| paper | rockpaperscissors.py:9 | SSA variable arg | no attribute | p0 = paper |
| paper | rockpaperscissors.py:9 | arg | no attribute | p0 = paper |
| paper | rockpaperscissors.py:25 | Attribute() | no attribute | |
| paper | rockpaperscissors.py:25 | SSA variable y | no attribute | |
| paper | rockpaperscissors.py:26 | SSA variable y | no attribute | |
| paper | rockpaperscissors.py:26 | y | no attribute | |
| paper | rockpaperscissors.py:30 | Attribute() | no attribute | |
| paper | rockpaperscissors.py:30 | SSA variable y | no attribute | |
| paper | rockpaperscissors.py:32 | SSA variable y | no attribute | |
| paper | rockpaperscissors.py:32 | y | no attribute | |
| rock | rockpaperscissors.py:6 | SSA variable arg | no attribute | p0 = rock |
| rock | rockpaperscissors.py:6 | arg | no attribute | p0 = rock |
| rock | rockpaperscissors.py:16 | ROCK | no attribute | |
| rock | rockpaperscissors.py:19 | ROCK | no attribute | |
| rock | rockpaperscissors.py:19 | SSA variable x | no attribute | |
| rock | rockpaperscissors.py:20 | SSA variable x | no attribute | |
| rock | rockpaperscissors.py:20 | x | no attribute | |
| rock | rockpaperscissors.py:24 | ROCK | no attribute | |
| rock | rockpaperscissors.py:24 | SSA variable x | no attribute | |
| rock | rockpaperscissors.py:25 | SSA variable x | no attribute | |
| rock | rockpaperscissors.py:25 | x | no attribute | |
| scissors | rockpaperscissors.py:3 | SSA variable arg | no attribute | p0 = scissors |
| scissors | rockpaperscissors.py:3 | arg | no attribute | p0 = scissors |
| scissors | rockpaperscissors.py:6 | SSA variable arg | no attribute | p0 = scissors |
| scissors | rockpaperscissors.py:6 | arg | no attribute | p0 = scissors |
| scissors | rockpaperscissors.py:9 | SSA variable arg | no attribute | p0 = scissors |
| scissors | rockpaperscissors.py:9 | arg | no attribute | p0 = scissors |
| scissors | rockpaperscissors.py:13 | SCISSORS | no attribute | |
| scissors | rockpaperscissors.py:20 | Attribute() | no attribute | |
| scissors | rockpaperscissors.py:20 | SSA variable y | no attribute | |
| scissors | rockpaperscissors.py:21 | SSA variable y | no attribute | |
| scissors | rockpaperscissors.py:21 | y | no attribute | |
| scissors | rockpaperscissors.py:25 | Attribute() | no attribute | |
| scissors | rockpaperscissors.py:29 | SCISSORS | no attribute | |
| scissors | rockpaperscissors.py:29 | SSA variable x | no attribute | |
| scissors | rockpaperscissors.py:30 | SSA variable x | no attribute | |
| scissors | rockpaperscissors.py:30 | x | no attribute | |
| scissors | rockpaperscissors.py:31 | SSA variable x | no attribute | |
| scissors | rockpaperscissors.py:31 | x | no attribute | |
| simple.test | carrier.py:4 | SSA variable arg | no attribute | p1 = simple.test |
| simple.test | carrier.py:4 | arg | no attribute | p1 = simple.test |
| simple.test | carrier.py:5 | SSA variable self | attribute attr | p1 = simple.test |
| simple.test | carrier.py:5 | arg | no attribute | p1 = simple.test |
| simple.test | carrier.py:10 | SSA variable self | attribute attr | p0.attr = simple.test |
| simple.test | carrier.py:10 | self | attribute attr | p0.attr = simple.test |
| simple.test | carrier.py:11 | Attribute | no attribute | p0.attr = simple.test |
| simple.test | carrier.py:11 | self | attribute attr | p0.attr = simple.test |
| simple.test | carrier.py:13 | SSA variable arg | attribute attr | p0.attr = simple.test |
| simple.test | carrier.py:13 | arg | attribute attr | p0.attr = simple.test |
| simple.test | carrier.py:14 | arg | attribute attr | p0.attr = simple.test |
| simple.test | carrier.py:17 | ImplicitCarrier() | attribute attr | |
| simple.test | carrier.py:17 | SOURCE | no attribute | |
| simple.test | carrier.py:17 | SSA variable c | attribute attr | |
| simple.test | carrier.py:18 | Attribute | no attribute | |
| simple.test | carrier.py:18 | c | attribute attr | |
| simple.test | carrier.py:22 | Attribute() | no attribute | |
| simple.test | carrier.py:25 | ImplicitCarrier() | attribute attr | |
| simple.test | carrier.py:25 | SOURCE | no attribute | |
| simple.test | carrier.py:25 | SSA variable c | attribute attr | |
| simple.test | carrier.py:25 | hub() | attribute attr | |
| simple.test | carrier.py:26 | Attribute() | no attribute | |
| simple.test | carrier.py:26 | SSA variable c | attribute attr | |
| simple.test | carrier.py:26 | c | attribute attr | |
| simple.test | carrier.py:30 | Attribute() | no attribute | |
| simple.test | carrier.py:35 | Attribute() | no attribute | |
| simple.test | deep.py:2 | SSA variable arg | no attribute | p0 = simple.test |
| simple.test | deep.py:2 | arg | no attribute | p0 = simple.test |
| simple.test | deep.py:3 | arg | no attribute | p0 = simple.test |
| simple.test | deep.py:5 | SSA variable arg | no attribute | p0 = simple.test |
| simple.test | deep.py:5 | arg | no attribute | p0 = simple.test |
| simple.test | deep.py:6 | SSA variable arg | no attribute | p0 = simple.test |
| simple.test | deep.py:6 | arg | no attribute | p0 = simple.test |
| simple.test | deep.py:6 | f1() | no attribute | p0 = simple.test |
| simple.test | deep.py:8 | SSA variable arg | no attribute | p0 = simple.test |
| simple.test | deep.py:8 | arg | no attribute | p0 = simple.test |
| simple.test | deep.py:9 | SSA variable arg | no attribute | p0 = simple.test |
| simple.test | deep.py:9 | arg | no attribute | p0 = simple.test |
| simple.test | deep.py:9 | f2() | no attribute | p0 = simple.test |
| simple.test | deep.py:11 | SSA variable arg | no attribute | p0 = simple.test |
| simple.test | deep.py:11 | arg | no attribute | p0 = simple.test |
| simple.test | deep.py:12 | SSA variable arg | no attribute | p0 = simple.test |
| simple.test | deep.py:12 | arg | no attribute | p0 = simple.test |
| simple.test | deep.py:12 | f3() | no attribute | p0 = simple.test |
| simple.test | deep.py:14 | SSA variable arg | no attribute | p0 = simple.test |
| simple.test | deep.py:14 | arg | no attribute | p0 = simple.test |
| simple.test | deep.py:15 | SSA variable arg | no attribute | p0 = simple.test |
| simple.test | deep.py:15 | arg | no attribute | p0 = simple.test |
| simple.test | deep.py:15 | f4() | no attribute | p0 = simple.test |
| simple.test | deep.py:17 | SSA variable arg | no attribute | p0 = simple.test |
| simple.test | deep.py:17 | arg | no attribute | p0 = simple.test |
| simple.test | deep.py:18 | SSA variable arg | no attribute | p0 = simple.test |
| simple.test | deep.py:18 | arg | no attribute | p0 = simple.test |
| simple.test | deep.py:18 | f5() | no attribute | p0 = simple.test |
| simple.test | deep.py:20 | GSSA Variable x | no attribute | |
| simple.test | deep.py:20 | SOURCE | no attribute | |
| simple.test | deep.py:20 | f6() | no attribute | |
| simple.test | deep.py:22 | GSSA Variable x | no attribute | |
| simple.test | deep.py:22 | x | no attribute | |
| simple.test | module.py:3 | GSSA Variable dangerous | no attribute | |
| simple.test | module.py:3 | SOURCE | no attribute | |
| simple.test | module.py:7 | SOURCE | no attribute | |
| simple.test | module.py:10 | SOURCE | no attribute | |
| simple.test | test.py:3 | SOURCE | no attribute | |
| simple.test | test.py:6 | SOURCE | no attribute | |
| simple.test | test.py:6 | SSA variable s | no attribute | |
| simple.test | test.py:7 | SSA variable s | no attribute | |
| simple.test | test.py:7 | s | no attribute | |
| simple.test | test.py:10 | SOURCE | no attribute | |
| simple.test | test.py:12 | SSA variable arg | no attribute | p0 = simple.test |
| simple.test | test.py:12 | arg | no attribute | p0 = simple.test |
| simple.test | test.py:13 | SSA variable arg | no attribute | p0 = simple.test |
| simple.test | test.py:13 | arg | no attribute | p0 = simple.test |
| simple.test | test.py:16 | SSA variable t | no attribute | |
| simple.test | test.py:16 | source() | no attribute | |
| simple.test | test.py:17 | SSA variable t | no attribute | |
| simple.test | test.py:17 | t | no attribute | |
| simple.test | test.py:20 | SOURCE | no attribute | |
| simple.test | test.py:20 | SSA variable t | no attribute | |
| simple.test | test.py:21 | SSA variable t | no attribute | |
| simple.test | test.py:21 | t | no attribute | |
| simple.test | test.py:24 | SSA variable t | no attribute | |
| simple.test | test.py:24 | source() | no attribute | |
| simple.test | test.py:25 | SSA variable t | no attribute | |
| simple.test | test.py:25 | t | no attribute | |
| simple.test | test.py:31 | SOURCE | no attribute | |
| simple.test | test.py:31 | SSA variable t | no attribute | |
| simple.test | test.py:37 | SOURCE | no attribute | |
| simple.test | test.py:37 | SSA variable t | no attribute | |
| simple.test | test.py:41 | SSA variable t | no attribute | |
| simple.test | test.py:41 | t | no attribute | |
| simple.test | test.py:44 | source() | no attribute | |
| simple.test | test.py:46 | SSA variable arg | no attribute | p0 = simple.test |
| simple.test | test.py:46 | arg | no attribute | p0 = simple.test |
| simple.test | test.py:47 | SSA variable arg | no attribute | p0 = simple.test |
| simple.test | test.py:47 | arg | no attribute | p0 = simple.test |
| simple.test | test.py:49 | SSA variable arg | no attribute | p1 = simple.test |
| simple.test | test.py:49 | arg | no attribute | p1 = simple.test |
| simple.test | test.py:51 | SSA variable arg | no attribute | p1 = simple.test |
| simple.test | test.py:51 | arg | no attribute | p1 = simple.test |
| simple.test | test.py:54 | SSA variable t | no attribute | |
| simple.test | test.py:54 | source2() | no attribute | |
| simple.test | test.py:55 | SSA variable t | no attribute | |
| simple.test | test.py:55 | t | no attribute | |
| simple.test | test.py:62 | SOURCE | no attribute | |
| simple.test | test.py:62 | SSA variable t | no attribute | |
| simple.test | test.py:63 | SSA variable t | no attribute | |
| simple.test | test.py:63 | t | no attribute | |
| simple.test | test.py:67 | SOURCE | no attribute | |
| simple.test | test.py:67 | SSA variable t | no attribute | |
| simple.test | test.py:70 | SSA variable t | no attribute | |
| simple.test | test.py:70 | t | no attribute | |
| simple.test | test.py:72 | SSA variable arg | attribute x | p0.x = simple.test |
| simple.test | test.py:72 | SSA variable arg | no attribute | p0 = simple.test |
| simple.test | test.py:72 | arg | attribute x | p0.x = simple.test |
| simple.test | test.py:72 | arg | no attribute | p0 = simple.test |
| simple.test | test.py:73 | arg | attribute x | p0.x = simple.test |
| simple.test | test.py:73 | arg | no attribute | p0 = simple.test |
| simple.test | test.py:76 | SOURCE | no attribute | |
| simple.test | test.py:76 | SSA variable t | no attribute | |
| simple.test | test.py:77 | SSA variable t | no attribute | |
| simple.test | test.py:77 | hub() | no attribute | |
| simple.test | test.py:77 | t | no attribute | |
| simple.test | test.py:78 | SSA variable t | no attribute | |
| simple.test | test.py:78 | t | no attribute | |
| simple.test | test.py:85 | GSSA Variable module | attribute dangerous | |
| simple.test | test.py:85 | ImportExpr | attribute dangerous | |
| simple.test | test.py:87 | GSSA Variable module | attribute dangerous | |
| simple.test | test.py:88 | Attribute | no attribute | |
| simple.test | test.py:88 | SSA variable t | no attribute | |
| simple.test | test.py:88 | module | attribute dangerous | |
| simple.test | test.py:89 | SSA variable t | no attribute | |
| simple.test | test.py:89 | t | no attribute | |
| simple.test | test.py:91 | GSSA Variable module | attribute dangerous | |
| simple.test | test.py:92 | module | attribute dangerous | |
| simple.test | test.py:95 | GSSA Variable module | attribute dangerous | |
| simple.test | test.py:96 | module | attribute dangerous | |
| simple.test | test.py:99 | GSSA Variable module | attribute dangerous | |
| simple.test | test.py:100 | Attribute() | no attribute | |
| simple.test | test.py:100 | SSA variable t | no attribute | |
| simple.test | test.py:100 | module | attribute dangerous | |
| simple.test | test.py:101 | SSA variable t | no attribute | |
| simple.test | test.py:101 | t | no attribute | |
| simple.test | test.py:105 | SSA variable arg | attribute x | p0.x = simple.test |
| simple.test | test.py:105 | arg | attribute x | p0.x = simple.test |
| simple.test | test.py:106 | Attribute | no attribute | p0.x = simple.test |
| simple.test | test.py:106 | arg | attribute x | p0.x = simple.test |
| simple.test | test.py:108 | GSSA Variable module | attribute dangerous | |
| simple.test | test.py:110 | Attribute | no attribute | |
| simple.test | test.py:110 | SSA variable t | attribute x | |
| simple.test | test.py:110 | module | attribute dangerous | |
| simple.test | test.py:111 | Attribute | no attribute | |
| simple.test | test.py:111 | t | attribute x | |
| simple.test | test.py:113 | GSSA Variable module | attribute dangerous | |
| simple.test | test.py:115 | Attribute | no attribute | |
| simple.test | test.py:115 | SSA variable t | attribute x | |
| simple.test | test.py:115 | module | attribute dangerous | |
| simple.test | test.py:116 | SSA variable t | attribute x | |
| simple.test | test.py:116 | hub() | attribute x | |
| simple.test | test.py:116 | t | attribute x | |
| simple.test | test.py:117 | SSA variable t | attribute x | |
| simple.test | test.py:117 | t | attribute x | |
| simple.test | test.py:120 | CUSTOM_SOURCE | no attribute | |
| simple.test | test.py:120 | SSA variable t | no attribute | |
| simple.test | test.py:121 | t | no attribute | |
| simple.test | test.py:126 | CUSTOM_SOURCE | no attribute | |
| simple.test | test.py:126 | SSA variable t | no attribute | |
| simple.test | test.py:128 | SOURCE | no attribute | |
| simple.test | test.py:128 | SSA variable t | no attribute | |
| simple.test | test.py:130 | SSA variable t | no attribute | |
| simple.test | test.py:130 | t | no attribute | |
| simple.test | test.py:132 | SSA variable t | no attribute | |
| simple.test | test.py:132 | t | no attribute | |
| simple.test | test.py:136 | CUSTOM_SOURCE | no attribute | |
| simple.test | test.py:136 | SSA variable t | no attribute | |
| simple.test | test.py:138 | SOURCE | no attribute | |
| simple.test | test.py:138 | SSA variable t | no attribute | |
| simple.test | test.py:140 | SSA variable t | no attribute | |
| simple.test | test.py:140 | t | no attribute | |
| simple.test | test.py:142 | SSA variable t | no attribute | |
| simple.test | test.py:142 | t | no attribute | |
| simple.test | test.py:146 | CUSTOM_SOURCE | no attribute | |
| simple.test | test.py:146 | SSA variable t | no attribute | |
| simple.test | test.py:148 | SOURCE | no attribute | |
| simple.test | test.py:148 | SSA variable t | no attribute | |
| simple.test | test.py:149 | t | no attribute | |
| simple.test | test.py:155 | GSSA Variable unsafe | no attribute | |
| simple.test | test.py:155 | ImportExpr | attribute dangerous | |
| simple.test | test.py:155 | ImportMember | no attribute | |
| simple.test | test.py:156 | GSSA Variable unsafe | no attribute | |
| simple.test | test.py:156 | unsafe | no attribute | |
| simple.test | test.py:159 | SOURCE | no attribute | |
| simple.test | test.py:159 | SSA variable t | no attribute | |
| simple.test | test.py:160 | SSA variable t | no attribute | |
| simple.test | test.py:160 | t | no attribute | |
| simple.test | test.py:163 | SOURCE | no attribute | |
| simple.test | test.py:163 | SSA variable s | no attribute | |
| simple.test | test.py:164 | SSA variable s | no attribute | |
| simple.test | test.py:164 | s | no attribute | |
| simple.test | test.py:165 | SSA variable s | no attribute | |
| simple.test | test.py:165 | s | no attribute | |
| simple.test | test.py:168 | SOURCE | no attribute | |
| simple.test | test.py:169 | SOURCE | no attribute | |
| simple.test | test.py:178 | SOURCE | no attribute | |
| simple.test | test.py:178 | SSA variable t | no attribute | |
| simple.test | test.py:179 | t | no attribute | |
| simple.test | test.py:180 | SSA variable t | no attribute | |
| simple.test | test.py:180 | t | no attribute | |
| simple.test | test.py:183 | SSA variable t | no attribute | |
| simple.test | test.py:183 | t | no attribute | |
| simple.test | test.py:186 | SSA variable t | no attribute | |
| simple.test | test.py:186 | t | no attribute | |
| simple.test | test.py:194 | SSA variable t | no attribute | |
| simple.test | test.py:195 | SOURCE | no attribute | |
| simple.test | test.py:195 | SSA variable t | no attribute | |
| simple.test | test.py:196 | t | no attribute | |
| simple.test | test.py:197 | SSA variable t | no attribute | |
| simple.test | test.py:197 | t | no attribute | |
| simple.test | test.py:199 | SSA variable t | no attribute | |
| simple.test | test.py:199 | t | no attribute | |
| simple.test | test.py:208 | SOURCE | no attribute | |
| simple.test | test.py:209 | For | no attribute | |
| simple.test | test.py:209 | SSA variable i | no attribute | |
| simple.test | test.py:210 | i | no attribute | |
| simple.test | test.py:213 | For | no attribute | |
| simple.test | test.py:213 | SSA variable x | no attribute | |
| simple.test | test.py:214 | SSA variable x | no attribute | |
| simple.test | test.py:214 | x | no attribute | |
| {simple.test} | test.py:169 | Dict | no attribute | |
| {simple.test} | test.py:169 | SSA variable d | no attribute | |
| {simple.test} | test.py:171 | SSA variable d | no attribute | |
| {simple.test} | test.py:171 | d | no attribute | |
| {simple.test} | test.py:175 | SSA variable d | no attribute | |
| {simple.test} | test.py:175 | SSA variable d2 | no attribute | |
| {simple.test} | test.py:175 | d | no attribute | |
| {simple.test} | test.py:175 | dict() | no attribute | |
| carrier.py:4 | explicit.carrier | SSA variable arg | no attribute | p1 = explicit.carrier |
| carrier.py:4 | explicit.carrier | arg | no attribute | p1 = explicit.carrier |
| carrier.py:4 | simple.test | SSA variable arg | no attribute | p1 = simple.test |
| carrier.py:4 | simple.test | arg | no attribute | p1 = simple.test |
| carrier.py:5 | explicit.carrier | SSA variable self | attribute attr | p1 = explicit.carrier |
| carrier.py:5 | explicit.carrier | arg | no attribute | p1 = explicit.carrier |
| carrier.py:5 | simple.test | SSA variable self | attribute attr | p1 = simple.test |
| carrier.py:5 | simple.test | arg | no attribute | p1 = simple.test |
| carrier.py:10 | simple.test | SSA variable self | attribute attr | p0.attr = simple.test |
| carrier.py:10 | simple.test | self | attribute attr | p0.attr = simple.test |
| carrier.py:11 | simple.test | Attribute | no attribute | p0.attr = simple.test |
| carrier.py:11 | simple.test | self | attribute attr | p0.attr = simple.test |
| carrier.py:13 | explicit.carrier | SSA variable arg | no attribute | p0 = explicit.carrier |
| carrier.py:13 | explicit.carrier | arg | no attribute | p0 = explicit.carrier |
| carrier.py:13 | simple.test | SSA variable arg | attribute attr | p0.attr = simple.test |
| carrier.py:13 | simple.test | arg | attribute attr | p0.attr = simple.test |
| carrier.py:14 | explicit.carrier | arg | no attribute | p0 = explicit.carrier |
| carrier.py:14 | simple.test | arg | attribute attr | p0.attr = simple.test |
| carrier.py:17 | simple.test | ImplicitCarrier() | attribute attr | |
| carrier.py:17 | simple.test | SOURCE | no attribute | |
| carrier.py:17 | simple.test | SSA variable c | attribute attr | |
| carrier.py:18 | simple.test | Attribute | no attribute | |
| carrier.py:18 | simple.test | c | attribute attr | |
| carrier.py:21 | explicit.carrier | SSA variable c | no attribute | |
| carrier.py:21 | explicit.carrier | TAINT_CARRIER_SOURCE | no attribute | |
| carrier.py:22 | explicit.carrier | SSA variable c | no attribute | |
| carrier.py:22 | explicit.carrier | c | no attribute | |
| carrier.py:22 | simple.test | Attribute() | no attribute | |
| carrier.py:25 | simple.test | ImplicitCarrier() | attribute attr | |
| carrier.py:25 | simple.test | SOURCE | no attribute | |
| carrier.py:25 | simple.test | SSA variable c | attribute attr | |
| carrier.py:25 | simple.test | hub() | attribute attr | |
| carrier.py:26 | simple.test | Attribute() | no attribute | |
| carrier.py:26 | simple.test | SSA variable c | attribute attr | |
| carrier.py:26 | simple.test | c | attribute attr | |
| carrier.py:29 | explicit.carrier | SSA variable c | no attribute | |
| carrier.py:29 | explicit.carrier | TAINT_CARRIER_SOURCE | no attribute | |
| carrier.py:29 | explicit.carrier | hub() | no attribute | |
| carrier.py:30 | explicit.carrier | SSA variable c | no attribute | |
| carrier.py:30 | explicit.carrier | c | no attribute | |
| carrier.py:30 | simple.test | Attribute() | no attribute | |
| carrier.py:33 | explicit.carrier | ImplicitCarrier() | attribute attr | |
| carrier.py:33 | explicit.carrier | SSA variable c | attribute attr | |
| carrier.py:33 | explicit.carrier | TAINT_CARRIER_SOURCE | no attribute | |
| carrier.py:34 | explicit.carrier | Attribute | no attribute | |
| carrier.py:34 | explicit.carrier | SSA variable x | no attribute | |
| carrier.py:34 | explicit.carrier | c | attribute attr | |
| carrier.py:35 | explicit.carrier | SSA variable x | no attribute | |
| carrier.py:35 | explicit.carrier | x | no attribute | |
| carrier.py:35 | simple.test | Attribute() | no attribute | |
| deep.py:2 | simple.test | SSA variable arg | no attribute | p0 = simple.test |
| deep.py:2 | simple.test | arg | no attribute | p0 = simple.test |
| deep.py:3 | simple.test | arg | no attribute | p0 = simple.test |
| deep.py:5 | simple.test | SSA variable arg | no attribute | p0 = simple.test |
| deep.py:5 | simple.test | arg | no attribute | p0 = simple.test |
| deep.py:6 | simple.test | SSA variable arg | no attribute | p0 = simple.test |
| deep.py:6 | simple.test | arg | no attribute | p0 = simple.test |
| deep.py:6 | simple.test | f1() | no attribute | p0 = simple.test |
| deep.py:8 | simple.test | SSA variable arg | no attribute | p0 = simple.test |
| deep.py:8 | simple.test | arg | no attribute | p0 = simple.test |
| deep.py:9 | simple.test | SSA variable arg | no attribute | p0 = simple.test |
| deep.py:9 | simple.test | arg | no attribute | p0 = simple.test |
| deep.py:9 | simple.test | f2() | no attribute | p0 = simple.test |
| deep.py:11 | simple.test | SSA variable arg | no attribute | p0 = simple.test |
| deep.py:11 | simple.test | arg | no attribute | p0 = simple.test |
| deep.py:12 | simple.test | SSA variable arg | no attribute | p0 = simple.test |
| deep.py:12 | simple.test | arg | no attribute | p0 = simple.test |
| deep.py:12 | simple.test | f3() | no attribute | p0 = simple.test |
| deep.py:14 | simple.test | SSA variable arg | no attribute | p0 = simple.test |
| deep.py:14 | simple.test | arg | no attribute | p0 = simple.test |
| deep.py:15 | simple.test | SSA variable arg | no attribute | p0 = simple.test |
| deep.py:15 | simple.test | arg | no attribute | p0 = simple.test |
| deep.py:15 | simple.test | f4() | no attribute | p0 = simple.test |
| deep.py:17 | simple.test | SSA variable arg | no attribute | p0 = simple.test |
| deep.py:17 | simple.test | arg | no attribute | p0 = simple.test |
| deep.py:18 | simple.test | SSA variable arg | no attribute | p0 = simple.test |
| deep.py:18 | simple.test | arg | no attribute | p0 = simple.test |
| deep.py:18 | simple.test | f5() | no attribute | p0 = simple.test |
| deep.py:20 | simple.test | GSSA Variable x | no attribute | |
| deep.py:20 | simple.test | SOURCE | no attribute | |
| deep.py:20 | simple.test | f6() | no attribute | |
| deep.py:22 | simple.test | GSSA Variable x | no attribute | |
| deep.py:22 | simple.test | x | no attribute | |
| module.py:3 | simple.test | GSSA Variable dangerous | no attribute | |
| module.py:3 | simple.test | SOURCE | no attribute | |
| module.py:7 | simple.test | SOURCE | no attribute | |
| module.py:10 | simple.test | SOURCE | no attribute | |
| rockpaperscissors.py:3 | scissors | SSA variable arg | no attribute | p0 = scissors |
| rockpaperscissors.py:3 | scissors | arg | no attribute | p0 = scissors |
| rockpaperscissors.py:6 | paper | SSA variable arg | no attribute | p0 = paper |
| rockpaperscissors.py:6 | paper | arg | no attribute | p0 = paper |
| rockpaperscissors.py:6 | rock | SSA variable arg | no attribute | p0 = rock |
| rockpaperscissors.py:6 | rock | arg | no attribute | p0 = rock |
| rockpaperscissors.py:6 | scissors | SSA variable arg | no attribute | p0 = scissors |
| rockpaperscissors.py:6 | scissors | arg | no attribute | p0 = scissors |
| rockpaperscissors.py:9 | paper | SSA variable arg | no attribute | p0 = paper |
| rockpaperscissors.py:9 | paper | arg | no attribute | p0 = paper |
| rockpaperscissors.py:9 | scissors | SSA variable arg | no attribute | p0 = scissors |
| rockpaperscissors.py:9 | scissors | arg | no attribute | p0 = scissors |
| rockpaperscissors.py:13 | scissors | SCISSORS | no attribute | |
| rockpaperscissors.py:16 | rock | ROCK | no attribute | |
| rockpaperscissors.py:19 | rock | ROCK | no attribute | |
| rockpaperscissors.py:19 | rock | SSA variable x | no attribute | |
| rockpaperscissors.py:20 | rock | SSA variable x | no attribute | |
| rockpaperscissors.py:20 | rock | x | no attribute | |
| rockpaperscissors.py:20 | scissors | Attribute() | no attribute | |
| rockpaperscissors.py:20 | scissors | SSA variable y | no attribute | |
| rockpaperscissors.py:21 | scissors | SSA variable y | no attribute | |
| rockpaperscissors.py:21 | scissors | y | no attribute | |
| rockpaperscissors.py:24 | rock | ROCK | no attribute | |
| rockpaperscissors.py:24 | rock | SSA variable x | no attribute | |
| rockpaperscissors.py:25 | paper | Attribute() | no attribute | |
| rockpaperscissors.py:25 | paper | SSA variable y | no attribute | |
| rockpaperscissors.py:25 | rock | SSA variable x | no attribute | |
| rockpaperscissors.py:25 | rock | x | no attribute | |
| rockpaperscissors.py:25 | scissors | Attribute() | no attribute | |
| rockpaperscissors.py:26 | paper | SSA variable y | no attribute | |
| rockpaperscissors.py:26 | paper | y | no attribute | |
| rockpaperscissors.py:29 | scissors | SCISSORS | no attribute | |
| rockpaperscissors.py:29 | scissors | SSA variable x | no attribute | |
| rockpaperscissors.py:30 | paper | Attribute() | no attribute | |
| rockpaperscissors.py:30 | paper | SSA variable y | no attribute | |
| rockpaperscissors.py:30 | scissors | SSA variable x | no attribute | |
| rockpaperscissors.py:30 | scissors | x | no attribute | |
| rockpaperscissors.py:31 | scissors | SSA variable x | no attribute | |
| rockpaperscissors.py:31 | scissors | x | no attribute | |
| rockpaperscissors.py:32 | paper | SSA variable y | no attribute | |
| rockpaperscissors.py:32 | paper | y | no attribute | |
| test.py:3 | simple.test | SOURCE | no attribute | |
| test.py:6 | simple.test | SOURCE | no attribute | |
| test.py:6 | simple.test | SSA variable s | no attribute | |
| test.py:7 | simple.test | SSA variable s | no attribute | |
| test.py:7 | simple.test | s | no attribute | |
| test.py:10 | simple.test | SOURCE | no attribute | |
| test.py:12 | simple.test | SSA variable arg | no attribute | p0 = simple.test |
| test.py:12 | simple.test | arg | no attribute | p0 = simple.test |
| test.py:13 | simple.test | SSA variable arg | no attribute | p0 = simple.test |
| test.py:13 | simple.test | arg | no attribute | p0 = simple.test |
| test.py:16 | simple.test | SSA variable t | no attribute | |
| test.py:16 | simple.test | source() | no attribute | |
| test.py:17 | simple.test | SSA variable t | no attribute | |
| test.py:17 | simple.test | t | no attribute | |
| test.py:20 | simple.test | SOURCE | no attribute | |
| test.py:20 | simple.test | SSA variable t | no attribute | |
| test.py:21 | simple.test | SSA variable t | no attribute | |
| test.py:21 | simple.test | t | no attribute | |
| test.py:24 | simple.test | SSA variable t | no attribute | |
| test.py:24 | simple.test | source() | no attribute | |
| test.py:25 | simple.test | SSA variable t | no attribute | |
| test.py:25 | simple.test | t | no attribute | |
| test.py:31 | simple.test | SOURCE | no attribute | |
| test.py:31 | simple.test | SSA variable t | no attribute | |
| test.py:37 | simple.test | SOURCE | no attribute | |
| test.py:37 | simple.test | SSA variable t | no attribute | |
| test.py:41 | simple.test | SSA variable t | no attribute | |
| test.py:41 | simple.test | t | no attribute | |
| test.py:44 | simple.test | source() | no attribute | |
| test.py:46 | simple.test | SSA variable arg | no attribute | p0 = simple.test |
| test.py:46 | simple.test | arg | no attribute | p0 = simple.test |
| test.py:47 | simple.test | SSA variable arg | no attribute | p0 = simple.test |
| test.py:47 | simple.test | arg | no attribute | p0 = simple.test |
| test.py:49 | simple.test | SSA variable arg | no attribute | p1 = simple.test |
| test.py:49 | simple.test | arg | no attribute | p1 = simple.test |
| test.py:51 | simple.test | SSA variable arg | no attribute | p1 = simple.test |
| test.py:51 | simple.test | arg | no attribute | p1 = simple.test |
| test.py:54 | simple.test | SSA variable t | no attribute | |
| test.py:54 | simple.test | source2() | no attribute | |
| test.py:55 | simple.test | SSA variable t | no attribute | |
| test.py:55 | simple.test | t | no attribute | |
| test.py:62 | simple.test | SOURCE | no attribute | |
| test.py:62 | simple.test | SSA variable t | no attribute | |
| test.py:63 | simple.test | SSA variable t | no attribute | |
| test.py:63 | simple.test | t | no attribute | |
| test.py:67 | simple.test | SOURCE | no attribute | |
| test.py:67 | simple.test | SSA variable t | no attribute | |
| test.py:70 | simple.test | SSA variable t | no attribute | |
| test.py:70 | simple.test | t | no attribute | |
| test.py:72 | simple.test | SSA variable arg | attribute x | p0.x = simple.test |
| test.py:72 | simple.test | SSA variable arg | no attribute | p0 = simple.test |
| test.py:72 | simple.test | arg | attribute x | p0.x = simple.test |
| test.py:72 | simple.test | arg | no attribute | p0 = simple.test |
| test.py:73 | simple.test | arg | attribute x | p0.x = simple.test |
| test.py:73 | simple.test | arg | no attribute | p0 = simple.test |
| test.py:76 | simple.test | SOURCE | no attribute | |
| test.py:76 | simple.test | SSA variable t | no attribute | |
| test.py:77 | simple.test | SSA variable t | no attribute | |
| test.py:77 | simple.test | hub() | no attribute | |
| test.py:77 | simple.test | t | no attribute | |
| test.py:78 | simple.test | SSA variable t | no attribute | |
| test.py:78 | simple.test | t | no attribute | |
| test.py:85 | simple.test | GSSA Variable module | attribute dangerous | |
| test.py:85 | simple.test | ImportExpr | attribute dangerous | |
| test.py:87 | simple.test | GSSA Variable module | attribute dangerous | |
| test.py:88 | simple.test | Attribute | no attribute | |
| test.py:88 | simple.test | SSA variable t | no attribute | |
| test.py:88 | simple.test | module | attribute dangerous | |
| test.py:89 | simple.test | SSA variable t | no attribute | |
| test.py:89 | simple.test | t | no attribute | |
| test.py:91 | simple.test | GSSA Variable module | attribute dangerous | |
| test.py:92 | simple.test | module | attribute dangerous | |
| test.py:95 | simple.test | GSSA Variable module | attribute dangerous | |
| test.py:96 | simple.test | module | attribute dangerous | |
| test.py:99 | simple.test | GSSA Variable module | attribute dangerous | |
| test.py:100 | simple.test | Attribute() | no attribute | |
| test.py:100 | simple.test | SSA variable t | no attribute | |
| test.py:100 | simple.test | module | attribute dangerous | |
| test.py:101 | simple.test | SSA variable t | no attribute | |
| test.py:101 | simple.test | t | no attribute | |
| test.py:105 | simple.test | SSA variable arg | attribute x | p0.x = simple.test |
| test.py:105 | simple.test | arg | attribute x | p0.x = simple.test |
| test.py:106 | simple.test | Attribute | no attribute | p0.x = simple.test |
| test.py:106 | simple.test | arg | attribute x | p0.x = simple.test |
| test.py:108 | simple.test | GSSA Variable module | attribute dangerous | |
| test.py:110 | simple.test | Attribute | no attribute | |
| test.py:110 | simple.test | SSA variable t | attribute x | |
| test.py:110 | simple.test | module | attribute dangerous | |
| test.py:111 | simple.test | Attribute | no attribute | |
| test.py:111 | simple.test | t | attribute x | |
| test.py:113 | simple.test | GSSA Variable module | attribute dangerous | |
| test.py:115 | simple.test | Attribute | no attribute | |
| test.py:115 | simple.test | SSA variable t | attribute x | |
| test.py:115 | simple.test | module | attribute dangerous | |
| test.py:116 | simple.test | SSA variable t | attribute x | |
| test.py:116 | simple.test | hub() | attribute x | |
| test.py:116 | simple.test | t | attribute x | |
| test.py:117 | simple.test | SSA variable t | attribute x | |
| test.py:117 | simple.test | t | attribute x | |
| test.py:120 | simple.test | CUSTOM_SOURCE | no attribute | |
| test.py:120 | simple.test | SSA variable t | no attribute | |
| test.py:121 | simple.test | t | no attribute | |
| test.py:126 | simple.test | CUSTOM_SOURCE | no attribute | |
| test.py:126 | simple.test | SSA variable t | no attribute | |
| test.py:128 | simple.test | SOURCE | no attribute | |
| test.py:128 | simple.test | SSA variable t | no attribute | |
| test.py:130 | simple.test | SSA variable t | no attribute | |
| test.py:130 | simple.test | t | no attribute | |
| test.py:132 | simple.test | SSA variable t | no attribute | |
| test.py:132 | simple.test | t | no attribute | |
| test.py:136 | simple.test | CUSTOM_SOURCE | no attribute | |
| test.py:136 | simple.test | SSA variable t | no attribute | |
| test.py:138 | simple.test | SOURCE | no attribute | |
| test.py:138 | simple.test | SSA variable t | no attribute | |
| test.py:140 | simple.test | SSA variable t | no attribute | |
| test.py:140 | simple.test | t | no attribute | |
| test.py:142 | simple.test | SSA variable t | no attribute | |
| test.py:142 | simple.test | t | no attribute | |
| test.py:146 | simple.test | CUSTOM_SOURCE | no attribute | |
| test.py:146 | simple.test | SSA variable t | no attribute | |
| test.py:148 | simple.test | SOURCE | no attribute | |
| test.py:148 | simple.test | SSA variable t | no attribute | |
| test.py:149 | simple.test | t | no attribute | |
| test.py:155 | simple.test | GSSA Variable unsafe | no attribute | |
| test.py:155 | simple.test | ImportExpr | attribute dangerous | |
| test.py:155 | simple.test | ImportMember | no attribute | |
| test.py:156 | simple.test | GSSA Variable unsafe | no attribute | |
| test.py:156 | simple.test | unsafe | no attribute | |
| test.py:159 | simple.test | SOURCE | no attribute | |
| test.py:159 | simple.test | SSA variable t | no attribute | |
| test.py:160 | simple.test | SSA variable t | no attribute | |
| test.py:160 | simple.test | t | no attribute | |
| test.py:163 | simple.test | SOURCE | no attribute | |
| test.py:163 | simple.test | SSA variable s | no attribute | |
| test.py:164 | simple.test | SSA variable s | no attribute | |
| test.py:164 | simple.test | s | no attribute | |
| test.py:165 | simple.test | SSA variable s | no attribute | |
| test.py:165 | simple.test | s | no attribute | |
| test.py:168 | [simple.test] | List | no attribute | |
| test.py:168 | [simple.test] | SSA variable l | no attribute | |
| test.py:168 | simple.test | SOURCE | no attribute | |
| test.py:169 | simple.test | SOURCE | no attribute | |
| test.py:169 | {simple.test} | Dict | no attribute | |
| test.py:169 | {simple.test} | SSA variable d | no attribute | |
| test.py:170 | [simple.test] | SSA variable l | no attribute | |
| test.py:170 | [simple.test] | l | no attribute | |
| test.py:171 | {simple.test} | SSA variable d | no attribute | |
| test.py:171 | {simple.test} | d | no attribute | |
| test.py:174 | [simple.test] | SSA variable l | no attribute | |
| test.py:174 | [simple.test] | SSA variable l2 | no attribute | |
| test.py:174 | [simple.test] | l | no attribute | |
| test.py:174 | [simple.test] | list() | no attribute | |
| test.py:175 | {simple.test} | SSA variable d | no attribute | |
| test.py:175 | {simple.test} | SSA variable d2 | no attribute | |
| test.py:175 | {simple.test} | d | no attribute | |
| test.py:175 | {simple.test} | dict() | no attribute | |
| test.py:178 | simple.test | SOURCE | no attribute | |
| test.py:178 | simple.test | SSA variable t | no attribute | |
| test.py:179 | simple.test | t | no attribute | |
| test.py:180 | simple.test | SSA variable t | no attribute | |
| test.py:180 | simple.test | t | no attribute | |
| test.py:183 | simple.test | SSA variable t | no attribute | |
| test.py:183 | simple.test | t | no attribute | |
| test.py:186 | simple.test | SSA variable t | no attribute | |
| test.py:186 | simple.test | t | no attribute | |
| test.py:194 | simple.test | SSA variable t | no attribute | |
| test.py:195 | simple.test | SOURCE | no attribute | |
| test.py:195 | simple.test | SSA variable t | no attribute | |
| test.py:196 | simple.test | t | no attribute | |
| test.py:197 | simple.test | SSA variable t | no attribute | |
| test.py:197 | simple.test | t | no attribute | |
| test.py:199 | simple.test | SSA variable t | no attribute | |
| test.py:199 | simple.test | t | no attribute | |
| test.py:208 | [simple.test] | List | no attribute | |
| test.py:208 | [simple.test] | SSA variable seq | no attribute | |
| test.py:208 | simple.test | SOURCE | no attribute | |
| test.py:209 | [simple.test] | seq | no attribute | |
| test.py:209 | simple.test | For | no attribute | |
| test.py:209 | simple.test | SSA variable i | no attribute | |
| test.py:210 | simple.test | i | no attribute | |
| test.py:213 | [simple.test] | flow_in_generator() | no attribute | |
| test.py:213 | iterable.simple | flow_in_generator() | no attribute | |
| test.py:213 | simple.test | For | no attribute | |
| test.py:213 | simple.test | SSA variable x | no attribute | |
| test.py:214 | simple.test | SSA variable x | no attribute | |
| test.py:214 | simple.test | x | no attribute | |

2
python/ql/test/library-tests/taint/config/TestNode.ql
View File

@@ -6,5 +6,5 @@ import TaintLib
from TaintTrackingNode n
where n.getConfiguration() instanceof TestConfig
select n.getTaintKind(), n.getLocation().toString(), n.getNode().toString(), n.getPath().toString(), n.getContext().toString()
select n.getLocation().toString(), n.getTaintKind(), n.getNode().toString(), n.getPath().toString(), n.getContext().toString()

160
python/ql/test/library-tests/taint/config/TestSink.expected
View File

@@ -1,80 +1,80 @@
| Basic custom config | test.py:122 | 122 | t | simple.test |
| Basic custom config | test.py:130 | 130 | t | simple.test |
| Basic custom config | test.py:140 | 140 | t | simple.test |
| Basic custom config | test.py:151 | 151 | t | simple.test |
| Rock-paper-scissors config | rockpaperscissors.py:13 | 13 | SCISSORS | scissors |
| Rock-paper-scissors config | rockpaperscissors.py:16 | 16 | ROCK | rock |
| Rock-paper-scissors config | rockpaperscissors.py:21 | 21 | y | paper |
| Rock-paper-scissors config | rockpaperscissors.py:26 | 26 | y | paper |
| Rock-paper-scissors config | rockpaperscissors.py:31 | 31 | x | rock |
| Rock-paper-scissors config | rockpaperscissors.py:32 | 32 | y | rock |
| Simple config | carrier.py:18 | 18 | Attribute | simple.test |
| Simple config | carrier.py:22 | 22 | Attribute() | simple.test |
| Simple config | carrier.py:26 | 26 | Attribute() | simple.test |
| Simple config | carrier.py:30 | 30 | Attribute() | simple.test |
| Simple config | carrier.py:35 | 35 | Attribute() | simple.test |
| Simple config | deep.py:22 | 22 | x | simple.test |
| Simple config | test.py:3 | 3 | SOURCE | simple.test |
| Simple config | test.py:7 | 7 | s | simple.test |
| Simple config | test.py:13 | 13 | arg | simple.test |
| Simple config | test.py:17 | 17 | t | simple.test |
| Simple config | test.py:33 | 33 | t | simple.test |
| Simple config | test.py:41 | 41 | t | simple.test |
| Simple config | test.py:78 | 78 | t | simple.test |
| Simple config | test.py:83 | 83 | t | simple.test |
| Simple config | test.py:89 | 89 | t | simple.test |
| Simple config | test.py:93 | 93 | t | simple.test |
| Simple config | test.py:97 | 97 | t | simple.test |
| Simple config | test.py:101 | 101 | t | simple.test |
| Simple config | test.py:106 | 106 | Attribute | simple.test |
| Simple config | test.py:111 | 111 | Attribute | simple.test |
| Simple config | test.py:132 | 132 | t | simple.test |
| Simple config | test.py:142 | 142 | t | simple.test |
| Simple config | test.py:153 | 153 | t | simple.test |
| Simple config | test.py:156 | 156 | unsafe | simple.test |
| Simple config | test.py:160 | 160 | t | simple.test |
| Simple config | test.py:165 | 165 | s | simple.test |
| Simple config | test.py:172 | 172 | Subscript | simple.test |
| Simple config | test.py:173 | 173 | Subscript | simple.test |
| Simple config | test.py:180 | 180 | t | simple.test |
| Simple config | test.py:182 | 182 | t | simple.test |
| Simple config | test.py:184 | 184 | t | simple.test |
| Simple config | test.py:186 | 186 | t | simple.test |
| Simple config | test.py:197 | 197 | t | simple.test |
| Simple config | test.py:199 | 199 | t | simple.test |
| Simple config | test.py:214 | 214 | x | simple.test |
| Taint carrier config | carrier.py:18 | 18 | Attribute | simple.test |
| Taint carrier config | carrier.py:22 | 22 | Attribute() | simple.test |
| Taint carrier config | carrier.py:26 | 26 | Attribute() | simple.test |
| Taint carrier config | carrier.py:30 | 30 | Attribute() | simple.test |
| Taint carrier config | carrier.py:35 | 35 | Attribute() | simple.test |
| Taint carrier config | deep.py:22 | 22 | x | simple.test |
| Taint carrier config | test.py:3 | 3 | SOURCE | simple.test |
| Taint carrier config | test.py:7 | 7 | s | simple.test |
| Taint carrier config | test.py:13 | 13 | arg | simple.test |
| Taint carrier config | test.py:17 | 17 | t | simple.test |
| Taint carrier config | test.py:33 | 33 | t | simple.test |
| Taint carrier config | test.py:41 | 41 | t | simple.test |
| Taint carrier config | test.py:78 | 78 | t | simple.test |
| Taint carrier config | test.py:83 | 83 | t | simple.test |
| Taint carrier config | test.py:89 | 89 | t | simple.test |
| Taint carrier config | test.py:93 | 93 | t | simple.test |
| Taint carrier config | test.py:97 | 97 | t | simple.test |
| Taint carrier config | test.py:101 | 101 | t | simple.test |
| Taint carrier config | test.py:106 | 106 | Attribute | simple.test |
| Taint carrier config | test.py:111 | 111 | Attribute | simple.test |
| Taint carrier config | test.py:132 | 132 | t | simple.test |
| Taint carrier config | test.py:142 | 142 | t | simple.test |
| Taint carrier config | test.py:153 | 153 | t | simple.test |
| Taint carrier config | test.py:156 | 156 | unsafe | simple.test |
| Taint carrier config | test.py:160 | 160 | t | simple.test |
| Taint carrier config | test.py:165 | 165 | s | simple.test |
| Taint carrier config | test.py:172 | 172 | Subscript | simple.test |
| Taint carrier config | test.py:173 | 173 | Subscript | simple.test |
| Taint carrier config | test.py:180 | 180 | t | simple.test |
| Taint carrier config | test.py:182 | 182 | t | simple.test |
| Taint carrier config | test.py:184 | 184 | t | simple.test |
| Taint carrier config | test.py:186 | 186 | t | simple.test |
| Taint carrier config | test.py:197 | 197 | t | simple.test |
| Taint carrier config | test.py:199 | 199 | t | simple.test |
| Taint carrier config | test.py:214 | 214 | x | simple.test |
| carrier.py:18 | Simple config | Attribute | simple.test |
| carrier.py:18 | Taint carrier config | Attribute | simple.test |
| carrier.py:22 | Simple config | Attribute() | simple.test |
| carrier.py:22 | Taint carrier config | Attribute() | simple.test |
| carrier.py:26 | Simple config | Attribute() | simple.test |
| carrier.py:26 | Taint carrier config | Attribute() | simple.test |
| carrier.py:30 | Simple config | Attribute() | simple.test |
| carrier.py:30 | Taint carrier config | Attribute() | simple.test |
| carrier.py:35 | Simple config | Attribute() | simple.test |
| carrier.py:35 | Taint carrier config | Attribute() | simple.test |
| deep.py:22 | Simple config | x | simple.test |
| deep.py:22 | Taint carrier config | x | simple.test |
| rockpaperscissors.py:13 | Rock-paper-scissors config | SCISSORS | scissors |
| rockpaperscissors.py:16 | Rock-paper-scissors config | ROCK | rock |
| rockpaperscissors.py:21 | Rock-paper-scissors config | y | paper |
| rockpaperscissors.py:26 | Rock-paper-scissors config | y | paper |
| rockpaperscissors.py:31 | Rock-paper-scissors config | x | rock |
| rockpaperscissors.py:32 | Rock-paper-scissors config | y | rock |
| test.py:3 | Simple config | SOURCE | simple.test |
| test.py:3 | Taint carrier config | SOURCE | simple.test |
| test.py:7 | Simple config | s | simple.test |
| test.py:7 | Taint carrier config | s | simple.test |
| test.py:13 | Simple config | arg | simple.test |
| test.py:13 | Taint carrier config | arg | simple.test |
| test.py:17 | Simple config | t | simple.test |
| test.py:17 | Taint carrier config | t | simple.test |
| test.py:33 | Simple config | t | simple.test |
| test.py:33 | Taint carrier config | t | simple.test |
| test.py:41 | Simple config | t | simple.test |
| test.py:41 | Taint carrier config | t | simple.test |
| test.py:78 | Simple config | t | simple.test |
| test.py:78 | Taint carrier config | t | simple.test |
| test.py:83 | Simple config | t | simple.test |
| test.py:83 | Taint carrier config | t | simple.test |
| test.py:89 | Simple config | t | simple.test |
| test.py:89 | Taint carrier config | t | simple.test |
| test.py:93 | Simple config | t | simple.test |
| test.py:93 | Taint carrier config | t | simple.test |
| test.py:97 | Simple config | t | simple.test |
| test.py:97 | Taint carrier config | t | simple.test |
| test.py:101 | Simple config | t | simple.test |
| test.py:101 | Taint carrier config | t | simple.test |
| test.py:106 | Simple config | Attribute | simple.test |
| test.py:106 | Taint carrier config | Attribute | simple.test |
| test.py:111 | Simple config | Attribute | simple.test |
| test.py:111 | Taint carrier config | Attribute | simple.test |
| test.py:122 | Basic custom config | t | simple.test |
| test.py:130 | Basic custom config | t | simple.test |
| test.py:132 | Simple config | t | simple.test |
| test.py:132 | Taint carrier config | t | simple.test |
| test.py:140 | Basic custom config | t | simple.test |
| test.py:142 | Simple config | t | simple.test |
| test.py:142 | Taint carrier config | t | simple.test |
| test.py:151 | Basic custom config | t | simple.test |
| test.py:153 | Simple config | t | simple.test |
| test.py:153 | Taint carrier config | t | simple.test |
| test.py:156 | Simple config | unsafe | simple.test |
| test.py:156 | Taint carrier config | unsafe | simple.test |
| test.py:160 | Simple config | t | simple.test |
| test.py:160 | Taint carrier config | t | simple.test |
| test.py:165 | Simple config | s | simple.test |
| test.py:165 | Taint carrier config | s | simple.test |
| test.py:172 | Simple config | Subscript | simple.test |
| test.py:172 | Taint carrier config | Subscript | simple.test |
| test.py:173 | Simple config | Subscript | simple.test |
| test.py:173 | Taint carrier config | Subscript | simple.test |
| test.py:180 | Simple config | t | simple.test |
| test.py:180 | Taint carrier config | t | simple.test |
| test.py:182 | Simple config | t | simple.test |
| test.py:182 | Taint carrier config | t | simple.test |
| test.py:184 | Simple config | t | simple.test |
| test.py:184 | Taint carrier config | t | simple.test |
| test.py:186 | Simple config | t | simple.test |
| test.py:186 | Taint carrier config | t | simple.test |
| test.py:197 | Simple config | t | simple.test |
| test.py:197 | Taint carrier config | t | simple.test |
| test.py:199 | Simple config | t | simple.test |
| test.py:199 | Taint carrier config | t | simple.test |
| test.py:214 | Simple config | x | simple.test |
| test.py:214 | Taint carrier config | x | simple.test |

2
python/ql/test/library-tests/taint/config/TestSink.ql
View File

@@ -5,4 +5,4 @@ import TaintLib
from TestConfig config, DataFlow::Node sink, TaintKind kind
where config.isSink(sink, kind)
select config, sink.getLocation().toString(), sink.getLocation().getStartLine(), sink.toString(), kind
select sink.getLocation().toString(), config, sink.toString(), kind

56
python/ql/test/library-tests/taint/general/Contexts.expected
View File

@@ -1,30 +1,30 @@
WARNING: Type CallContext has been deprecated and may be removed in future (Contexts.ql:6,6-17)
WARNING: Type CallContext has been deprecated and may be removed in future (Contexts.ql:7,14-25)
| p0 = Command injection | Function isEscapedSql |
| p0 = Command injection | Function isValidCommand |
| p0 = SQL injection | Function isEscapedSql |
| p0 = SQL injection | Function isValidCommand |
| p0 = basic.custom | Function hub |
| p0 = explicit.carrier | Function hub |
| p0 = paper | Function paper |
| p0 = paper | Function scissors |
| p0 = rock | Function paper |
| p0 = scissors | Function paper |
| p0 = scissors | Function rock |
| p0 = scissors | Function scissors |
| p0 = simple.test | Function f1 |
| p0 = simple.test | Function f2 |
| p0 = simple.test | Function f3 |
| p0 = simple.test | Function f4 |
| p0 = simple.test | Function f5 |
| p0 = simple.test | Function f6 |
| p0 = simple.test | Function hub |
| p0 = simple.test | Function sink |
| p0 = simple.test | Function sink2 |
| p0.attr = simple.test | Function get_attr |
| p0.attr = simple.test | Function hub |
| p0.x = simple.test | Function hub |
| p0.x = simple.test | Function x_sink |
| p1 = explicit.carrier | Function __init__ |
| p1 = simple.test | Function __init__ |
| p1 = simple.test | Function sink3 |
| carrier.py:4 | p1 = explicit.carrier | Function __init__ |
| carrier.py:4 | p1 = simple.test | Function __init__ |
| carrier.py:10 | p0.attr = simple.test | Function get_attr |
| carrier.py:13 | p0 = explicit.carrier | Function hub |
| carrier.py:13 | p0.attr = simple.test | Function hub |
| deep.py:2 | p0 = simple.test | Function f1 |
| deep.py:5 | p0 = simple.test | Function f2 |
| deep.py:8 | p0 = simple.test | Function f3 |
| deep.py:11 | p0 = simple.test | Function f4 |
| deep.py:14 | p0 = simple.test | Function f5 |
| deep.py:17 | p0 = simple.test | Function f6 |
| rockpaperscissors.py:3 | p0 = scissors | Function rock |
| rockpaperscissors.py:6 | p0 = paper | Function paper |
| rockpaperscissors.py:6 | p0 = rock | Function paper |
| rockpaperscissors.py:6 | p0 = scissors | Function paper |
| rockpaperscissors.py:9 | p0 = paper | Function scissors |
| rockpaperscissors.py:9 | p0 = scissors | Function scissors |
| sanitizer.py:3 | p0 = Command injection | Function isEscapedSql |
| sanitizer.py:3 | p0 = SQL injection | Function isEscapedSql |
| sanitizer.py:5 | p0 = Command injection | Function isValidCommand |
| sanitizer.py:5 | p0 = SQL injection | Function isValidCommand |
| test.py:12 | p0 = simple.test | Function sink |
| test.py:46 | p0 = simple.test | Function sink2 |
| test.py:49 | p1 = simple.test | Function sink3 |
| test.py:72 | p0 = basic.custom | Function hub |
| test.py:72 | p0 = simple.test | Function hub |
| test.py:72 | p0.x = simple.test | Function hub |
| test.py:105 | p0.x = simple.test | Function x_sink |

2
python/ql/test/library-tests/taint/general/Contexts.ql
View File

@@ -6,5 +6,5 @@ import TaintLib
from CallContext context, Scope s
where exists(CallContext caller | caller.getCallee(_) = context) and
context.appliesToScope(s)
select context, s.toString()
select s.getLocation().toString(), context, s.toString()