| MySanitizerHandlingNot | externally controlled string | test.py:13 | Pi(s_0) [true] |
| MySanitizerHandlingNot | externally controlled string | test.py:18 | Pi(s_5) [false] |
| MySanitizerHandlingNot | externally controlled string | test.py:28 | Pi(s_0) [true] |
| MySanitizerHandlingNot | externally controlled string | test.py:34 | Pi(s_10) [true] |
| MySanitizerHandlingNot | externally controlled string | test.py:40 | Pi(s_12) [false] |
| MySanitizerHandlingNot | externally controlled string | test.py:50 | Pi(s_0) [true] |
| MySanitizerHandlingNot | externally controlled string | test.py:56 | Pi(s_10) [true] |
| MySanitizerHandlingNot | externally controlled string | test.py:62 | Pi(s_12) [false] |
| MySanitizerHandlingNot | externally controlled string | test.py:76 | Pi(s_3) [true] |
| MySanitizerHandlingNot | externally controlled string | test.py:82 | Pi(s_0) [true] |
| MySanitizerHandlingNot | externally controlled string | test.py:87 | Pi(s_5) [false] |
| MySanitizerHandlingNot | externally controlled string | test.py:97 | Pi(s_0) [true] |
| MySanitizerHandlingNot | externally controlled string | test.py:102 | Pi(s_7) [true] |
| MySanitizerHandlingNot | externally controlled string | test.py:107 | Pi(s_12) [true] |
| MySimpleSanitizer | externally controlled string | test.py:13 | Pi(s_0) [true] |
| MySimpleSanitizer | externally controlled string | test.py:28 | Pi(s_0) [true] |
| MySimpleSanitizer | externally controlled string | test.py:34 | Pi(s_10) [true] |
| MySimpleSanitizer | externally controlled string | test.py:50 | Pi(s_0) [true] |
| MySimpleSanitizer | externally controlled string | test.py:56 | Pi(s_10) [true] |
| MySimpleSanitizer | externally controlled string | test.py:76 | Pi(s_3) [true] |
| MySimpleSanitizer | externally controlled string | test.py:97 | Pi(s_0) [true] |
| MySimpleSanitizer | externally controlled string | test.py:102 | Pi(s_7) [true] |
| MySimpleSanitizer | externally controlled string | test.py:107 | Pi(s_12) [true] |