AnnotateAt - VulHunt rules

The AnnotateAt object is used to create an annotation at a specific address.

Fields

Field	Description	Type
`location`	Address to annotate	`AddressValue`
`message`	Annotation message	`string`

Reference

location

The address (AddressValue) where the annotation should be placed.

message

The annotation message to display at the specified location.

Example

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