qtil

advanced-security/qtil-ruby 0.0.2

Module SummaryComponent

Provides predicates for constructing summary components.

Import path

import codeql.ruby.dataflow.FlowSummary

Predicates

block	Gets a summary component that represents a block argument.
elementAny	Gets a summary component that represents an element in a collection at either an unknown index or known index. This has the same semantics as
elementKnown	Gets a summary component that represents an element in a collection at a known index.
elementKnownOrUnknown	Gets a summary component that represents an element in a collection at a specific known index `cv`, or an unknown index.
elementLowerBound	Gets a summary component that represents an element in a collection at known integer index `lower` or above.
elementLowerBoundOrUnknown	Gets a summary component that represents an element in a collection at known integer index `lower` or above, or possibly at an unknown index.
elementUnknown	Gets a summary component that represents an element in a collection at an unknown index.
receiver	Gets a summary component that represents a receiver.
return	Gets a summary component that represents the return value of a call.

Aliases

SyntheticGlobal	A synthetic global. This represents some form of global state, which summaries can read and write individually.
argument	Gets a summary component for an argument at position `pos`.
content	Gets a summary component for content `c`.
parameter	Gets a summary component for a parameter at position `pos`.
withContent	Gets a summary component where data must be stored in `c`.
withoutContent	Gets a summary component where data is not allowed to be stored in `c`.