Module AccessPath::DominatingPaths
A module for reasoning dominating reads and writes to access-paths.
Import path
import javascript
Predicates
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. |