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.ImproperMemoizationQuerypredicate isImproperMemoizationMethod(Method m, Parameter p, AssignLogicalOrExpr s)