Struct SecureSummary 

pub struct SecureSummary {
    pub taint_count: u32,
    pub taint_critical: u32,
    pub leak_count: u32,
    pub bounds_warnings: u32,
    pub behavioral_count: u32,
    pub missing_contracts: u32,
    pub mutable_params: u32,
    pub unsafe_blocks: u32,
    pub raw_pointer_ops: u32,
    pub unwrap_calls: u32,
    pub todo_markers: u32,
}

Security summary.

WRAPPER-CROSS-CONSISTENCY-V1: every *_count field is computed from the FINAL SecureReport.findings array via category group-by. The sum of all category counters in this struct (taint + leak + bounds + behavioral

• unsafe_blocks + raw_pointer_ops + unwrap_calls + todo_markers + missing_contracts + mutable_params) MUST equal findings.len(). taint_critical is a sub-count of taint_count (severity refinement, not its own category) and is excluded from that invariant.

Fields

taint_count: u32

Number of taint-related findings

taint_critical: u32

Number of critical taint findings

leak_count: u32

Number of resource leak findings

bounds_warnings: u32

Number of bounds/overflow warnings

behavioral_count: u32

Number of behavioral findings (e.g. bare except:)

WRAPPER-CROSS-CONSISTENCY-V1 (BUG-15): previously the behavioral category was emitted into findings[] but had no corresponding summary counter, so sum(*_count) != findings.len(). Adding this counter restores the invariant.

missing_contracts: u32

Number of missing contracts

mutable_params: u32

Number of mutable parameter issues

unsafe_blocks: u32

Number of Rust unsafe blocks

raw_pointer_ops: u32

Number of Rust raw pointer operations

unwrap_calls: u32

Number of Rust unwrap calls

todo_markers: u32

Number of todo!/unimplemented! markers in non-test code

Trait Implementations

impl Clone for SecureSummary

fn clone(&self) -> SecureSummary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SecureSummary

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

Formats the value using the given formatter.

impl Default for SecureSummary

fn default() -> SecureSummary

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for SecureSummary

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for SecureSummary

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

where __S: Serializer,

Serialize this value into the given Serde serializer.