AnnotateOperand

The AnnotateOperand object is used to create an annotation tied to a specific operand at an address.

Fields

Field	Description	Type
`at`	Address to annotate	`AddressValue`
`operand`	Operand	`OperandInfo`
`message`	Annotation message	`string`

Reference

at

The address (AddressValue) where the operand resides.

operand

An OperandInfo instance describing the operand.

message

A message describing the operand at the specified location.

Example

evidence = {
  functions = {
    [context.address] = {
      annotate:operand{
        at = <AddressValue>,
        operand = <OperandInfo>,
        message = "operand annotation example"
      }
    }
  }
}

AnnotateGlobal AnnotatePrototype

⌘I

Conventions

VulHunt Rules

Scopes

Types

Standard Library

Fields

Reference

at

operand

message

Example

​Fields

​Reference

​at

​operand

​message

​Example

Fields

Reference

at

operand

message

Example