Functions — github.com/CodeSentryAI/lockbud

CodeHub MCPcopy Create free account

hub / github.com/CodeSentryAI/lockbud / functions

Functions324 in github.com/CodeSentryAI/lockbud

⨍ Functions 324◇ Types & classes 72

Methodprocess_place

(place_ref: PlaceRef<'tcx>)

src/analysis/pointsto/mod.rs:482

Methodprocess_rvalue

(rvalue: &Rvalue<'tcx>)

src/analysis/pointsto/mod.rs:508

Functiontest_atomic_api_regex

src/interest/concurrency/atomic.rs:43

Functiontest_atomic_ptr_store

src/interest/concurrency/atomic.rs:92

Functiontest_deadlock_diagnosis

src/detector/lock/report.rs:94

Functiontest_panic_api_regex

src/detector/panic/mod.rs:57

Functiontest_parse_from_args_blacklist_ok

src/options.rs:141

Functiontest_parse_from_args_err

src/options.rs:172

Functiontest_parse_from_args_whitelist_ok

src/options.rs:157

Functiontest_parse_from_str_blacklist_ok

src/options.rs:117

Functiontest_parse_from_str_err

src/options.rs:135

Functiontest_parse_from_str_whitelist_ok

src/options.rs:126

Functiontest_report_content

src/detector/lock/report.rs:111

Functiontest_report_stats

src/callbacks.rs:264

Functiontest_uninit_api

src/interest/memory/uninit.rs:77

Methodvisit_assign

(&mut self, place: &Place<'tcx>, rvalue: &Rvalue<'tcx>, location: Location)

src/analysis/datadep/mod.rs:60

Methodvisit_local

(&mut self, local: Local, context: PlaceContext, location: Location)

src/interest/concurrency/lock.rs:263

Methodvisit_local

(&mut self, local: Local, context: PlaceContext, location: Location)

src/analysis/defuse/mod.rs:107

Methodvisit_local_decl

Find where the closure is defined rather than called, including the closure instance and the arg. e.g., let mut _20: [closure@src/main.rs:13:28: 16:6

src/analysis/callgraph/mod.rs:231

Methodvisit_statement

(&mut self, statement: &Statement<'tcx>, _location: Location)

src/analysis/pointsto/mod.rs:577

Methodvisit_terminator

For destination = Arc::clone(move arg0) and destination = ptr::read(move arg0), destination = alias copy args0 For AtomicPtr::store(move args0, move a

src/analysis/pointsto/mod.rs:605

Methodvisit_terminator

Resolve direct call. Inspired by rustc_mir/src/transform/inline.rs#get_valid_function_call.

src/analysis/callgraph/mod.rs:201

Methodvisit_terminator

(&mut self, terminator: &Terminator<'tcx>, location: Location)

src/detector/memory/mod.rs:97

Methodvisit_terminator

(&mut self, terminator: &Terminator<'tcx>, location: Location)

src/detector/panic/mod.rs:184

← previous301–324 of 324, ranked by callers