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

↓ 1 callersFunctionstd_deadlock_wait

toys/condvar-struct/src/main.rs:47

↓ 1 callersFunctionstd_missing_lock_before_notify

toys/condvar-closure/src/main.rs:58

↓ 1 callersFunctionstd_missing_lock_before_notify

toys/condvar-struct/src/main.rs:94

↓ 1 callersFunctionstd_mutex

toys/intra/src/main.rs:4

↓ 1 callersMethodstd_mutex_1

toys/conflict-inter/src/main.rs:17

↓ 1 callersMethodstd_mutex_1

toys/inter/src/main.rs:24

↓ 1 callersMethodstd_mutex_2

toys/conflict-inter/src/main.rs:35

↓ 1 callersMethodstd_rw_1

toys/conflict-inter/src/main.rs:28

↓ 1 callersMethodstd_rw_2

toys/conflict-inter/src/main.rs:24

↓ 1 callersFunctionstd_rwlock

toys/intra/src/main.rs:12

↓ 1 callersMethodstd_rwlock_read_1

toys/inter/src/main.rs:36

↓ 1 callersMethodstd_rwlock_write_1

toys/inter/src/main.rs:43

↓ 1 callersMethodstore_sources

lhs = ? ?--|store|-->lhs

src/analysis/pointsto/mod.rs:312

↓ 1 callersMethodto_panic_api

src/detector/panic/mod.rs:102

↓ 1 callersFunctiontrack_callchains

Find all the callchains: source -> target e.g., for one path: source --|callsites1|--> medium --|callsites2|--> target, first extract callsite locatio

src/detector/lock/mod.rs:731

↓ 1 callersFunctiontwo_closures

toys/lock-closure/src/main.rs:20

↓ 1 callersMethodunion_pts

pts(target) = pts(target) U pts(source), return true if pts(target) changed

src/analysis/pointsto/mod.rs:129

↓ 1 callersFunctionunwrap_panic

toys/panic/src/main.rs:10

↓ 1 callersFunctionwait

(a: MutexGuard<T>)

toys/wait-lock-no-deadlock/src/main.rs:4

↓ 1 callersMethodwl

toys/tikv-wrapper/src/util.rs:9

Methodafter_analysis

( &mut self, compiler: &rustc_interface::interface::Compiler, tcx: TyCtxt<'_>, )

src/callbacks.rs:63

src/interest/concurrency/lock.rs:245

Perform callgraph analysis on the given instances. The instances should be **all** the instances with MIR available in the current crate.

src/analysis/callgraph/mod.rs:96

Methodapply_gen_kill

state' = state \ kill U gen return lockguard relation(a, b) where a is still live when b becomes live.

src/detector/lock/mod.rs:510

toys/use-after-free/src/main.rs:26

(&mut self, config: &mut rustc_interface::interface::Config)

src/callbacks.rs:44

src/options.rs:16

( &self, callgraph: &CallGraph<'tcx>, alias_analysis: &mut AliasAnalysis<'_, 'tcx>,

src/detector/memory/use_after_free.rs:34

( &self, callgraph: &CallGraph<'tcx>, alias_analysis: &mut AliasAnalysis, )

src/detector/memory/invalid_free.rs:40

(&mut self, instance: Instance<'tcx>)

src/detector/panic/mod.rs:127

Detect atomicity violation intra-procedurally and returns bug report.

src/detector/atomic/mod.rs:57

Functiondiamond_parents

src/analysis/controldep/tests.rs:77

Functiondiamond_post_order

src/analysis/postdom/tests.rs:77

src/analysis/pointsto/mod.rs:407

src/analysis/callgraph/mod.rs:159

src/detector/lock/mod.rs:936

Methodend_nodes

src/analysis/postdom/tests.rs:52

Methodend_nodes

src/analysis/controldep/tests.rs:52

Functionfind_sysroot

(lockguard_id: LockGuardId)

src/analysis/pointsto/mod.rs:696

Methodfrom_instance

(instance: Instance<'tcx>, tcx: TyCtxt<'tcx>)

src/interest/memory/uninit.rs:56

Methodfrom_instance

(instance: &Instance<'tcx>, tcx: TyCtxt<'tcx>)

src/interest/concurrency/condvar.rs:16

Methodfrom_instance

(instance: Instance<'tcx>, tcx: TyCtxt<'tcx>)

src/interest/concurrency/atomic.rs:59

Methodfrom_local_ty

(local_ty: ty::Ty<'tcx>, tcx: TyCtxt<'tcx>)

src/interest/concurrency/lock.rs:72

src/interest/memory/uninit.rs:62

Methodgen_kill_locations

Collect gen/kill info for related locations.

src/detector/lock/mod.rs:489

src/analysis/postdom/mod.rs:224

Methodis_reachable

(&self, node: Node)

src/analysis/postdom/mod.rs:236

toys/conflict-inter/src/main.rs:40

toys/invalid-free/src/main.rs:42

toys/conflict/src/main.rs:62

toys/tikv-wrapper/src/main.rs:28

toys/inter/src/main.rs:129

toys/lock-closure/src/main.rs:37

toys/static-ref/src/main.rs:10

toys/intra/src/main.rs:40

toys/panic/src/main.rs:24

toys/call-no-deadlock/src/main.rs:6

toys/use-after-free/src/main.rs:159

toys/wait-lock-no-deadlock/src/main.rs:8

toys/atomic-violation/src/main.rs:66

toys/recursive-no-deadlock/src/main.rs:13

toys/condvar-closure/src/main.rs:158

toys/condvar-struct/src/main.rs:266

toys/issue71/src/main.rs:3

src/bin/cargo-lockbud.rs:79

Functionmulti_ends_influences

src/analysis/controldep/tests.rs:97

Functionmulti_ends_influences2

src/analysis/controldep/tests.rs:129

Functionmulti_ends_parents

src/analysis/controldep/tests.rs:87

Functionmulti_ends_post_order

src/analysis/postdom/tests.rs:100

Functionmulti_ends_postdom

src/analysis/postdom/tests.rs:120

toys/conflict-inter/src/main.rs:10

toys/conflict/src/main.rs:12

toys/tikv-wrapper/src/main.rs:11

toys/inter/src/main.rs:13

toys/condvar-struct/src/main.rs:13

(options: Options)

src/callbacks.rs:33

(instance_id: InstanceId, local: Local)

src/interest/concurrency/lock.rs:25

(start_node: usize, edges: &[(usize, usize)])

src/analysis/postdom/tests.rs:16

(body: &'a Body<'tcx>, tcx: TyCtxt<'tcx>)

src/analysis/pointsto/mod.rs:58

Create an empty CallGraph.

src/analysis/callgraph/mod.rs:75

(start_node: usize, edges: &[(usize, usize)])

src/analysis/controldep/tests.rs:16

(bug_kind: String, possibility: String, diagnosis: D, explanation: String)

src/detector/report.rs:23

(tcx: TyCtxt<'tcx>)

src/detector/memory/use_after_free.rs:30

src/detector/memory/mod.rs:85

(tcx: TyCtxt<'tcx>)

src/detector/memory/invalid_free.rs:36

(instance: Instance<'tcx>, tcx: TyCtxt<'tcx>)

src/detector/panic/mod.rs:81

(tcx: TyCtxt<'tcx>, typing_env: TypingEnv<'tcx>)

src/detector/lock/mod.rs:68

( first_lock_type: String, first_lock_span: String, second_lock_type: String,

src/detector/lock/report.rs:20

(tcx: TyCtxt<'tcx>)

src/detector/atomic/mod.rs:39

toys/use-after-free/src/main.rs:37

Methodparse_from_args

(flags: &[String])

src/options.rs:82

Methodparse_from_str

src/options.rs:77

Methodpartial_cmp

(&self, other: &Self)

src/interest/concurrency/lock.rs:40

Methodpartial_cmp

(&self, other: &Self)

src/analysis/pointsto/mod.rs:670

Methodpoints_to_map

(&self, def_id: DefId)

src/analysis/pointsto/mod.rs:1061

Functionpost_dominates

( this: Location, other: Location, post_dominators: &PostDominators<BasicBlock>, )

src/analysis/postdom/mod.rs:14

Methodpredecessors

(&self, node: Self::Node)

src/analysis/controldep/tests.rs:65

Methodprocess_operand

(operand: &Operand<'tcx>)

src/analysis/pointsto/mod.rs:495

← previous next →201–300 of 324, ranked by callers