Module AccessPath::DominatingPaths
A module for reasoning dominating reads and writes to access-paths.
Import path
import javascriptPredicates
| hasDominatingWrite | EXPERIMENTAL. This API may change in the future. |
A module for reasoning dominating reads and writes to access-paths.
import javascript| hasDominatingWrite | EXPERIMENTAL. This API may change in the future. |