Struct TaintPropagation 

pub struct TaintPropagation {
    pub from: TaintLocation,
    pub to: Vec<TaintLocation>,
}

A single taint propagation rule.

The from field specifies where taint originates (a parameter or return value), and to specifies where it flows. Both use the TaintLocation enum, which serializes as "param.N" or "return" for YAML/JSON compatibility.

Fields

from: TaintLocation

Source of taint (e.g., TaintLocation::Param(0), TaintLocation::Return).

to: Vec<TaintLocation>

Destinations where taint flows.

Trait Implementations

impl Clone for TaintPropagation

fn clone(&self) -> TaintPropagation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TaintPropagation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TaintPropagation

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for TaintPropagation

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for TaintPropagation

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for TaintPropagation