Struct LockAnalyzer 

pub struct LockAnalyzer;

Analyzes pthread lock usage and protected data.

Implementations

impl LockAnalyzer

pub fn new() -> Self

Create a new lock analyzer.

pub fn find_lock_regions(&self, func: &HirFunction) -> Vec<LockRegion>

Find all locked regions in a function.

Identifies pthread_mutex_lock/unlock pairs and returns the code regions they protect.

pub fn analyze_lock_data_mapping(&self, func: &HirFunction) -> LockDataMapping

Analyze lock-to-data mapping for a function.

Determines which locks protect which data variables based on variable accesses within locked regions.

pub fn check_lock_discipline(&self, func: &HirFunction) -> Vec<String>

Check for lock discipline violations.

Detects:

• Locks without unlocks
• Unlocks without locks
• Mismatched lock/unlock pairs

Returns a list of violation descriptions.

Trait Implementations

impl Default for LockAnalyzer

fn default() -> Self

Returns the “default value” for a type.