Enum DataFlowKind 

pub enum DataFlowKind {
    TaintFlow,
    DeadStore,
    DiscardedResult,
    PartialErrorHandling,
    RepeatedCall,
    UnnecessaryClone,
    AllocationInLoop,
    RedundantCollect,
    LockAcrossAwait,
    InconsistentLockOrder,
    ImmutableGrowable,
    SwallowedOk,
    UnobservedSpawn,
}

Discriminant for data flow findings.

Variants

TaintFlow

Tainted data flows from a capability source to a capability sink.

DeadStore

Value assigned then overwritten before read.

DiscardedResult

Function returning Result called without binding the return.

PartialErrorHandling

Result handled on some paths, dropped on others.

RepeatedCall

Same function called with identical arguments within a single scope.

UnnecessaryClone

.clone() called but the original is never used afterward.

AllocationInLoop

Vec::new(), String::new(), or format!() inside a loop body.

RedundantCollect

.collect() followed immediately by .iter() or .into_iter().

LockAcrossAwait

Lock guard held across an .await point (potential deadlock or task starvation).

InconsistentLockOrder

Same locks acquired in different orders across functions (potential deadlock).

ImmutableGrowable

Vec or String binding never mutated after construction.

SwallowedOk

.ok() called on Result where the resulting Option is discarded.

UnobservedSpawn

Thread or task spawned with the JoinHandle dropped or unbound.

Implementations

impl DataFlowKind

pub fn code(self) -> &'static str

Kebab-case identifier for this data flow kind.

Trait Implementations

impl Clone for DataFlowKind

fn clone(&self) -> DataFlowKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DataFlowKind

impl Debug for DataFlowKind

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

Formats the value using the given formatter.

impl Display for DataFlowKind

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

Formats the value using the given formatter.

impl Eq for DataFlowKind

impl Ord for DataFlowKind

fn cmp(&self, other: &DataFlowKind) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for DataFlowKind

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for DataFlowKind

fn partial_cmp(&self, other: &DataFlowKind) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for DataFlowKind