Package org.openrewrite.analysis.dataflow

Class LocalFlowSpec<Source extends org.openrewrite.java.tree.Expression,Sink extends org.openrewrite.java.tree.J>

java.lang.Object
org.openrewrite.analysis.dataflow.LocalFlowSpec<Source,Sink>
Direct Known Subclasses:
LocalTaintFlowSpec
@Incubating(since="7.24.0") public abstract class LocalFlowSpec<Source extends org.openrewrite.java.tree.Expression,Sink extends org.openrewrite.java.tree.J> extends Object

  • Field Details

    • sourceType

      protected final Type sourceType

    • sinkType

      protected final Type sinkType

  • Constructor Details

    • LocalFlowSpec

      protected LocalFlowSpec()

  • Method Details

    • getSourceType

      public Class<?> getSourceType()

    • getSinkType

      public Class<?> getSinkType()

    • isSource

      public abstract boolean isSource(DataFlowNode srcNode)
      The following is always true: source == cursor.getValue().
      Parameters:
      srcNode - The DataFlowNode to check to determine if it should be considered flow-graph source.
      Returns:
      true if srcNode should be considered the source or root of a flow graph.

    • isSink

      public abstract boolean isSink(DataFlowNode sinkNode)
      The following is always true: sink == cursor.getValue().
      Parameters:
      sinkNode - The DataFlowNode to check to determine if it should be considered a flow-graph sink.
      Returns:
      true if sinkNode should be considered the sink or leaf of a flow graph.

    • isFlowStep

      public final boolean isFlowStep(DataFlowNode srcNode, DataFlowNode sinkNode)

    • isAdditionalFlowStep

      public boolean isAdditionalFlowStep(DataFlowNode srcNode, DataFlowNode sinkNode)
      takes an existing flow-step in the graph and offers a potential next flow step. The method can then decide if the offered potential next flow step should be considered a valid next flow step in the graph. Allows for ad-hoc taint tracking by allowing for additional, non-default flow steps to be added to the flow graph. The following is always true: srcExpression == srcCursor.getValue() && sinkExpression == sinkCursor.getValue().

    • isBarrierGuard

      public boolean isBarrierGuard(Guard guard, boolean branch)

    • isBarrier

      public boolean isBarrier(org.openrewrite.java.tree.Expression expression, org.openrewrite.Cursor cursor)
      Holds if flow through `expression` is prohibited.