Skip to main content

Documentation Index

Fetch the complete documentation index at: https://vulhunt-docs.binarly.io/llms.txt

Use this file to discover all available pages before exploring further.

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

​
Fields

FieldDescriptionType
atAddress to annotateAddressValue
operandOperandOperandInfo
messageAnnotation messagestring

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