Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

F TD2000 DOCUMENTS 16 / php83 ordered array key reference set copy foreach state replay

Recover PHP array insertion/key coercion, value copies and shared reference sets through assignment/unset and bounded foreach-reference programs.. Compare the complete typed result SHA256.

POST https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-16/php83-ordered-array-key-reference-set-copy-foreach-state-replay

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": [
        "phpReferences"
      ],
      "properties": {
        "phpReferences": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "data",
            "claim"
          ],
          "properties": {
            "data": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "statements"
              ],
              "properties": {
                "statements": {
                  "type": "array",
                  "items": {
                    "anyOf": [
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "kind",
                          "variable",
                          "value"
                        ],
                        "properties": {
                          "kind": {
                            "const": "set"
                          },
                          "variable": {
                            "$ref": "#/properties/artifact/%24defs/a"
                          },
                          "value": {
                            "$ref": "#/properties/artifact/%24defs/b"
                          }
                        }
                      },
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "kind",
                          "variable",
                          "entries"
                        ],
                        "properties": {
                          "kind": {
                            "const": "array"
                          },
                          "variable": {
                            "$ref": "#/properties/artifact/%24defs/a"
                          },
                          "entries": {
                            "type": "array",
                            "items": {
                              "type": "object",
                              "additionalProperties": false,
                              "required": [
                                "key",
                                "value"
                              ],
                              "properties": {
                                "key": {
                                  "$ref": "#/properties/artifact/%24defs/b"
                                },
                                "value": {
                                  "$ref": "#/properties/artifact/%24defs/b"
                                }
                              }
                            },
                            "maxItems": 32
                          }
                        }
                      },
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "kind",
                          "destination",
                          "source"
                        ],
                        "properties": {
                          "kind": {
                            "enum": [
                              "copy",
                              "reference"
                            ]
                          },
                          "destination": {
                            "$ref": "#/properties/artifact/%24defs/a"
                          },
                          "source": {
                            "$ref": "#/properties/artifact/%24defs/a"
                          }
                        }
                      },
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "kind",
                          "destination",
                          "array",
                          "key"
                        ],
                        "properties": {
                          "kind": {
                            "const": "reference_item"
                          },
                          "destination": {
                            "$ref": "#/properties/artifact/%24defs/a"
                          },
                          "array": {
                            "$ref": "#/properties/artifact/%24defs/a"
                          },
                          "key": {
                            "$ref": "#/properties/artifact/%24defs/b"
                          }
                        }
                      },
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "kind",
                          "array",
                          "key",
                          "source"
                        ],
                        "properties": {
                          "kind": {
                            "const": "item_reference"
                          },
                          "array": {
                            "$ref": "#/properties/artifact/%24defs/a"
                          },
                          "key": {
                            "$ref": "#/properties/artifact/%24defs/b"
                          },
                          "source": {
                            "$ref": "#/properties/artifact/%24defs/a"
                          }
                        }
                      },
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "kind",
                          "array",
                          "key",
                          "value"
                        ],
                        "properties": {
                          "kind": {
                            "const": "set_item"
                          },
                          "array": {
                            "$ref": "#/properties/artifact/%24defs/a"
                          },
                          "key": {
                            "$ref": "#/properties/artifact/%24defs/b"
                          },
                          "value": {
                            "$ref": "#/properties/artifact/%24defs/b"
                          }
                        }
                      },
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "kind",
                          "array",
                          "value"
                        ],
                        "properties": {
                          "kind": {
                            "const": "append"
                          },
                          "array": {
                            "$ref": "#/properties/artifact/%24defs/a"
                          },
                          "value": {
                            "$ref": "#/properties/artifact/%24defs/b"
                          }
                        }
                      },
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "kind",
                          "variable"
                        ],
                        "properties": {
                          "kind": {
                            "const": "unset_variable"
                          },
                          "variable": {
                            "$ref": "#/properties/artifact/%24defs/a"
                          }
                        }
                      },
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "kind",
                          "array",
                          "key"
                        ],
                        "properties": {
                          "kind": {
                            "const": "unset_item"
                          },
                          "array": {
                            "$ref": "#/properties/artifact/%24defs/a"
                          },
                          "key": {
                            "$ref": "#/properties/artifact/%24defs/b"
                          }
                        }
                      },
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "kind",
                          "array",
                          "variable",
                          "body"
                        ],
                        "properties": {
                          "kind": {
                            "enum": [
                              "foreach_reference",
                              "foreach_value"
                            ]
                          },
                          "array": {
                            "$ref": "#/properties/artifact/%24defs/a"
                          },
                          "variable": {
                            "$ref": "#/properties/artifact/%24defs/a"
                          },
                          "body": {
                            "type": "array",
                            "items": {
                              "anyOf": [
                                {
                                  "type": "object",
                                  "additionalProperties": false,
                                  "required": [
                                    "kind",
                                    "value"
                                  ],
                                  "properties": {
                                    "kind": {
                                      "const": "set"
                                    },
                                    "value": {
                                      "$ref": "#/properties/artifact/%24defs/b"
                                    }
                                  }
                                },
                                {
                                  "type": "object",
                                  "additionalProperties": false,
                                  "required": [
                                    "kind",
                                    "value"
                                  ],
                                  "properties": {
                                    "kind": {
                                      "const": "add"
                                    },
                                    "value": {
                                      "type": "integer",
                                      "minimum": -1000,
                                      "maximum": 1000
                                    }
                                  }
                                }
                              ]
                            },
                            "maxItems": 8
                          }
                        }
                      }
                    ]
                  },
                  "maxItems": 96
                }
              }
            },
            "claim": {
              "type": [
                "string",
                "null"
              ],
              "minLength": 64,
              "maxLength": 64,
              "pattern": "^[0-9a-f]{64}$"
            }
          }
        }
      },
      "$defs": {
        "a": {
          "type": "string",
          "minLength": 1,
          "maxLength": 48,
          "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$",
          "not": {
            "type": "string",
            "pattern": "[\\r\\n

]"
          }
        },
        "b": {
          "anyOf": [
            {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "type",
                "value"
              ],
              "properties": {
                "type": {
                  "const": "null"
                },
                "value": {
                  "type": "null"
                }
              }
            },
            {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "type",
                "value"
              ],
              "properties": {
                "type": {
                  "const": "bool"
                },
                "value": {
                  "type": "boolean"
                }
              }
            },
            {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "type",
                "value"
              ],
              "properties": {
                "type": {
                  "const": "int"
                },
                "value": {
                  "type": "integer",
                  "minimum": -1000000,
                  "maximum": 1000000
                }
              }
            },
            {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "type",
                "value"
              ],
              "properties": {
                "type": {
                  "const": "float"
                },
                "value": {
                  "type": "number",
                  "minimum": -1000000,
                  "maximum": 1000000
                }
              }
            },
            {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "type",
                "value"
              ],
              "properties": {
                "type": {
                  "const": "string"
                },
                "value": {
                  "type": "string",
                  "maxLength": 256
                }
              }
            }
          ]
        }
      }
    }
  }
}

Originalschema öffnen

Ergebnis & Dokumentation

Maschinenlesbare Dokumentation dieses Hubs

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

Weitere Endpunkte dieses Hubs

Alle Endpunkte dieses Hubs →