{"$schema": "https://docs.oasis-open.org/sarif/sarif/v2.1.0/errata01/os/schemas/sarif-schema-2.1.0.json",
 "version": "2.1.0",
 "runs": [{"tool": {"driver": {"name": "GNU C23",
                               "fullName": "GNU C23 (GCC) version 16.1.1 20260703 (Red Hat 16.1.1-4) (x86_64-redhat-linux)",
                               "version": "16.1.1 20260703 (Red Hat 16.1.1-4)",
                               "informationUri": "https://gcc.gnu.org/gcc-16/",
                               "rules": [{"id": "-Wanalyzer-possible-null-dereference",
                                          "helpUri": "https://gcc.gnu.org/onlinedocs/gcc-16.1.0/gcc/Static-Analyzer-Options.html#index-Wanalyzer-possible-null-dereference"}]}},
           "taxonomies": [{"name": "CWE",
                           "version": "4.7",
                           "organization": "MITRE",
                           "shortDescription": {"text": "The MITRE Common Weakness Enumeration"},
                           "taxa": [{"id": "690",
                                     "helpUri": "https://cwe.mitre.org/data/definitions/690.html"}]}],
           "invocations": [{"arguments": ["/usr/libexec/gcc/x86_64-redhat-linux/16/cc1",
                                          "-quiet",
                                          "-I",
                                          "../src/include/",
                                          "-D",
                                          "_GNU_SOURCE",
                                          "io_uring-close-test.c",
                                          "-quiet",
                                          "-dumpbase",
                                          "io_uring-close-test.c",
                                          "-dumpbase-ext",
                                          ".c",
                                          "-m64",
                                          "-mtune=generic",
                                          "-march=x86-64",
                                          "-mtls-dialect=gnu2",
                                          "-O2",
                                          "-Wno-unknown-pragmas",
                                          "-flto=auto",
                                          "-ffat-lto-objects",
                                          "-fexceptions",
                                          "-fstack-protector-strong",
                                          "-fasynchronous-unwind-tables",
                                          "-fstack-clash-protection",
                                          "-fcf-protection=full",
                                          "-fno-omit-frame-pointer",
                                          "-fanalyzer",
                                          "-fdiagnostics-path-format=separate-events",
                                          "-fno-diagnostics-show-caret",
                                          "-fno-lto",
                                          "-fanalyzer-assume-nothrow",
                                          "-fdiagnostics-text-art-charset=none",
                                          "-fdiagnostics-set-output=sarif:file=/builddir/gcc-results/6144-b0p8.sarif",
                                          "-o",
                                          "/tmp/ccpHKCUZ.s"],
                            "workingDirectory": {"uri": "/builddir/build/BUILD/liburing-2.13-build/liburing-2.13/examples"},
                            "startTimeUtc": "2026-08-03T18:02:15Z",
                            "executionSuccessful": true,
                            "toolExecutionNotifications": [],
                            "endTimeUtc": "2026-08-03T18:02:15Z"}],
           "originalUriBaseIds": {"PWD": {"uri": "file:///builddir/build/BUILD/liburing-2.13-build/liburing-2.13/examples/"}},
           "artifacts": [{"location": {"uri": "io_uring-close-test.c",
                                       "uriBaseId": "PWD"},
                          "sourceLanguage": "c",
                          "contents": {"text": "/* SPDX-License-Identifier: MIT */\n/*\n * Simple app that demonstrates how to setup an io_uring interface, and use it\n * via a registered ring fd, without leaving the original fd open.\n *\n * gcc -Wall -O2 -D_GNU_SOURCE -o io_uring-close-test io_uring-close-test.c -luring\n */\n#include <stdio.h>\n#include <fcntl.h>\n#include <string.h>\n#include <stdlib.h>\n#include <sys/types.h>\n#include <sys/stat.h>\n#include <unistd.h>\n#include \"liburing.h\"\n\n#define QD\t4\n\nint main(int argc, char *argv[])\n{\n\tstruct io_uring ring;\n\tint i, fd, ret, pending, done;\n\tstruct io_uring_sqe *sqe;\n\tstruct io_uring_cqe *cqe;\n\tstruct iovec *iovecs;\n\tstruct stat sb;\n\tssize_t fsize;\n\toff_t offset;\n\tvoid *buf;\n\n\tif (argc < 2) {\n\t\tprintf(\"%s: file\\n\", argv[0]);\n\t\treturn 1;\n\t}\n\n\tret = io_uring_queue_init(QD, &ring, 0);\n\tif (ret < 0) {\n\t\tfprintf(stderr, \"queue_init: %s\\n\", strerror(-ret));\n\t\treturn 1;\n\t}\n\n\tret = io_uring_register_ring_fd(&ring);\n\tif (ret < 0) {\n\t\tfprintf(stderr, \"register_ring_fd: %s\\n\", strerror(-ret));\n\t\treturn 1;\n\t}\n\tret = io_uring_close_ring_fd(&ring);\n\tif (ret < 0) {\n\t\tfprintf(stderr, \"close_ring_fd: %s\\n\", strerror(-ret));\n\t\treturn 1;\n\t}\n\n\tfd = open(argv[1], O_RDONLY);\n\tif (fd < 0) {\n\t\tperror(\"open\");\n\t\treturn 1;\n\t}\n\n\tif (fstat(fd, &sb) < 0) {\n\t\tperror(\"fstat\");\n\t\treturn 1;\n\t}\n\n\tfsize = 0;\n\tiovecs = calloc(QD, sizeof(struct iovec));\n\tfor (i = 0; i < QD; i++) {\n\t\tif (posix_memalign(&buf, 4096, 4096))\n\t\t\treturn 1;\n\t\tiovecs[i].iov_base = buf;\n\t\tiovecs[i].iov_len = 4096;\n\t\tfsize += 4096;\n\t}\n\n\toffset = 0;\n\ti = 0;\n\tdo {\n\t\tsqe = io_uring_get_sqe(&ring);\n\t\tif (!sqe)\n\t\t\tbreak;\n\t\tio_uring_prep_readv(sqe, fd, &iovecs[i], 1, offset);\n\t\toffset += iovecs[i].iov_len;\n\t\ti++;\n\t\tif (offset > sb.st_size)\n\t\t\tbreak;\n\t} while (1);\n\n\tret = io_uring_submit(&ring);\n\tif (ret < 0) {\n\t\tfprintf(stderr, \"io_uring_submit: %s\\n\", strerror(-ret));\n\t\treturn 1;\n\t} else if (ret != i) {\n\t\tfprintf(stderr, \"io_uring_submit submitted less %d\\n\", ret);\n\t\treturn 1;\n\t}\n\n\tdone = 0;\n\tpending = ret;\n\tfsize = 0;\n\tfor (i = 0; i < pending; i++) {\n\t\tret = io_uring_wait_cqe(&ring, &cqe);\n\t\tif (ret < 0) {\n\t\t\tfprintf(stderr, \"io_uring_wait_cqe: %s\\n\", strerror(-ret));\n\t\t\treturn 1;\n\t\t}\n\n\t\tdone++;\n\t\tret = 0;\n\t\tif (cqe->res != 4096 && cqe->res + fsize != sb.st_size) {\n\t\t\tfprintf(stderr, \"ret=%d, wanted 4096\\n\", cqe->res);\n\t\t\tret = 1;\n\t\t}\n\t\tfsize += cqe->res;\n\t\tio_uring_cqe_seen(&ring, cqe);\n\t\tif (ret)\n\t\t\tbreak;\n\t}\n\n\tprintf(\"Submitted=%d, completed=%d, bytes=%lu\\n\", pending, done,\n\t\t\t\t\t\t(unsigned long) fsize);\n\tclose(fd);\n\tio_uring_queue_exit(&ring);\n\treturn 0;\n}\n"},
                          "roles": ["analysisTarget",
                                    "tracedFile"]}],
           "results": [{"ruleId": "-Wanalyzer-possible-null-dereference",
                        "taxa": [{"id": "690",
                                  "toolComponent": {"name": "cwe"}}],
                        "properties": {"gcc/analyzer/saved_diagnostic/sm": "malloc",
                                       "gcc/analyzer/saved_diagnostic/ploc": {"enode": 71},
                                       "gcc/analyzer/saved_diagnostic/var": "_17",
                                       "gcc/analyzer/saved_diagnostic/sval": "&HEAP_ALLOCATED_REGION(290)",
                                       "gcc/analyzer/saved_diagnostic/state": "unchecked ({free})",
                                       "gcc/analyzer/saved_diagnostic/idx": 0,
                                       "gcc/analyzer/pending_diagnostic/kind": "possible_null_deref"},
                        "level": "warning",
                        "message": {"text": "dereference of possibly-NULL ‘iovecs’"},
                        "locations": [{"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                 "uriBaseId": "PWD"},
                                                            "region": {"startLine": 69,
                                                                       "startColumn": 17,
                                                                       "endColumn": 41},
                                                            "contextRegion": {"startLine": 69,
                                                                              "snippet": {"text": "\t\tiovecs[i].iov_base = buf;\n"}}},
                                       "logicalLocations": [{"index": 0,
                                                             "fullyQualifiedName": "main"}]}],
                        "codeFlows": [{"threadFlows": [{"id": "main",
                                                        "locations": [{"properties": {"gcc/analyzer/checker_event/emission_id": "(1)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 11,
                                                                                                                                 "dst_id": 15}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 31,
                                                                                                                    "startColumn": 12,
                                                                                                                    "endColumn": 13},
                                                                                                         "contextRegion": {"startLine": 31,
                                                                                                                           "snippet": {"text": "\tif (argc < 2) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘false’ branch (when ‘argc > 1’)..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 1},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(2)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 11,
                                                                                                                                 "dst_id": 15}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 36,
                                                                                                                    "startColumn": 15,
                                                                                                                    "endColumn": 48},
                                                                                                         "contextRegion": {"startLine": 36,
                                                                                                                           "snippet": {"text": "\tret = io_uring_queue_init(QD, &ring, 0);\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 2},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(3)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 16,
                                                                                                                                 "dst_id": 22}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 37,
                                                                                                                    "startColumn": 12,
                                                                                                                    "endColumn": 13},
                                                                                                         "contextRegion": {"startLine": 37,
                                                                                                                           "snippet": {"text": "\tif (ret < 0) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘false’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 3},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(4)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 16,
                                                                                                                                 "dst_id": 22}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 42,
                                                                                                                    "startColumn": 15,
                                                                                                                    "endColumn": 47},
                                                                                                         "contextRegion": {"startLine": 42,
                                                                                                                           "snippet": {"text": "\tret = io_uring_register_ring_fd(&ring);\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 4},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(5)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 23,
                                                                                                                                 "dst_id": 29}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 43,
                                                                                                                    "startColumn": 12,
                                                                                                                    "endColumn": 13},
                                                                                                         "contextRegion": {"startLine": 43,
                                                                                                                           "snippet": {"text": "\tif (ret < 0) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘false’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 5},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(6)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 23,
                                                                                                                                 "dst_id": 29}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 47,
                                                                                                                    "startColumn": 15,
                                                                                                                    "endColumn": 44},
                                                                                                         "contextRegion": {"startLine": 47,
                                                                                                                           "snippet": {"text": "\tret = io_uring_close_ring_fd(&ring);\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 6},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(7)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 30,
                                                                                                                                 "dst_id": 36}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 48,
                                                                                                                    "startColumn": 12,
                                                                                                                    "endColumn": 13},
                                                                                                         "contextRegion": {"startLine": 48,
                                                                                                                           "snippet": {"text": "\tif (ret < 0) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘false’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 7},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(8)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 30,
                                                                                                                                 "dst_id": 36}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 53,
                                                                                                                    "startColumn": 14,
                                                                                                                    "endColumn": 37},
                                                                                                         "contextRegion": {"startLine": 53,
                                                                                                                           "snippet": {"text": "\tfd = open(argv[1], O_RDONLY);\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 8},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(9)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 38,
                                                                                                                                 "dst_id": 41}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 54,
                                                                                                                    "startColumn": 12,
                                                                                                                    "endColumn": 13},
                                                                                                         "contextRegion": {"startLine": 54,
                                                                                                                           "snippet": {"text": "\tif (fd < 0) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘false’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 9},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(10)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 38,
                                                                                                                                 "dst_id": 41}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 59,
                                                                                                                    "startColumn": 13,
                                                                                                                    "endColumn": 27},
                                                                                                         "contextRegion": {"startLine": 59,
                                                                                                                           "snippet": {"text": "\tif (fstat(fd, &sb) < 0) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 10},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(11)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 42,
                                                                                                                                 "dst_id": 45}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 59,
                                                                                                                    "startColumn": 12,
                                                                                                                    "endColumn": 13},
                                                                                                         "contextRegion": {"startLine": 59,
                                                                                                                           "snippet": {"text": "\tif (fstat(fd, &sb) < 0) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘false’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 11},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(12)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 42,
                                                                                                                                 "dst_id": 45}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 65,
                                                                                                                    "startColumn": 18,
                                                                                                                    "endColumn": 50},
                                                                                                         "contextRegion": {"startLine": 65,
                                                                                                                           "snippet": {"text": "\tiovecs = calloc(QD, sizeof(struct iovec));\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 12},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(13)",
                                                                                      "gcc/analyzer/checker_event/kind": "state_change"},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 65,
                                                                                                                    "startColumn": 18,
                                                                                                                    "endColumn": 50},
                                                                                                         "contextRegion": {"startLine": 65,
                                                                                                                           "snippet": {"text": "\tiovecs = calloc(QD, sizeof(struct iovec));\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "this call could return NULL"}},
                                                                       "kinds": ["acquire",
                                                                                 "memory"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 13},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(14)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 54,
                                                                                                                                 "dst_id": 55}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 66,
                                                                                                                    "startColumn": 21,
                                                                                                                    "endColumn": 26},
                                                                                                         "contextRegion": {"startLine": 66,
                                                                                                                           "snippet": {"text": "\tfor (i = 0; i < QD; i++) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘true’ branch (when ‘i != 4’)..."}},
                                                                       "kinds": ["branch",
                                                                                 "true"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 14},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(15)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 54,
                                                                                                                                 "dst_id": 55}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 67,
                                                                                                                    "startColumn": 21,
                                                                                                                    "endColumn": 53},
                                                                                                         "contextRegion": {"startLine": 67,
                                                                                                                           "snippet": {"text": "\t\tif (posix_memalign(&buf, 4096, 4096))\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "true"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 15},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(16)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 56,
                                                                                                                                 "dst_id": 58}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 67,
                                                                                                                    "startColumn": 21,
                                                                                                                    "endColumn": 53},
                                                                                                         "contextRegion": {"startLine": 67,
                                                                                                                           "snippet": {"text": "\t\tif (posix_memalign(&buf, 4096, 4096))\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘true’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "true"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 16},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(17)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 56,
                                                                                                                                 "dst_id": 58}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 67,
                                                                                                                    "startColumn": 21,
                                                                                                                    "endColumn": 53},
                                                                                                         "contextRegion": {"startLine": 67,
                                                                                                                           "snippet": {"text": "\t\tif (posix_memalign(&buf, 4096, 4096))\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "true"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 17},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(18)",
                                                                                      "gcc/analyzer/checker_event/kind": "warning"},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "io_uring-close-test.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 69,
                                                                                                                    "startColumn": 17,
                                                                                                                    "endColumn": 41},
                                                                                                         "contextRegion": {"startLine": 69,
                                                                                                                           "snippet": {"text": "\t\tiovecs[i].iov_base = buf;\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "‘iovecs + (long unsigned int)i * 16’ could be NULL: unchecked value from [(13)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/12)"}},
                                                                       "kinds": ["danger"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 18}]}]}]}],
           "logicalLocations": [{"name": "main",
                                 "fullyQualifiedName": "main",
                                 "decoratedName": "main",
                                 "kind": "function",
                                 "index": 0}]}]}
