Struct IFCTracker 

pub struct IFCTracker {
    pub labels: HashMap<String, SecurityLevel>,
    pub violations: Vec<(String, SecurityLevel)>,
}

Tracks information flow labels for a set of variables.

Fields

labels: HashMap<String, SecurityLevel>

Security label for each variable.

violations: Vec<(String, SecurityLevel)>

Recorded violations: (var, expected_label).

Implementations

impl IFCTracker

pub fn new() -> Self

Create a new tracker.

pub fn assign(&mut self, var: impl Into<String>, level: SecurityLevel)

Assign a security label to a variable.

pub fn label_of(&self, var: &str) -> SecurityLevel

Get the label of a variable (defaults to Low if unknown).

pub fn propagate(&mut self, dst: impl Into<String>, srcs: &[&str])

Propagate: dst gets the join of all source labels.

pub fn check_flow(&mut self, var: &str, required: &SecurityLevel)

Check a flow: assert that var’s label ⊑ required.

pub fn has_violation(&self) -> bool

Returns true if any information flow violation was detected.

Trait Implementations

impl Clone for IFCTracker

fn clone(&self) -> IFCTracker

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IFCTracker

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

Formats the value using the given formatter.

impl Default for IFCTracker

fn default() -> IFCTracker

Returns the “default value” for a type.