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

Overview AnnotateAt

⌘I

Conventions

VulHunt Rules

Scopes

Types

Standard Library

Fields

Reference

location

declaration

Example

​Fields

​Reference

​location

​declaration

​Example

Fields

Reference

location

declaration

Example