checkconst

Documentation

Overview

Package checkconst checks constant values.

This analyzer supports multiple annotations: checkconst, checkoffset, checksize and checkalign. Each of these essentially checks the value of the declared constant (or the #define'ed value in the case of an assembly file) against the value seen during analysis. If this does not match, an error is emitted with the appropriate value for that constant/offset/size/alignment.

Index

• Variables
• type Constants
  • func (*Constants) AFact()

Variables

var Analyzer = &analysis.Analyzer{
	Name: "checkconst",
	Doc:  "validates basic constants",
	Run:  run,
	FactTypes: []analysis.Fact{
		(*Constants)(nil),
	},
}

Analyzer defines the entrypoint.

Types

type Constants

type Constants struct {
	Alignments map[string]int64
	Offsets    map[string]int64
	Sizes      map[string]int64
	Values     map[string]string
}

Constants contains all constant values.

func (*Constants) AFact

func (*Constants) AFact()

AFact implements analysis.Fact.AFact.