AnnotateOperand - VulHunt rules

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",
      },
    },
  },
}