Struct FunctionSummary 

pub struct FunctionSummary {
    pub function_name: String,
    pub source_parameters: HashSet<usize>,
    pub sink_parameters: HashSet<usize>,
    pub propagation_rules: Vec<TaintPropagation>,
    pub return_taint: ReturnTaint,
    pub has_internal_vulnerability: bool,
}

Summary of a function’s taint behavior

Fields

function_name: String

Function name

source_parameters: HashSet<usize>

Which parameters can introduce taint (parameter index)

sink_parameters: HashSet<usize>

Which parameters flow to sinks within this function

propagation_rules: Vec<TaintPropagation>

Taint propagation rules

return_taint: ReturnTaint

Does the return value carry taint?

has_internal_vulnerability: bool

Does the function contain an internal vulnerability (source -> sink)?

Implementations

impl FunctionSummary

pub fn new(function_name: String) -> Self

Create a new empty function summary

pub fn from_mir_function( function: &MirFunction, callee_summaries: &HashMap<String, FunctionSummary>, closure_registry: Option<&ClosureRegistry>, ) -> Result<Self>

Generate a summary for a function using intra-procedural analysis

pub fn to_dataflow_summary(&self) -> DataflowSummary

Trait Implementations

impl Clone for FunctionSummary

fn clone(&self) -> FunctionSummary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionSummary

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

Formats the value using the given formatter.