Struct LockScopeMutation 

pub struct LockScopeMutation {
    pub target_fn: Option<SymbolId>,
}

Detects locks held across await points or with unnecessarily wide scope.

This is a safety pattern that helps prevent deadlocks and improves concurrency by reducing lock hold times.

Example

// Problematic: lock held across await
async fn bad() {
    let guard = self.data.lock().unwrap();
    some_async_operation().await; // Lock still held!
    drop(guard);
}

// Better: release lock before await
async fn good() {
    let value = {
        let guard = self.data.lock().unwrap();
        guard.clone()
    }; // Lock released
    some_async_operation().await;
}

Fields

target_fn: Option<SymbolId>

Target function SymbolId. If None, applies to all functions.

Implementations

impl LockScopeMutation

pub fn new() -> Self

pub fn for_fn(self, id: SymbolId) -> Self

Only apply to a specific function

Trait Implementations

impl Clone for LockScopeMutation

fn clone(&self) -> LockScopeMutation

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LockScopeMutation

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for LockScopeMutation

fn default() -> LockScopeMutation

Returns the “default value” for a type.

impl Detect for LockScopeMutation

fn detect(&self, file: &PureFile) -> Vec<DetectOpportunity>

Detect opportunities in a file

fn category(&self) -> DetectCategory

Get the category for detected opportunities

fn detect_name(&self) -> &'static str

Get the mutation/pattern name

fn detect_description(&self) -> &str

Get description

impl Mutation for LockScopeMutation

fn describe(&self) -> String

Get a description of this mutation

fn mutation_type(&self) -> &'static str

Get the mutation type name

fn box_clone(&self) -> Box<dyn Mutation>

Clone this mutation into a new Box

fn validate(&self, _file: &PureFile) -> ValidationResult

Validate the mutation before applying

fn can_proceed(&self, file: &PureFile, strategy: ValidationStrategy) -> bool

Check if this mutation can proceed with the given strategy