Struct LockDisciplineChecker 

pub struct LockDisciplineChecker<'a> { /* private fields */ }

Lock discipline checker.

Validates lock discipline for pthread mutex usage in C code.

Implementations

impl<'a> LockDisciplineChecker<'a>

pub fn new(analyzer: &'a LockAnalyzer) -> Self

Create a new lock discipline checker.

Arguments

• analyzer - Lock analyzer for identifying protected data and lock regions

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

Check for unprotected data accesses.

Detects when shared data (identified by lock analysis) is accessed outside of locked regions.

Arguments

• func - Function to check

Returns

Vector of violation messages, each describing:

• The variable name accessed
• The statement number where the violation occurs

Example

let checker = LockDisciplineChecker::new(&analyzer);
let violations = checker.check_unprotected_access(&func);

for violation in violations {
    println!("Lock violation: {}", violation);
}

pub fn check_deadlock_risk(&self, functions: &[HirFunction]) -> Vec<String>

Check for potential deadlocks

Analyzes lock ordering across multiple functions to detect inconsistent lock acquisition patterns that could cause deadlocks.

pub fn check_all(&self, func: &HirFunction) -> LockDisciplineReport

Comprehensive lock discipline check

Runs all lock discipline checks and returns a summary report.