qtil
advanced-security/qtil-go 0.0.3
Search

Member predicate ControlFlow::WriteNode::writes

Holds if this node sets variable or constant v to rhs.

predicate writes(ValueEntity v, Node rhs)