Module FlowState
Convenience predicates for working with common flow states.
Import path
import semmle.javascript.security.CommonFlowStatePredicates
| fromFlowLabel | DEPRECATED. Gets the flow state corresponding to |
| taint | Gets the flow state representing a value that is considered entirely tainted, except the first character might not be user-controlled. |
| taintedObject | Gets the flow state representing a deeply tainted object, such as a JSON object parsed from user-controlled data. |
| taintedPrefix | Gets the flow state representing a string whose prefix is known to be tainted. |
| taintedUrlSuffix | Gets the flow state representing a URL whose fragment and/or query parts are considered tainted. |