AnnotateAssignment

The AnnotateAssignment object is used to create an annotation for a variable assignment at a specific address in the code.

Fields

Field	Description	Type
location	Address of the assignment	AddressValue
declaration	Variable declaration	string

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