Skip to content

Commit 771dfec

Browse files
committed
Python: Add sanitized edges for urlsplit test
1 parent 0b31cb1 commit 771dfec

File tree

2 files changed

+13
-0
lines changed

2 files changed

+13
-0
lines changed
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
| UrlsplitUrlparseTempSanitizer | [externally controlled string] | test.py:21 | Pi(urlsplit_res_0) [true] |
2+
| UrlsplitUrlparseTempSanitizer | [externally controlled string] | test.py:24 | Pi(urlsplit_res_3) [true] |
3+
| UrlsplitUrlparseTempSanitizer | [externally controlled string] | test.py:27 | Pi(urlsplit_res_6) [true] |
4+
| UrlsplitUrlparseTempSanitizer | [externally controlled string] | test.py:30 | Pi(urlsplit_res_9) [true] |
5+
| string equality sanitizer | externally controlled string | test.py:21 | Pi(urlsplit_res_0) [true] |
6+
| string equality sanitizer | externally controlled string | test.py:24 | Pi(urlsplit_res_3) [true] |
7+
| string equality sanitizer | externally controlled string | test.py:27 | Pi(urlsplit_res_6) [true] |
Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
import python
2+
import Taint
3+
4+
from Sanitizer s, TaintKind taint, PyEdgeRefinement test
5+
where s.sanitizingEdge(taint, test)
6+
select s, taint, test.getTest().getLocation().toString(), test.getRepresentation()

0 commit comments

Comments
 (0)