Struct FindingEvidence 

pub struct FindingEvidence {
    pub evidence_type: EvidenceKind,
    pub description: String,
    pub data: Option<String>,
}

Evidence supporting a finding.

Fields

evidence_type: EvidenceKind

Evidence type

description: String

Description

data: Option<String>

Raw data

Implementations

impl FindingEvidence

pub fn mutation(mutant_id: impl Into<String>, survived: bool) -> Self

Create mutation evidence.

pub fn sbfl(formula: impl Into<String>, score: f64) -> Self

Create SBFL evidence.

pub fn static_analysis( tool: impl Into<String>, message: impl Into<String>, ) -> Self

Create static analysis evidence.

pub fn fuzzing(input: impl Into<String>, crash_type: impl Into<String>) -> Self

Create fuzzing evidence.

pub fn quality_metrics( grade: impl Into<String>, tdg_score: f64, complexity: u32, ) -> Self

Create quality metrics evidence (BH-21).

pub fn contract_binding( contract: impl Into<String>, equation: impl Into<String>, status: impl Into<String>, ) -> Self

Create contract binding evidence (BH-26).

pub fn model_parity( model: impl Into<String>, check: impl Into<String>, result: impl Into<String>, ) -> Self

Create model parity evidence (BH-27).

pub fn concolic(path_constraint: impl Into<String>) -> Self

Create concolic evidence.

Trait Implementations

impl Clone for FindingEvidence

fn clone(&self) -> FindingEvidence

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FindingEvidence

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FindingEvidence

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for FindingEvidence

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.