Struct ValidationExecutedProof 

#[non_exhaustive]
pub struct ValidationExecutedProof {
    pub code: Option<ValidationProofCode>,
    pub output: Option<ValidationProofOutput>,
    pub observed_effect: Option<ExploitEffect>,
}

Proof of exploitability the validation agent produced by executing code against the repository under test, with the output that execution produced.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

code: Option<ValidationProofCode>

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

output: Option<ValidationProofOutput>

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

observed_effect: Option<ExploitEffect>

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.

Implementations

impl ValidationExecutedProof

pub fn code(&self) -> Option<&ValidationProofCode>

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

pub fn output(&self) -> Option<&ValidationProofOutput>

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

pub fn observed_effect(&self) -> Option<&ExploitEffect>

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.

impl ValidationExecutedProof

pub fn builder() -> ValidationExecutedProofBuilder

Creates a new builder-style object to manufacture ValidationExecutedProof.

Trait Implementations

impl Clone for ValidationExecutedProof

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ValidationExecutedProof

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for ValidationExecutedProof

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ValidationExecutedProof