All Classes and Interfaces
Class
Description
A structured representation of a CodeQL-style data-flow access path such as
Argument[0],
Argument[-1].Element, Argument[0].Parameter[1] or Argument[1].ReturnValue.Allows for the creation of an
InvocationMatcher by implementing four simple predicates.A higher-order ("lambda call") flow model derived from a CodeQL-style summary whose access path
references a functional argument's parameter or return value.
A position at a call site: the qualifier, an argument, or the return value.
Represents a control flow graph.
To create an instance call
ControlFlow.findControlFlow().Finds either Taint or Data flow between specified start and end methods.
Finds matching method invocations.
Plan:
The most basic version of a
MethodMatcher that allows implementers to craft custom matching logic.Helpers for reasoning about the return value of a lambda — the value that "flows out" of a
functional argument.
Marks a
JavaSourceFile as matching if all the passed methods are found.Equivalent to
UsesMethod but for any InvocationMatcher.