Predicate isImproperMemoizationMethod
Holds if m
is a memoization method with a parameter p
which is not used in the memoization key.
This can cause stale or incorrect values to be returned when the method is called with different arguments.
Import path
import codeql.ruby.security.ImproperMemoizationQuery
predicate isImproperMemoizationMethod(Method m, Parameter p, AssignLogicalOrExpr s)