Module concurrency_transform 

Concurrency transformation module for pthread → Rust std::sync conversions.

Transforms C pthread synchronization primitives to safe Rust equivalents:

• pthread_mutex_t + data → Mutex<T>
• pthread_mutex_lock/unlock → .lock().unwrap() with RAII

Part of DECY-078: Transform pthread_mutex to Mutex<T>

Functions

has_pthread_mutex_calls

Checks if a function contains any pthread mutex operations.

identify_lock_regions

Identifies lock regions in a function body.

is_pthread_lock

Detects if a function call is a pthread mutex lock operation.

is_pthread_unlock

Detects if a function call is a pthread mutex unlock operation.