Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

binary / dwarf line program row claims

An agent that imports DWARF line programs needs emitted-row and final-end-address claims checked across standard, special and extended opcode state transitions.

POST https://detect.halowerk.com/v1/binary/dwarf-line-program-row-claims

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "properties": {
    "artifact": {
      "type": "object",
      "properties": {
        "program_hex": {
          "type": "string",
          "minLength": 2,
          "maxLength": 16384,
          "pattern": "^(?:[0-9a-fA-F]{2})*$"
        },
        "minimum_instruction_length": {
          "type": "integer",
          "minimum": 1,
          "maximum": 16
        },
        "maximum_operations_per_instruction": {
          "type": "integer",
          "minimum": 1,
          "maximum": 16
        },
        "default_is_statement": {
          "type": "boolean"
        },
        "line_base": {
          "type": "integer",
          "minimum": -128,
          "maximum": 127
        },
        "line_range": {
          "type": "integer",
          "minimum": 1,
          "maximum": 255
        },
        "opcode_base": {
          "type": "integer",
          "minimum": 13,
          "maximum": 255
        },
        "address_size": {
          "type": "integer",
          "minimum": 4,
          "maximum": 4
        },
        "claimed_rows": {
          "type": "integer",
          "minimum": 0,
          "maximum": 8192
        },
        "claimed_final_end_address": {
          "type": "integer",
          "minimum": 0,
          "maximum": 4294967295
        }
      },
      "required": [
        "program_hex",
        "minimum_instruction_length",
        "maximum_operations_per_instruction",
        "default_is_statement",
        "line_base",
        "line_range",
        "opcode_base",
        "address_size",
        "claimed_rows",
        "claimed_final_end_address"
      ],
      "additionalProperties": false
    }
  },
  "required": [
    "artifact"
  ],
  "additionalProperties": false
}

Originalschema öffnen

Veröffentlichtes Eingabebeispiel

{
  "artifact": {
    "program_hex": "000502e8030000000101",
    "minimum_instruction_length": 1,
    "maximum_operations_per_instruction": 1,
    "default_is_statement": true,
    "line_base": -5,
    "line_range": 14,
    "opcode_base": 13,
    "address_size": 4,
    "claimed_rows": 1,
    "claimed_final_end_address": 1000
  }
}

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 →