xref-code 0.2.0

Ultra blazing fast cross-references, layout recovery, slicing & pseudo-C for x86-64 ELF and Mach-O binaries
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45

/*
 * XRef Code — evidence-producing binary analysis
 * Copyright (c) 2026 Alexander Panasenko
 * Contact: alex@prod.codes
 * Author: https://prod.codes/about/
 * Project: https://github.com/alex09x/xref
 * SPDX-License-Identifier: MIT OR Apache-2.0
 */
use super::super::types::{FunctionInfo, InstructionRow};
use schemars::JsonSchema;
use serde::Serialize;

#[derive(Debug, Serialize, JsonSchema)]
pub struct CallContext {
    pub function: FunctionInfo,
    pub call: InstructionRow,
    /// Candidates in the `SysV` integer argument registers, not a recovered arity.
    pub arguments: Vec<Argument>,
    pub guards: Vec<Guard>,
    pub instructions: Vec<InstructionRow>,
    pub complete_under_model: bool,
    pub warnings: Vec<&'static str>,
}
#[derive(Debug, Serialize, JsonSchema)]
pub struct Argument {
    pub register: &'static str,
    pub value: Value,
    pub definition_addresses: Vec<String>,
    pub definitions_truncated: bool,
}
#[derive(Clone, Debug, PartialEq, Eq, Serialize, JsonSchema)]
#[serde(tag = "kind", rename_all = "snake_case")]
pub enum Value {
    Constant { bits: String },
    Address { address: String },
    EntryRegister { register: &'static str },
    Unknown,
}
#[derive(Debug, Serialize, JsonSchema)]
pub struct Guard {
    pub branch_address: String,
    pub required_edge: &'static str,
    pub flag_definition_addresses: Vec<String>,
    pub flag_definitions_complete: bool,
}