qtil
advanced-security/qtil-javascript 0.0.3
Search

Predicate Vuex::stateMutationStep

Holds if pred -> succ is a step from state mutation to state access.

Import path

import semmle.javascript.frameworks.Vuex
predicate stateMutationStep(Node pred, Node succ)