package checklinkname

import "gvisor.dev/gvisor/tools/checklinkname"

Package checklinkname ensures that linkname declarations match their source.

Index ¶

• Variables
• type ResolvedSymbols
• func (*ResolvedSymbols) AFact()
• type UnresolvedLinknames
• func (*UnresolvedLinknames) AFact()

Variables ¶

var Analyzer = &analysis.Analyzer{
	Name: "checklinkname",
	Doc:  "verifies that linkname declarations match their source",
	Run:  run,
	FactTypes: []analysis.Fact{
		(*UnresolvedLinknames)(nil),
		(*ResolvedSymbols)(nil),
	},
}

Analyzer implements the checklinkname analyzer.

Types ¶

type ResolvedSymbols ¶

type ResolvedSymbols symbolMap

ResolvedSymbols is a fact containing known symbols and their simplified type.

func (*ResolvedSymbols) AFact ¶

func (*ResolvedSymbols) AFact()

AFact implements analysis.Fact.AFact.

type UnresolvedLinknames ¶

type UnresolvedLinknames symbolMap

UnresolvedLinknames is a fact containing symbols that have not been validated.

func (*UnresolvedLinknames) AFact ¶

func (*UnresolvedLinknames) AFact()

AFact implements analysis.Fact.AFact.

Source Files ¶

check_linkname.go

Directories ¶