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 AnnotateAt object is used to create an annotation at a specific address.

​
Fields

FieldDescriptionType
locationAddress to annotateAddressValue
messageAnnotation messagestring

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