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 AnnotateRange object is used to create an annotation spanning a range of addresses in the decompiled code.

​
Fields

FieldDescriptionType
fromStart address of the rangeAddressValue
toEnd address of the rangeAddressValue
messageAnnotation message for the rangestring

​
Reference

​
from

The starting address (AddressValue) of the range to annotate.

​
to

The ending address (AddressValue) of the range to annotate.

​
message

The annotation message to display for the specified range.

​
Example

evidence = {
  functions = {
    [context.address] = {
      annotate:range{
        from = <AddressValue>,
        to = <AddressValue>,
        message = "annotate:range example"
      }
    }
  }
}