Struct IpaConfig 

pub struct IpaConfig {
    pub max_path_depth: usize,
    pub max_flows_per_source: usize,
    pub max_visited: usize,
    pub max_total_flows: usize,
    pub max_functions_for_ipa: usize,
}

Configuration for inter-procedural analysis (IPA) limits.

These limits control memory usage and analysis depth for taint tracking. Increase limits for more thorough analysis on high-memory machines. Decrease limits to analyze extremely large codebases with limited memory.

All fields have sensible defaults that work well for most codebases.

Fields

max_path_depth: usize

Maximum call chain depth from source to sink (default: 8) Most real vulnerabilities have depth < 5.

max_flows_per_source: usize

Maximum taint flows tracked per source function (default: 200) Increase if you suspect missed flows from a single source.

max_visited: usize

Maximum functions visited per source exploration (default: 1000) Prevents memory explosion in extremely dense call graphs.

max_total_flows: usize

Maximum total inter-procedural flows reported (default: 5000) Most real analyses produce < 500 flows.

max_functions_for_ipa: usize

Maximum functions before skipping interprocedural analysis (default: 10000) For crates exceeding this threshold, IPA is skipped but intra-procedural analysis still runs for all rules.

Trait Implementations

impl Clone for IpaConfig

fn clone(&self) -> IpaConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IpaConfig

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

Formats the value using the given formatter.

impl Default for IpaConfig

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for IpaConfig

where IpaConfig: Default,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for IpaConfig

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

where __S: Serializer,

Serialize this value into the given Serde serializer.