Struct DerivedSpec 

pub struct DerivedSpec {
    pub computed_return_bound: Option<ComputedBound>,
    pub param_freed: BTreeMap<usize, bool>,
    pub param_dereferenced: BTreeMap<usize, bool>,
    pub return_is_allocated: bool,
}

Analysis-derived specification for a function.

Produced by the summary module and merged with YAML specs in AnalyzedSpecRegistry.

Fields

computed_return_bound: Option<ComputedBound>

Computed return interval bound (if applicable).

param_freed: BTreeMap<usize, bool>

Whether the callee frees param[i] (directly or transitively).

param_dereferenced: BTreeMap<usize, bool>

Whether the callee dereferences param[i].

return_is_allocated: bool

Whether the function returns newly allocated memory.

Implementations

impl DerivedSpec

pub fn empty() -> Self

Create an empty derived spec with no discovered properties.

pub fn from_effects( param_freed: BTreeMap<usize, bool>, param_dereferenced: BTreeMap<usize, bool>, return_is_allocated: bool, ) -> Self

Create from a ParameterEffectSummary-style tuple.

Trait Implementations

impl Clone for DerivedSpec

fn clone(&self) -> DerivedSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DerivedSpec

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

Formats the value using the given formatter.

impl PartialEq for DerivedSpec

fn eq(&self, other: &DerivedSpec) -> 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 Eq for DerivedSpec

impl StructuralPartialEq for DerivedSpec