Module advanced_types 

Advanced type analysis framework Advanced type analysis framework for complex Rust types

This module provides a unified framework for analyzing complex Rust types like Cell, RefCell, Mutex, RwLock, channels, etc. Instead of implementing each type individually, we identify common patterns and provide a generic analysis framework.

Structs

AdvancedTypeAnalysisReport

Analysis results for all advanced types in an allocation set

AdvancedTypeInfo

Advanced type analysis information

AdvancedTypeStatistics

Statistics for advanced type usage

BorrowViolation

Borrow violation

CellInstance

Cell instance

ChannelStateInfo

Channel-specific state information

ConcurrencyPrimitiveReport

Concurrency primitive report

CondvarInstance

Condvar instance

GenericAdvancedTypeAnalyzer

Generic analyzer that can handle most advanced types through pattern matching

InteriorMutabilityReport

Interior mutability report

LockContention

Lock contention

MutexInstance

Mutex instance

PerformanceInfo

Performance characteristics

PerformanceSummary

Performance summary across all advanced types

RefCellInstance

RefCell instance

RwLockInstance

RwLock instance

TypeBehaviorPattern

Behavioral patterns that advanced types exhibit

TypeIssue

Potential issues with advanced types

TypeStateInfo

Current state of the advanced type

UnsafeCellInstance

UnsafeCell instance

Enums

AdvancedTypeCategory

Categories of advanced Rust types based on their memory and concurrency characteristics

BorrowViolationType

Borrow violation type

ContentionType

Contention type

IssueSeverity

Severity levels for type issues

LatencyCategory

Latency categories for operations

Traits

AdvancedTypeAnalyzer

Trait for advanced type analysis

Functions

analyze_advanced_types

Analyze all advanced types in a set of allocations

analyze_type

Analyze a type and create AdvancedTypeInfo

create_behavior_pattern

Create behavior pattern for a type

detect_interior_mutability_patterns

Enhanced interior mutability detection for Cell/RefCell types

get_type_category

Analyze a type and return its category

is_advanced_type

Check if a type name represents an advanced type we should analyze

monitor_concurrency_primitives

Enhanced concurrency primitive monitoring for Mutex/RwLock types