Provides default sources, sinks and sanitizers for detecting “URL redirection” vulnerabilities, as well as extension points for adding your own.
An additional flow step for “URL redirection” vulnerabilities.
A state value to track whether the untrusted data may contain backslashes.
A state value signifying that the untrusted data may contain backslashes.
A state value signifying that any backslashes in the untrusted data have been eliminated, but no other sanitization has happened.
A HTTP redirect response, considered as a flow sink.
A source of remote user input, considered as a flow source.
A call that replaces backslashes with forward slashes or eliminates them altogether, considered as a partial sanitizer, as well as an additional flow step.
A sanitizer for “URL redirection” vulnerabilities.
A data flow sink for “URL redirection” vulnerabilities.
A data flow source for “URL redirection” vulnerabilities.
The right side of a string-concat, considered as a sanitizer.
A comparison with a constant string, considered as a sanitizer-guard.