AddressValue

The AddressValue object represents a memory address in the binary. It is used throughout VulHunt rules to reference specific locations in the binary, such as function addresses, call site addresses, and instruction addresses.

AddressValue supports arithmetic (+, -), comparison (==, <, <=), and conversion to string and BitVec.

Functions

Function	Description	Parameters	Return Type
new	Constructs a new AddressValue from an integer, string, BitVec, or another AddressValue	integer, string, BitVec or AddressValue	AddressValue
from_integer	Creates an AddressValue from an unsigned 64-bit integer	number	AddressValue
from_string	Parses an AddressValue from a hexadecimal string	string	AddressValue
from_bitvec	Converts a BitVec to an AddressValue	BitVec	AddressValue

Methods

Method	Description	Parameters	Return Type
to_bitvec	Converts the address to a BitVec with specified bit size	number	BitVec

Reference

new

Constructs a new AddressValue from an integer, string, BitVec, or another AddressValue.

from_integer

Creates an AddressValue from an unsigned 64-bit integer.

from_string

Parses an AddressValue from a hexadecimal string.

from_bitvec

Converts a BitVec to an AddressValue.

to_bitvec

Converts the address to a BitVec with specified bit size.

Example

-- Constructing addresses
local addr1 = AddressValue.new(0x401000)
local addr2 = AddressValue.from_string("0x401000")
local addr3 = AddressValue.from_integer(0x401000)

-- Arithmetic
local next_addr = addr1 + 0x10
local prev_addr = addr1 - 0x10

-- Comparison
if addr1 == addr2 then
  print("Addresses are equal")
end
if addr1 < next_addr then
  print("addr1 comes before next_addr")
end

-- Convert to BitVec for bitwise operations
local bv = addr1:to_bitvec(64)

-- Use with project:decompile
local decompiled = project:decompile(AddressValue.new(0x401000))