As far as I can tell unescape is not modeled as a string propagator in
|
private class StringManipulationTaintStep extends SharedTaintStep { |
I am curious if this is intended and if so, what is the reason for this given that decodeURIComponent is modeled as taint preserving.
Thanks!