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

​
Fields

FieldDescriptionType
locationAddress of the assignmentAddressValue
declarationVariable declarationstring

​
Reference

​
location

The address (AddressValue) where the assignment occurs.

​
declaration

The variable declaration as a string.

​
Example

evidence = {
  functions = {
    [context.caller.address] = {
      annotate:assignment{
        location = <AddressValue>,
        declaration = "int result"
      }
    }
  }
}