Struct GeneratedSecurityRelationAnalyzerSpec 

pub struct GeneratedSecurityRelationAnalyzerSpec<'a> {
    pub analyzer_id: &'a str,
    pub family: SecurityRelationQueryFamily,
    pub rule_id: &'a str,
    pub backend_id: &'a str,
    pub evidence_digest: &'a str,
    pub precision_contract: PrecisionContract,
    pub baseline_id: &'a str,
}

Static analyzer identity and finding metadata supplied by the caller.

Fields

analyzer_id: &'a str

Generated analyzer id.

family: SecurityRelationQueryFamily

Relation query family.

rule_id: &'a str

User-facing rule id used to construct finding ids.

backend_id: &'a str

Backend or oracle id that produced the relation result.

evidence_digest: &'a str

Evidence digest or replay id for the generated analyzer run.

precision_contract: PrecisionContract

Consumer precision contract for finding proof bundles.

baseline_id: &'a str

Baseline id, such as external-ifds or vyre-security-current.

Trait Implementations

impl<'a> Clone for GeneratedSecurityRelationAnalyzerSpec<'a>

fn clone(&self) -> GeneratedSecurityRelationAnalyzerSpec<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for GeneratedSecurityRelationAnalyzerSpec<'a>

impl<'a> Debug for GeneratedSecurityRelationAnalyzerSpec<'a>

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

Formats the value using the given formatter.