Module lock_analysis 

Lock-to-data binding analysis for pthread synchronization (DECY-077).

Analyzes C code with pthread_mutex locks to determine which locks protect which data variables, enabling safe Mutex<T> generation.

Structs

LockAnalyzer

Analyzes pthread lock usage and protected data.

LockDataMapping

Mapping from locks to protected data variables.

LockRegion

Represents a locked code region.