Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

binary / riscv rv32 relocation word claims

An agent that tests an RV32 linker needs claimed relocated words checked after split immediate-bit insertion, high-low rounding and PC-relative displacement limits.

POST https://detect.halowerk.com/v1/binary/riscv-rv32-relocation-word-claims

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "properties": {
    "artifact": {
      "type": "object",
      "properties": {
        "code_hex": {
          "type": "string",
          "minLength": 8,
          "maxLength": 16384,
          "pattern": "^(?:[0-9a-fA-F]{2})*$"
        },
        "base_address": {
          "type": "integer",
          "minimum": 0,
          "maximum": 2147483647
        },
        "relocations": {
          "type": "array",
          "items": {
            "type": "object",
            "properties": {
              "kind": {
                "enum": [
                  "BRANCH",
                  "JAL",
                  "HI20",
                  "LO12_I",
                  "LO12_S"
                ]
              },
              "offset": {
                "type": "integer",
                "minimum": 0,
                "maximum": 8191
              },
              "symbol_value": {
                "type": "integer",
                "minimum": -2147483648,
                "maximum": 2147483647
              },
              "addend": {
                "type": "integer",
                "minimum": -2147483648,
                "maximum": 2147483647
              },
              "claimed_word": {
                "type": "integer",
                "minimum": 0,
                "maximum": 4294967295
              }
            },
            "required": [
              "kind",
              "offset",
              "symbol_value",
              "addend",
              "claimed_word"
            ],
            "additionalProperties": false
          },
          "minItems": 1,
          "maxItems": 128
        }
      },
      "required": [
        "code_hex",
        "base_address",
        "relocations"
      ],
      "additionalProperties": false
    }
  },
  "required": [
    "artifact"
  ],
  "additionalProperties": false
}

Originalschema öffnen

Veröffentlichtes Eingabebeispiel

{
  "artifact": {
    "code_hex": "e3010000",
    "base_address": 1000,
    "relocations": [
      {
        "kind": "BRANCH",
        "offset": 0,
        "symbol_value": 980,
        "addend": 0,
        "claimed_word": 4261414627
      }
    ]
  }
}

Ergebnis & Dokumentation

Maschinenlesbare Dokumentation dieses Hubs

Quelle dieser Seite: der veröffentlichte HALOWERK-Katalog. Stand: 2026-11-01, 15:19 UTC.

Weitere Endpunkte dieses Hubs

Alle Endpunkte dieses Hubs →