Interface ValidationSourceAnalysis.Builder

  • Method Details

    • summary

      The non-blank analysis as Markdown: the annotated entry-to-sink walk, its citations, and why the checked guards are absent or bypassed.

      Parameters:
      summary - The non-blank analysis as Markdown: the annotated entry-to-sink walk, its citations, and why the checked guards are absent or bypassed.
      Returns:
      Returns a reference to this object so that method calls can be chained together.
    • inferredEffect

      ValidationSourceAnalysis.Builder inferredEffect(String inferredEffect)

      Effect the agent concluded WOULD occur. Deliberately not effect: nothing was executed, so this is reasoned from the source and must not be read as an observation. See ValidationExecutedProof.observedEffect.

      Parameters:
      inferredEffect - Effect the agent concluded WOULD occur. Deliberately not effect: nothing was executed, so this is reasoned from the source and must not be read as an observation. See ValidationExecutedProof.observedEffect.
      Returns:
      Returns a reference to this object so that method calls can be chained together.
      See Also:
    • inferredEffect

      ValidationSourceAnalysis.Builder inferredEffect(ExploitEffect inferredEffect)

      Effect the agent concluded WOULD occur. Deliberately not effect: nothing was executed, so this is reasoned from the source and must not be read as an observation. See ValidationExecutedProof.observedEffect.

      Parameters:
      inferredEffect - Effect the agent concluded WOULD occur. Deliberately not effect: nothing was executed, so this is reasoned from the source and must not be read as an observation. See ValidationExecutedProof.observedEffect.
      Returns:
      Returns a reference to this object so that method calls can be chained together.
      See Also: