{"$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-fd-use-without-check",
                                          "helpUri": "https://gcc.gnu.org/onlinedocs/gcc-16.1.0/gcc/Static-Analyzer-Options.html#index-Wanalyzer-fd-use-without-check"}]}},
           "invocations": [{"arguments": ["/usr/libexec/gcc/x86_64-redhat-linux/16/cc1",
                                          "-quiet",
                                          "-I",
                                          "../src/include/",
                                          "-D",
                                          "_GNU_SOURCE",
                                          "-D",
                                          "__SANE_USERSPACE_TYPES__",
                                          "-D",
                                          "_LARGEFILE_SOURCE",
                                          "-D",
                                          "_FILE_OFFSET_BITS=64",
                                          "-D",
                                          "LIBURING_BUILD_TEST",
                                          "-include",
                                          "../config-host.h",
                                          "232c93d07b74.c",
                                          "-quiet",
                                          "-dumpbase",
                                          "232c93d07b74.c",
                                          "-dumpbase-ext",
                                          ".c",
                                          "-m64",
                                          "-mtune=generic",
                                          "-march=x86-64",
                                          "-mtls-dialect=gnu2",
                                          "-O2",
                                          "-Wno-unused-parameter",
                                          "-Wno-sign-compare",
                                          "-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/737-74JS.sarif",
                                          "-o",
                                          "/tmp/ccX6hLoj.s"],
                            "workingDirectory": {"uri": "/builddir/build/BUILD/liburing-2.13-build/liburing-2.13/test"},
                            "startTimeUtc": "2026-08-03T18:01:35Z",
                            "executionSuccessful": true,
                            "toolExecutionNotifications": [],
                            "endTimeUtc": "2026-08-03T18:01:36Z"}],
           "originalUriBaseIds": {"PWD": {"uri": "file:///builddir/build/BUILD/liburing-2.13-build/liburing-2.13/test/"}},
           "artifacts": [{"location": {"uri": "232c93d07b74.c",
                                       "uriBaseId": "PWD"},
                          "sourceLanguage": "c",
                          "contents": {"text": "/* SPDX-License-Identifier: MIT */\n/*\n * Test case for socket read/write through IORING_OP_READV and\n * IORING_OP_WRITEV, using both TCP and sockets and blocking and\n * non-blocking IO.\n *\n * Heavily based on a test case from Hrvoje Zeba <zeba.hrvoje@gmail.com>\n */\n#include <stdio.h>\n#include <stdlib.h>\n#include <stdint.h>\n#include <assert.h>\n#include <string.h>\n\n#include <pthread.h>\n#include <errno.h>\n#include <fcntl.h>\n#include <unistd.h>\n#include <sys/socket.h>\n#include <sys/un.h>\n#include <netinet/tcp.h>\n#include <netinet/in.h>\n#include <arpa/inet.h>\n\n#include \"helpers.h\"\n#include \"liburing.h\"\n\n#define RECV_BUFF_SIZE 2\n#define SEND_BUFF_SIZE 3\n\nstruct params {\n\tint tcp;\n\tint non_blocking;\n\t__be16 bind_port;\n};\n\nstatic pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;\nstatic pthread_cond_t cond = PTHREAD_COND_INITIALIZER;\nstatic int rcv_ready = 0;\n\nstatic void set_rcv_ready(void)\n{\n\tpthread_mutex_lock(&mutex);\n\n\trcv_ready = 1;\n\tpthread_cond_signal(&cond);\n\n\tpthread_mutex_unlock(&mutex);\n}\n\nstatic void wait_for_rcv_ready(void)\n{\n\tpthread_mutex_lock(&mutex);\n\n\twhile (!rcv_ready)\n\t\tpthread_cond_wait(&cond, &mutex);\n\n\tpthread_mutex_unlock(&mutex);\n}\n\nstatic void *rcv(void *arg)\n{\n\tstruct params *p = arg;\n\tint s0;\n\tint res;\n\n\tif (p->tcp) {\n\t\tint ret, val = 1;\n\n\t\ts0 = socket(AF_INET, SOCK_STREAM | SOCK_CLOEXEC, IPPROTO_TCP);\n\t\tres = setsockopt(s0, SOL_SOCKET, SO_REUSEPORT, &val, sizeof(val));\n\t\tassert(res != -1);\n\t\tres = setsockopt(s0, SOL_SOCKET, SO_REUSEADDR, &val, sizeof(val));\n\t\tassert(res != -1);\n\n\t\tstruct sockaddr_in addr;\n\n\t\taddr.sin_family = AF_INET;\n\t\taddr.sin_addr.s_addr = inet_addr(\"127.0.0.1\");\n\t\tret = t_bind_ephemeral_port(s0, &addr);\n\t\tassert(!ret);\n\t\tp->bind_port = addr.sin_port;\n\t} else {\n\t\ts0 = socket(AF_UNIX, SOCK_STREAM | SOCK_CLOEXEC, 0);\n\t\tassert(s0 != -1);\n\n\t\tstruct sockaddr_un addr;\n\t\tmemset(&addr, 0, sizeof(addr));\n\n\t\taddr.sun_family = AF_UNIX;\n\t\tmemcpy(addr.sun_path, \"\\0sock\", 6);\n\t\tres = bind(s0, (struct sockaddr *) &addr, sizeof(addr));\n\t\tassert(res != -1);\n\t}\n\tres = listen(s0, 128);\n\tassert(res != -1);\n\n\tset_rcv_ready();\n\n\tint s1 = accept(s0, NULL, NULL);\n\tassert(s1 != -1);\n\n\tif (p->non_blocking)\n\t\tt_set_nonblock(s1);\n\n\tstruct io_uring m_io_uring;\n\tvoid *ret = NULL;\n\n\tres = io_uring_queue_init(32, &m_io_uring, 0);\n\tassert(res >= 0);\n\n\tint bytes_read = 0;\n\tint expected_byte = 0;\n\tint done = 0;\n\n\twhile (!done && bytes_read != 33) {\n\t\tchar buff[RECV_BUFF_SIZE];\n\t\tstruct iovec iov;\n\n\t\tiov.iov_base = buff;\n\t\tiov.iov_len = sizeof(buff);\n\n\t\tstruct io_uring_sqe *sqe = io_uring_get_sqe(&m_io_uring);\n\t\tassert(sqe != NULL);\n\n\t\tio_uring_prep_readv(sqe, s1, &iov, 1, 0);\n\n\t\tres = io_uring_submit(&m_io_uring);\n\t\tassert(res != -1);\n\n\t\tstruct io_uring_cqe *cqe;\n\t\tunsigned head;\n\t\tunsigned count = 0;\n\n\t\twhile (!done && count != 1) {\n\t\t\tio_uring_for_each_cqe(&m_io_uring, head, cqe) {\n\t\t\t\tif (cqe->res < 0)\n\t\t\t\t\tassert(cqe->res == -EAGAIN);\n\t\t\t\telse {\n\t\t\t\t\tint i;\n\n\t\t\t\t\tfor (i = 0; i < cqe->res; i++) {\n\t\t\t\t\t\tif (buff[i] != expected_byte) {\n\t\t\t\t\t\t\tfprintf(stderr,\n\t\t\t\t\t\t\t\t\"Received %d, wanted %d\\n\",\n\t\t\t\t\t\t\t\tbuff[i], expected_byte);\n\t\t\t\t\t\t\tret++;\n\t\t\t\t\t\t\tdone = 1;\n\t\t\t\t\t\t }\n\t\t\t\t\t\t expected_byte++;\n\t\t\t\t\t}\n\t\t\t\t\tbytes_read += cqe->res;\n\t\t\t\t}\n\n\t\t\t\tcount++;\n\t\t\t}\n\n\t\t\tassert(count <= 1);\n\t\t\tio_uring_cq_advance(&m_io_uring, count);\n\t\t}\n\t}\n\n\tshutdown(s1, SHUT_RDWR);\n\tclose(s1);\n\tclose(s0);\n\tio_uring_queue_exit(&m_io_uring);\n\treturn ret;\n}\n\nstatic void *snd(void *arg)\n{\n\tstruct params *p = arg;\n\tint s0;\n\tint ret;\n\n\twait_for_rcv_ready();\n\n\tif (p->tcp) {\n\t\tint val = 1;\n\n\t\ts0 = socket(AF_INET, SOCK_STREAM | SOCK_CLOEXEC, IPPROTO_TCP);\n\t\tret = setsockopt(s0, IPPROTO_TCP, TCP_NODELAY, &val, sizeof(val));\n\t\tassert(ret != -1);\n\n\t\tstruct sockaddr_in addr;\n\n\t\taddr.sin_family = AF_INET;\n\t\taddr.sin_port = p->bind_port;\n\t\taddr.sin_addr.s_addr = inet_addr(\"127.0.0.1\");\n\t\tret = connect(s0, (struct sockaddr*) &addr, sizeof(addr));\n\t\tassert(ret != -1);\n\t} else {\n\t\ts0 = socket(AF_UNIX, SOCK_STREAM | SOCK_CLOEXEC, 0);\n\t\tassert(s0 != -1);\n\n\t\tstruct sockaddr_un addr;\n\t\tmemset(&addr, 0, sizeof(addr));\n\n\t\taddr.sun_family = AF_UNIX;\n\t\tmemcpy(addr.sun_path, \"\\0sock\", 6);\n\t\tret = connect(s0, (struct sockaddr*) &addr, sizeof(addr));\n\t\tassert(ret != -1);\n\t}\n\n\tif (p->non_blocking)\n\t\tt_set_nonblock(s0);\n\n\tstruct io_uring m_io_uring;\n\n\tret = io_uring_queue_init(32, &m_io_uring, 0);\n\tassert(ret >= 0);\n\n\tint bytes_written = 0;\n\tint done = 0;\n\n\twhile (!done && bytes_written != 33) {\n\t\tchar buff[SEND_BUFF_SIZE];\n\t\tint i;\n\n\t\tfor (i = 0; i < SEND_BUFF_SIZE; i++)\n\t\t\tbuff[i] = i + bytes_written;\n\n\t\tstruct iovec iov;\n\n\t\tiov.iov_base = buff;\n\t\tiov.iov_len = sizeof(buff);\n\n\t\tstruct io_uring_sqe *sqe = io_uring_get_sqe(&m_io_uring);\n\t\tassert(sqe != NULL);\n\n\t\tio_uring_prep_writev(sqe, s0, &iov, 1, 0);\n\n\t\tret = io_uring_submit(&m_io_uring);\n\t\tassert(ret != -1);\n\n\t\tstruct io_uring_cqe *cqe;\n\t\tunsigned head;\n\t\tunsigned count = 0;\n\n\t\twhile (!done && count != 1) {\n\t\t\tio_uring_for_each_cqe(&m_io_uring, head, cqe) {\n\t\t\t\tif (cqe->res < 0) {\n\t\t\t\t\tif (cqe->res == -EPIPE) {\n\t\t\t\t\t\tdone = 1;\n\t\t\t\t\t\tbreak;\n\t\t\t\t\t}\n\t\t\t\t\tassert(cqe->res == -EAGAIN);\n\t\t\t\t} else {\n\t\t\t\t\tbytes_written += cqe->res;\n\t\t\t\t}\n\n\t\t\t\tcount++;\n\t\t\t}\n\n\t\t\tassert(count <= 1);\n\t\t\tio_uring_cq_advance(&m_io_uring, count);\n\t\t}\n\t\tusleep(100000);\n\t}\n\n\tshutdown(s0, SHUT_RDWR);\n\tclose(s0);\n\tio_uring_queue_exit(&m_io_uring);\n\treturn NULL;\n}\n\nint main(int argc, char *argv[])\n{\n\tstruct params p;\n\tpthread_t t1, t2;\n\tvoid *res1, *res2;\n\tint i, exit_val = T_EXIT_PASS;\n\n\tif (argc > 1)\n\t\treturn T_EXIT_SKIP;\n\n\tfor (i = 0; i < 4; i++) {\n\t\tp.tcp = i & 1;\n\t\tp.non_blocking = (i & 2) >> 1;\n\n\t\trcv_ready = 0;\n\n\t\tpthread_create(&t1, NULL, rcv, &p);\n\t\tpthread_create(&t2, NULL, snd, &p);\n\t\tpthread_join(t1, &res1);\n\t\tpthread_join(t2, &res2);\n\t\tif (res1 || res2) {\n\t\t\tfprintf(stderr, \"Failed tcp=%d, non_blocking=%d\\n\", p.tcp, p.non_blocking);\n\t\t\texit_val = T_EXIT_FAIL;\n\t\t}\n\t}\n\n\treturn exit_val;\n}\n"},
                          "roles": ["analysisTarget",
                                    "tracedFile"]}],
           "results": [{"ruleId": "-Wanalyzer-fd-use-without-check",
                        "properties": {"gcc/analyzer/saved_diagnostic/sm": "file-descriptor",
                                       "gcc/analyzer/saved_diagnostic/ploc": {"enode": 1435},
                                       "gcc/analyzer/saved_diagnostic/sval": "UNMERGEABLE((int)-1)",
                                       "gcc/analyzer/saved_diagnostic/state": "fd-invalid",
                                       "gcc/analyzer/saved_diagnostic/idx": 0,
                                       "gcc/analyzer/saved_diagnostic/duplicates": [{"properties": {"gcc/analyzer/saved_diagnostic/sm": "file-descriptor",
                                                                                                    "gcc/analyzer/saved_diagnostic/ploc": {"enode": 1435},
                                                                                                    "gcc/analyzer/saved_diagnostic/sval": "UNMERGEABLE((int)-1)",
                                                                                                    "gcc/analyzer/saved_diagnostic/state": "fd-invalid",
                                                                                                    "gcc/analyzer/saved_diagnostic/idx": 1,
                                                                                                    "gcc/analyzer/pending_diagnostic/kind": "fd_use_without_check"}}],
                                       "gcc/analyzer/pending_diagnostic/kind": "fd_use_without_check"},
                        "level": "warning",
                        "message": {"text": "‘listen’ on possibly invalid file descriptor ‘s0’"},
                        "locations": [{"physicalLocation": {"artifactLocation": {"uri": "232c93d07b74.c",
                                                                                 "uriBaseId": "PWD"},
                                                            "region": {"startLine": 95,
                                                                       "startColumn": 15,
                                                                       "endColumn": 30},
                                                            "contextRegion": {"startLine": 95,
                                                                              "snippet": {"text": "\tres = listen(s0, 128);\n"}}},
                                       "logicalLocations": [{"index": 0,
                                                             "fullyQualifiedName": "rcv"}]}],
                        "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": 196,
                                                                                                                                 "dst_id": 197}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "232c93d07b74.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 67,
                                                                                                                    "startColumn": 12,
                                                                                                                    "endColumn": 13},
                                                                                                         "contextRegion": {"startLine": 67,
                                                                                                                           "snippet": {"text": "\tif (p->tcp) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "rcv"}],
                                                                                    "message": {"text": "following ‘true’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "true"],
                                                                       "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": 196,
                                                                                                                                 "dst_id": 197}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "232c93d07b74.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 68,
                                                                                                                    "startColumn": 26,
                                                                                                                    "endColumn": 29},
                                                                                                         "contextRegion": {"startLine": 68,
                                                                                                                           "snippet": {"text": "\t\tint ret, val = 1;\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "rcv"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "true"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 2},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(3)",
                                                                                      "gcc/analyzer/checker_event/kind": "custom"},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "232c93d07b74.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 70,
                                                                                                                    "startColumn": 22,
                                                                                                                    "endColumn": 78},
                                                                                                         "contextRegion": {"startLine": 70,
                                                                                                                           "snippet": {"text": "\t\ts0 = socket(AF_INET, SOCK_STREAM | SOCK_CLOEXEC, IPPROTO_TCP);\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "rcv"}],
                                                                                    "message": {"text": "when ‘socket’ fails"}},
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 3},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(4)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 200,
                                                                                                                                 "dst_id": 203}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "232c93d07b74.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 72,
                                                                                                                    "startColumn": 17,
                                                                                                                    "endColumn": 18},
                                                                                                         "contextRegion": {"startLine": 72,
                                                                                                                           "snippet": {"text": "\t\tassert(res != -1);\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "rcv"}],
                                                                                    "message": {"text": "following ‘true’ branch (when ‘res != -1’)..."},
                                                                                    "id": 0,
                                                                                    "relationships": [{"target": 1,
                                                                                                       "kinds": ["isIncludedBy"]}]},
                                                                       "kinds": ["branch",
                                                                                 "true"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 4},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(5)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 200,
                                                                                                                                 "dst_id": 203}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "232c93d07b74.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 73,
                                                                                                                    "startColumn": 23,
                                                                                                                    "endColumn": 82},
                                                                                                         "contextRegion": {"startLine": 73,
                                                                                                                           "snippet": {"text": "\t\tres = setsockopt(s0, SOL_SOCKET, SO_REUSEADDR, &val, sizeof(val));\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "rcv"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "true"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 5},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(6)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 204,
                                                                                                                                 "dst_id": 207}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "232c93d07b74.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 74,
                                                                                                                    "startColumn": 17,
                                                                                                                    "endColumn": 18},
                                                                                                         "contextRegion": {"startLine": 74,
                                                                                                                           "snippet": {"text": "\t\tassert(res != -1);\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "rcv"}],
                                                                                    "message": {"text": "following ‘true’ branch (when ‘res != -1’)..."},
                                                                                    "id": 2,
                                                                                    "relationships": [{"target": 1,
                                                                                                       "kinds": ["isIncludedBy"]}]},
                                                                       "kinds": ["branch",
                                                                                 "true"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 6},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(7)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 204,
                                                                                                                                 "dst_id": 207}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "232c93d07b74.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 78,
                                                                                                                    "startColumn": 17,
                                                                                                                    "endColumn": 36},
                                                                                                         "contextRegion": {"startLine": 78,
                                                                                                                           "snippet": {"text": "\t\taddr.sin_family = AF_INET;\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "rcv"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "true"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 7},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(8)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 211,
                                                                                                                                 "dst_id": 214}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "232c93d07b74.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 81,
                                                                                                                    "startColumn": 17,
                                                                                                                    "endColumn": 18},
                                                                                                         "contextRegion": {"startLine": 81,
                                                                                                                           "snippet": {"text": "\t\tassert(!ret);\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "rcv"}],
                                                                                    "message": {"text": "following ‘true’ branch..."},
                                                                                    "id": 3,
                                                                                    "relationships": [{"target": 1,
                                                                                                       "kinds": ["isIncludedBy"]}]},
                                                                       "kinds": ["branch",
                                                                                 "true"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 8},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(9)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 211,
                                                                                                                                 "dst_id": 214}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "232c93d07b74.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 82,
                                                                                                                    "startColumn": 32,
                                                                                                                    "endColumn": 45},
                                                                                                         "contextRegion": {"startLine": 82,
                                                                                                                           "snippet": {"text": "\t\tp->bind_port = addr.sin_port;\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "rcv"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "true"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 9},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(10)",
                                                                                      "gcc/analyzer/checker_event/kind": "warning"},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "232c93d07b74.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 95,
                                                                                                                    "startColumn": 15,
                                                                                                                    "endColumn": 30},
                                                                                                         "contextRegion": {"startLine": 95,
                                                                                                                           "snippet": {"text": "\tres = listen(s0, 128);\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "rcv"}],
                                                                                    "message": {"text": "‘s0’ could be invalid"}},
                                                                       "kinds": ["danger"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 10}]}]}],
                        "relatedLocations": [{"physicalLocation": {"artifactLocation": {"uri": "232c93d07b74.c",
                                                                                        "uriBaseId": "PWD"},
                                                                   "region": {"startLine": 12},
                                                                   "contextRegion": {"startLine": 12,
                                                                                     "snippet": {"text": "#include <assert.h>\n"}}},
                                              "relationships": [{"target": 0,
                                                                 "kinds": ["includes"]},
                                                                {"target": 2,
                                                                 "kinds": ["includes"]},
                                                                {"target": 3,
                                                                 "kinds": ["includes"]}],
                                              "id": 1}]}],
           "logicalLocations": [{"name": "rcv",
                                 "fullyQualifiedName": "rcv",
                                 "decoratedName": "rcv",
                                 "kind": "function",
                                 "index": 0}]}]}
