MCPcopy Create free account
hub / github.com/CodeSentryAI/lockbud / AliasId

Class AliasId

src/analysis/pointsto/mod.rs:689–692  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

687/// `AliasId` identifies a unique memory cell interprocedurally.
688#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
689pub struct AliasId {
690 pub instance_id: InstanceId,
691 pub local: Local,
692}
693
694/// Basically, `AliasId` and `LockGuardId` share the same info.
695impl std::convert::From<LockGuardId> for AliasId {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected