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 AnnotateVariable object is used to create an annotation for a variable at a specific location in the decompiled code.

​
Fields

FieldDescriptionType
positionVariable positionstring
indexVariable indexnumber
declarationVariable declarationstring
locationAddress of the assignmentAddressValue

​
Reference

​
position

The position of the variable. Only "global", "input", or "output" is currently valid.

​
index

The index of the variable. Only 0 is currently valid.

​
declaration

The variable declaration as a string.

​
location

The address (AddressValue) of the assignment.

​
Example

evidence = {
  functions = {
    [context.caller.address] = {
      annotate:variable{
        position = "output",
        index = 0,
        declaration = "int result",
        location = <AddressValue>
      }
    }
  }
}