Predicate isSafeLocationProperty
DEPRECATED. In most cases, a sanitizer based on this predicate can be removed, as taint tracking no longer step through the properties of the location object by default.
Holds if pacc accesses a part of document.location that is
not considered user-controlled, that is, anything except
href, hash and search.
Import path
import javascript
predicate
isSafeLocationProperty
(
PropAccess
pacc
)