Struct PathLimits 

pub struct PathLimits {
    pub max_length: usize,
    pub max_paths: usize,
    pub loop_unroll_limit: usize,
}

Configurable limits for path enumeration

Prevents exponential explosion of paths in complex CFGs and ensures termination in the presence of loops.

Fields

max_length: usize

Maximum number of blocks per path

max_paths: usize

Maximum number of paths to enumerate

loop_unroll_limit: usize

Loop iterations to unroll before stopping

Implementations

impl PathLimits

pub fn new( max_length: usize, max_paths: usize, loop_unroll_limit: usize, ) -> Self

Create new path limits with custom values

pub fn with_max_length(self, max_length: usize) -> Self

Create limits with a custom maximum path length

pub fn with_max_paths(self, max_paths: usize) -> Self

Create limits with a custom maximum path count

pub fn with_loop_unroll_limit(self, loop_unroll_limit: usize) -> Self

Create limits with a custom loop unroll limit

pub fn quick_analysis() -> Self

Quick analysis preset for fast, approximate path enumeration

Use this for:

• Initial code exploration
• IDE/integration features where responsiveness matters
• Large codebases where thorough analysis would be too slow

Tradeoffs:

• May miss some paths due to lower limits
• Loop unrolling is minimal (2 iterations)
• Completes in <100ms for typical functions

pub fn thorough() -> Self

Thorough analysis preset for comprehensive path enumeration

Use this for:

• Final analysis before deployment
• Security-critical code paths
• Test coverage validation

Tradeoffs:

• Higher limits produce more complete results
• May take several seconds on complex functions
• Still bounded to prevent infinite loops

Trait Implementations

impl Clone for PathLimits

fn clone(&self) -> PathLimits

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PathLimits

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

Formats the value using the given formatter.

impl Default for PathLimits

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for PathLimits

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

impl StructuralPartialEq for PathLimits