Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

F TD2000 DOCUMENTS 07 / posix2024 lp64 printf positional variadic type contract

Reconstruct the variadic argument types and positional width/precision uses before emitting a C printf call.

POST https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-07/posix2024-lp64-printf-positional-variadic-type-contract

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "additionalProperties": false,
  "required": [
    "artifact"
  ],
  "properties": {
    "artifact": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "printfArgumentPlan"
      ],
      "properties": {
        "printfArgumentPlan": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "data",
            "claim"
          ],
          "properties": {
            "data": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "format"
              ],
              "properties": {
                "format": {
                  "type": "string",
                  "maxLength": 2048,
                  "minLength": 0
                }
              }
            },
            "claim": {
              "anyOf": [
                {
                  "type": "null"
                },
                {
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "positional",
                    "argument_types",
                    "uses",
                    "type_consistent",
                    "conflicts"
                  ],
                  "properties": {
                    "positional": {
                      "type": "boolean"
                    },
                    "argument_types": {
                      "type": "array",
                      "items": {
                        "type": "string",
                        "maxLength": 32,
                        "minLength": 1
                      },
                      "maxItems": 64,
                      "minItems": 0
                    },
                    "uses": {
                      "type": "array",
                      "items": {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "start",
                          "end",
                          "conversion",
                          "length",
                          "width_argument",
                          "precision_argument",
                          "value_argument",
                          "required_type"
                        ],
                        "properties": {
                          "start": {
                            "type": "integer",
                            "minimum": 0,
                            "maximum": 2048
                          },
                          "end": {
                            "type": "integer",
                            "minimum": 0,
                            "maximum": 2048
                          },
                          "conversion": {
                            "type": "string",
                            "maxLength": 1,
                            "minLength": 1
                          },
                          "length": {
                            "type": "string",
                            "maxLength": 2,
                            "minLength": 0
                          },
                          "width_argument": {
                            "anyOf": [
                              {
                                "type": "null"
                              },
                              {
                                "type": "integer",
                                "minimum": 1,
                                "maximum": 64
                              }
                            ]
                          },
                          "precision_argument": {
                            "anyOf": [
                              {
                                "type": "null"
                              },
                              {
                                "type": "integer",
                                "minimum": 1,
                                "maximum": 64
                              }
                            ]
                          },
                          "value_argument": {
                            "type": "integer",
                            "minimum": 1,
                            "maximum": 64
                          },
                          "required_type": {
                            "type": "string",
                            "maxLength": 32,
                            "minLength": 1
                          }
                        }
                      },
                      "maxItems": 128,
                      "minItems": 0
                    },
                    "type_consistent": {
                      "type": "boolean"
                    },
                    "conflicts": {
                      "type": "array",
                      "items": {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "argument",
                          "first",
                          "later"
                        ],
                        "properties": {
                          "argument": {
                            "type": "integer",
                            "minimum": 1,
                            "maximum": 64
                          },
                          "first": {
                            "type": "string",
                            "maxLength": 32,
                            "minLength": 1
                          },
                          "later": {
                            "type": "string",
                            "maxLength": 32,
                            "minLength": 1
                          }
                        }
                      },
                      "maxItems": 128,
                      "minItems": 0
                    }
                  }
                }
              ]
            }
          }
        }
      }
    }
  }
}

Originalschema öffnen

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 →