Struct ValidationSourceAnalysis 

#[non_exhaustive]
pub struct ValidationSourceAnalysis {
    pub summary: String,
    pub inferred_effect: Option<ExploitEffect>,
}

Proof of exploitability the validation agent produced by reading the repository’s source, with nothing built or run. Further members, such as diagram and references, can be added later as optional details.

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.

summary: String

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

inferred_effect: Option<ExploitEffect>

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.

Implementations

impl ValidationSourceAnalysis

pub fn summary(&self) -> &str

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

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

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.

impl ValidationSourceAnalysis

pub fn builder() -> ValidationSourceAnalysisBuilder

Creates a new builder-style object to manufacture ValidationSourceAnalysis.

Trait Implementations

impl Clone for ValidationSourceAnalysis

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 ValidationSourceAnalysis

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

Formats the value using the given formatter.

impl PartialEq for ValidationSourceAnalysis

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ValidationSourceAnalysis