qtil
advanced-security/qtil-ruby 0.0.2
Search

Predicate neutralElement

Holds if a neutral model exists for c with provenance provenance, which means that there is no flow through c.

Import path

import codeql.ruby.dataflow.internal.FlowSummaryImplSpecific
predicate neutralElement(SummarizedCallable c, string provenance)