Types & classes — github.com/CodeSentryAI/lockbud

CodeHub MCPcopy Create free account

hub / github.com/CodeSentryAI/lockbud / types & classes

Types & classes72 in github.com/CodeSentryAI/lockbud

⨍ Functions 324◇ Types & classes 72

EnumAccessPattern

src/analysis/pointsto/mod.rs:192

ClassAliasAnalysis

Alias analysis based on points-to info. It answers if two memory cells alias with each other. It performs an underlying points-to analysis if needed.

src/analysis/pointsto/mod.rs:708

src/analysis/pointsto/mod.rs:689

ClassAllLocalUsesVisitor

src/analysis/defuse/mod.rs:101

Field-sensitive intra-procedural Andersen pointer analysis. <https://helloworld.pub/program-analysis-andersen-pointer-analysis-algorithm-based-on-svf.

src/analysis/pointsto/mod.rs:49

EnumApproximateAliasKind

src/analysis/pointsto/mod.rs:661

src/interest/concurrency/atomic.rs:52

ClassAtomicityViolationDetector

src/detector/atomic/mod.rs:34

ClassAtomicityViolationDiagnosis

src/detector/atomic/report.rs:4

ClassAutoDropCollector

Collect TerminatorKind::Drop

src/detector/memory/mod.rs:80

CallGraph The nodes of CallGraph are instances. The directed edges are CallSite Locations. e.g., `Instance1--|[CallSite1, CallSite2]|-->Instance2` den

src/analysis/callgraph/mod.rs:69

EnumCallGraphNode

src/analysis/callgraph/mod.rs:47

ClassCallSiteCollector

Visit Terminator and record callsites (callee + location).

src/analysis/callgraph/mod.rs:168

EnumCallSiteLocation

src/analysis/callgraph/mod.rs:29

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

src/interest/concurrency/condvar.rs:10

ClassCondvarDeadlockDiagnosis

src/detector/lock/report.rs:62

ClassConflictLockGraph

forall relation(a, b), relation(c, d): if b and c are probably/possibly deadlock, then add edge between relation(a, b) and relation(c, d). The cycles

src/detector/lock/mod.rs:858

EnumConstraintEdge

src/analysis/pointsto/mod.rs:183

ClassConstraintGraph

src/analysis/pointsto/mod.rs:200

ClassConstraintGraphCollector

Generate `ConstraintGraph` by visiting MIR body.

src/analysis/pointsto/mod.rs:416

EnumConstraintNode

src/analysis/pointsto/mod.rs:158

ClassControlDeps

src/analysis/controldep/mod.rs:25

EnumCrateNameList

src/options.rs:10

src/analysis/datadep/mod.rs:46

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

ClassDeadlockDetector

Detect doublelock and conflictlock.

src/detector/lock/mod.rs:61

ClassDeadlockDiagnosis

src/detector/lock/report.rs:11

EnumDeadlockPossibility

src/interest/concurrency/lock.rs:32

src/analysis/defuse/mod.rs:15

EnumDependenceKind

src/detector/atomic/mod.rs:215

EnumDetectorKind

src/options.rs:23

InterfaceEndsControlFlowGraph

src/analysis/postdom/mod.rs:55

src/analysis/postdom/mod.rs:218

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

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

toys/inter/src/main.rs:3

InterfaceHandyRwLock

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

ClassInvalidFreeDetector

src/detector/memory/invalid_free.rs:31

src/analysis/postdom/mod.rs:283

ClassLiveLockGuards

src/detector/lock/mod.rs:33

ClassLockBudCallbacks

src/callbacks.rs:25

ClassLockGuardCollector

Collect lockguard info.

src/interest/concurrency/lock.rs:218

ClassLockGuardId

src/interest/concurrency/lock.rs:19

ClassLockGuardInfo

src/interest/concurrency/lock.rs:185

EnumLockGuardTy

src/interest/concurrency/lock.rs:59

toys/conflict/src/main.rs:5

EnumNotDeadlockReason

src/detector/lock/mod.rs:666

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

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

src/options.rs:62

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

src/detector/panic/mod.rs:16

ClassPanicDetector

src/detector/panic/mod.rs:115

ClassPanicFinder

src/detector/panic/mod.rs:144

EnumPanicInstance

src/detector/panic/mod.rs:70

EnumParkingLotCondvarApi

src/interest/concurrency/condvar.rs:92

EnumParkingLotNotify

src/interest/concurrency/condvar.rs:108

EnumParkingLotWait

src/interest/concurrency/condvar.rs:98

ClassPostDominators

src/analysis/postdom/mod.rs:230

src/detector/report.rs:34

ClassReportContent

src/detector/report.rs:15

EnumStdCondvarApi

src/interest/concurrency/condvar.rs:70

src/interest/concurrency/condvar.rs:85

src/interest/concurrency/condvar.rs:76

src/analysis/postdom/tests.rs:8

src/analysis/controldep/tests.rs:8

src/interest/memory/uninit.rs:47

ClassUseAfterFreeDetector

src/detector/memory/use_after_free.rs:25

ClassWaitNotifyLocks

src/detector/lock/report.rs:38

InterfaceWithEndNodes

src/analysis/postdom/mod.rs:26

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