QL library for Java
Version 1.20.1
Index
Search
mayWriteToArray
Query module
ExposeRepresentation
Imports
DefUse
java
Predicates
exposesByReturn
exposesByStore
mayWriteToArray
modificationAfter
modifyMethod
relevantType
returnsArray
storesArray
varPassedInto
writesToArray
Predicate
ExposeRepresentation
::
mayWriteToArray
predicate
mayWriteToArray
(
Expr
modified
)