Interface ValidationExecutedProof.Builder

  • Method Details

    • code

      The code that was run. Not a request payload: it imports the repository's own modules and drives the vulnerable code path directly.

      Parameters:
      code - The code that was run. Not a request payload: it imports the repository's own modules and drives the vulnerable code path directly.
      Returns:
      Returns a reference to this object so that method calls can be chained together.
    • code

      The code that was run. Not a request payload: it imports the repository's own modules and drives the vulnerable code path directly.

      This is a convenience method that creates an instance of the ValidationProofCode.Builder avoiding the need to create one manually via ValidationProofCode.builder().

      When the Consumer completes, SdkBuilder.build() is called immediately and its result is passed to code(ValidationProofCode).

      Parameters:
      code - a consumer that will call methods on ValidationProofCode.Builder
      Returns:
      Returns a reference to this object so that method calls can be chained together.
      See Also:
    • output

      What the execution printed, including the agent's own PASS/FAIL assertions. Absent when the run printed nothing retained.

      Parameters:
      output - What the execution printed, including the agent's own PASS/FAIL assertions. Absent when the run printed nothing retained.
      Returns:
      Returns a reference to this object so that method calls can be chained together.
    • output

      What the execution printed, including the agent's own PASS/FAIL assertions. Absent when the run printed nothing retained.

      This is a convenience method that creates an instance of the ValidationProofOutput.Builder avoiding the need to create one manually via ValidationProofOutput.builder().

      When the Consumer completes, SdkBuilder.build() is called immediately and its result is passed to output(ValidationProofOutput).

      Parameters:
      output - a consumer that will call methods on ValidationProofOutput.Builder
      Returns:
      Returns a reference to this object so that method calls can be chained together.
      See Also:
    • observedEffect

      ValidationExecutedProof.Builder observedEffect(String observedEffect)

      Effect the execution actually produced. observedEffect rather than effect: this one was witnessed, and the name has to stay distinguishable from ValidationSourceAnalysis.inferredEffect, which was not.

      Parameters:
      observedEffect - Effect the execution actually produced. observedEffect rather than effect: this one was witnessed, and the name has to stay distinguishable from ValidationSourceAnalysis.inferredEffect, which was not.
      Returns:
      Returns a reference to this object so that method calls can be chained together.
      See Also:
    • observedEffect

      ValidationExecutedProof.Builder observedEffect(ExploitEffect observedEffect)

      Effect the execution actually produced. observedEffect rather than effect: this one was witnessed, and the name has to stay distinguishable from ValidationSourceAnalysis.inferredEffect, which was not.

      Parameters:
      observedEffect - Effect the execution actually produced. observedEffect rather than effect: this one was witnessed, and the name has to stay distinguishable from ValidationSourceAnalysis.inferredEffect, which was not.
      Returns:
      Returns a reference to this object so that method calls can be chained together.
      See Also: