CalleeAtTable

The CalleeAtTable object represents the callee resolved at a specific call site. It is returned by ProjectHandle:callee_at and provides detailed information about the called function and the dataflow at that call site, including function inputs (arguments passed to the function) and output (the function return value).

Fields

Field	Description	Type
`name`	Name of the callee function	`string`
`callee_address`	Address of the callee function	`AddressValue`
`callee`	Context of the callee function	`FunctionContext`
`inputs`	The parameters passed to the called function	`OperandInfo[]`
`output`	The output (return value) of the called function	`OperandInfo`
`debug`	Debug logs for the matching process	`string`

Reference

name

The name of the callee function being invoked.

callee_address

The address of the callee function.

callee

A FunctionContext object representing the called function.

inputs

An array of OperandInfo objects representing an argument passed to the called function.

output

An OperandInfo object representing the return value of the called function.

debug

A string containing debug logs generated during the matching process.

Example

local result = project:callee_at({target = AddressValue.new(0x401234)})

if result then
  print("Call to:", result.name, "defined at address:", result.callee_address)
  print("Source argument annotation:", result.inputs[1].annotation)
  print("Destination argument annotation:", result.inputs[2].annotation)
  if result.output then
    print("Return value annotation:", result.output.annotation)
  end
  print("Debug log:", result.debug)
end

Conventions

VulHunt Rules

Scopes

Types

Standard Library

Fields

Reference

name

callee_address

callee

inputs

output

debug

Example

​Fields

​Reference

​name

​callee_address

​callee

​inputs

​output

​debug

​Example

Fields

Reference

name

callee_address

callee

inputs

output

debug

Example