{"$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-leak",
                                          "helpUri": "https://gcc.gnu.org/onlinedocs/gcc-16.1.0/gcc/Static-Analyzer-Options.html#index-Wanalyzer-fd-leak"},
                                         {"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"},
                                    {"id": "775",
                                     "helpUri": "https://cwe.mitre.org/data/definitions/775.html"}]}],
           "invocations": [{"arguments": ["/usr/libexec/gcc/x86_64-redhat-linux/16/cc1",
                                          "-quiet",
                                          "-I",
                                          "../src/include/",
                                          "-D",
                                          "_GNU_SOURCE",
                                          "ucontext-cp.c",
                                          "-quiet",
                                          "-dumpbase",
                                          "ucontext-cp.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/6431-GjTE.sarif",
                                          "-o",
                                          "/tmp/ccVALBp0.s"],
                            "workingDirectory": {"uri": "/builddir/build/BUILD/liburing-2.13-build/liburing-2.13/examples"},
                            "startTimeUtc": "2026-08-03T18:02:17Z",
                            "executionSuccessful": true,
                            "toolExecutionNotifications": [],
                            "endTimeUtc": "2026-08-03T18:02:17Z"}],
           "originalUriBaseIds": {"PWD": {"uri": "file:///builddir/build/BUILD/liburing-2.13-build/liburing-2.13/examples/"}},
           "artifacts": [{"location": {"uri": "ucontext-cp.c",
                                       "uriBaseId": "PWD"},
                          "sourceLanguage": "c",
                          "contents": {"text": "/* SPDX-License-Identifier: MIT */\n/*\n * gcc -Wall -O2 -D_GNU_SOURCE -o ucontext-cp ucontext-cp.c -luring\n */\n#define _POSIX_C_SOURCE 199309L\n#include <stdio.h>\n#include <fcntl.h>\n#include <string.h>\n#include <stdlib.h>\n#include <unistd.h>\n#include <assert.h>\n#include <errno.h>\n#include <ucontext.h>\n#include <signal.h>\n#include <inttypes.h>\n#include <sys/types.h>\n#include <sys/ioctl.h>\n#include <sys/timerfd.h>\n#include <poll.h>\n#include \"liburing.h\"\n\n#define QD\t64\n#define BS\t1024\n\n#ifndef SIGSTKSZ\n#define SIGSTKSZ 8192\n#endif\n\ntypedef struct {\n\tstruct io_uring *ring;\n\tunsigned char *stack_buf;\n\tucontext_t ctx_main, ctx_fnew;\n} async_context;\n\ntypedef struct {\n\tasync_context *pctx;\n\tint *psuccess;\n\tint *pfailure;\n\tint infd;\n\tint outfd;\n} arguments_bundle;\n\n#define DEFINE_AWAIT_OP(operation) \t\t\t\t\t\\\nstatic ssize_t await_##operation(\t\t\t\t\t\\\n\tasync_context *pctx,\t\t\t\t\t\t\\\n\tint fd,\t\t\t\t\t\t\t\t\\\n\tconst struct iovec *ioves,\t\t\t\t\t\\\n\tunsigned int nr_vecs,\t\t\t\t\t\t\\\n\toff_t offset)\t\t\t\t\t\t\t\\\n{\t\t\t\t\t\t\t\t\t\\\n\tstruct io_uring_sqe *sqe = io_uring_get_sqe(pctx->ring);\t\\\n\tstruct io_uring_cqe *cqe;\t\t\t\t\t\\\n\t\t\t\t\t\t\t\t\t\\\n\tif (!sqe)\t\t\t\t\t\t\t\\\n\t\treturn -1;\t\t\t\t\t\t\\\n\t\t\t\t\t\t\t\t\t\\\n\tio_uring_prep_##operation(sqe, fd, ioves, nr_vecs, offset);\t\\\n\tio_uring_sqe_set_data(sqe, pctx);\t\t\t\t\\\n\tswapcontext(&pctx->ctx_fnew, &pctx->ctx_main);\t\t\t\\\n\tio_uring_peek_cqe(pctx->ring, &cqe);\t\t\t\t\\\n\tassert(cqe);\t\t\t\t\t\t\t\\\n\tio_uring_cqe_seen(pctx->ring, cqe);\t\t\t\t\\\n\t\t\t\t\t\t\t\t\t\\\n\treturn cqe->res;\t\t\t\t\t\t\\\n}\n\nDEFINE_AWAIT_OP(readv)\nDEFINE_AWAIT_OP(writev)\n#undef DEFINE_AWAIT_OP\n\nstatic int await_delay(async_context *pctx, time_t seconds)\n{\n\tstruct io_uring_sqe *sqe = io_uring_get_sqe(pctx->ring);\n\tstruct io_uring_cqe *cqe;\n\tstruct __kernel_timespec ts = {\n\t\t.tv_sec = seconds,\n\t\t.tv_nsec = 0\n\t};\n\n\tif (!sqe)\n\t\treturn -1;\n\n\tio_uring_prep_timeout(sqe, &ts, 0, 0);\n\tio_uring_sqe_set_data(sqe, pctx);\n\tswapcontext(&pctx->ctx_fnew, &pctx->ctx_main);\n\tio_uring_peek_cqe(pctx->ring, &cqe);\n\tassert(cqe);\n\tio_uring_cqe_seen(pctx->ring, cqe);\n\n\treturn 0;\n}\n\nstatic int setup_context(async_context *pctx, struct io_uring *ring)\n{\n\tint ret;\n\n\tpctx->ring = ring;\n\tret = getcontext(&pctx->ctx_fnew);\n\tif (ret < 0) {\n\t\tperror(\"getcontext\");\n\t\treturn -1;\n\t}\n\tpctx->stack_buf = malloc(SIGSTKSZ);\n\tif (!pctx->stack_buf) {\n\t\tperror(\"malloc\");\n\t\treturn -1;\n\t}\n\tpctx->ctx_fnew.uc_stack.ss_sp = pctx->stack_buf;\n\tpctx->ctx_fnew.uc_stack.ss_size = SIGSTKSZ;\n\tpctx->ctx_fnew.uc_link = &pctx->ctx_main;\n\n\treturn 0;\n}\n\nstatic int copy_file(async_context *pctx, int infd, int outfd, struct iovec* piov)\n{\n\toff_t offset = 0;\n\n\tfor (;;) {\n\t\tssize_t bytes_read;\n\n\t\tprintf(\"%d->%d: readv %ld bytes from %ld\\n\", infd, outfd, (long) piov->iov_len, (long) offset);\n\t\tif ((bytes_read = await_readv(pctx, infd, piov, 1, offset)) < 0) {\n\t\t\tperror(\"await_readv\");\n\t\t\treturn 1;\n\t\t}\n\t\tif (bytes_read == 0)\n\t\t\treturn 0;\n\n\t\tpiov->iov_len = bytes_read;\n\n\t\tprintf(\"%d->%d: writev %ld bytes from %ld\\n\", infd, outfd, (long) piov->iov_len, (long) offset);\n\t\tif (await_writev(pctx, outfd, piov, 1, offset) != bytes_read) {\n\t\t\tperror(\"await_writev\");\n\t\t\treturn 1;\n\t\t}\n\t\tif (bytes_read < BS)\n\t\t\treturn 0;\n\t\toffset += bytes_read;\n\n\t\tprintf(\"%d->%d: wait %ds\\n\", infd, outfd, 1);\n\t\tawait_delay(pctx, 1);\n\t}\n}\n\nstatic void copy_file_wrapper(arguments_bundle *pbundle)\n{\n\tstruct iovec iov = {\n\t\t.iov_base = malloc(BS),\n\t\t.iov_len = BS,\n\t};\n\tasync_context *pctx = pbundle->pctx;\n\n\tint ret = copy_file(pctx, pbundle->infd, pbundle->outfd, &iov);\n\n\tprintf(\"%d->%d: done with ret code %d\\n\", pbundle->infd, pbundle->outfd, ret);\n\n\tif (ret == 0) {\n\t\t++*pbundle->psuccess;\n\t} else {\n\t\t++*pbundle->pfailure;\n\t}\n\n\tfree(iov.iov_base);\n\tclose(pbundle->infd);\n\tclose(pbundle->outfd);\n\tfree(pbundle->pctx->stack_buf);\n\tfree(pbundle->pctx);\n\tfree(pbundle);\n\n\tswapcontext(&pctx->ctx_fnew, &pctx->ctx_main);\n}\n\nint main(int argc, char *argv[])\n{\n\tstruct io_uring ring;\n\tint i, req_count, ret;\n\tint success = 0, failure = 0;\n\n\tif (argc < 3) {\n\t\tfprintf(stderr, \"%s: infile1 outfile1 [infile2 outfile2 [...]]\\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\treq_count = (argc - 1) / 2;\n\tprintf(\"copying %d files...\\n\", req_count);\n\n\tfor (i = 1; i < argc; i += 2) {\n\t\tint infd, outfd;\n\n\t\tasync_context *pctx = malloc(sizeof(*pctx));\n\n\t\tif (!pctx || setup_context(pctx, &ring))\n\t\t\treturn 1;\n\n\t\tinfd = open(argv[i], O_RDONLY);\n\t\tif (infd < 0) {\n\t\t\tperror(\"open infile\");\n\t\t\treturn 1;\n\t\t}\n\t\toutfd = open(argv[i + 1], O_WRONLY | O_CREAT | O_TRUNC, 0644);\n\t\tif (outfd < 0) {\n\t\t\tperror(\"open outfile\");\n\t\t\treturn 1;\n\t\t}\n\n\t\targuments_bundle *pbundle = malloc(sizeof(*pbundle));\n\t\tpbundle->pctx = pctx;\n\t\tpbundle->psuccess = &success;\n\t\tpbundle->pfailure = &failure;\n\t\tpbundle->infd = infd;\n\t\tpbundle->outfd = outfd;\n\n\t\tmakecontext(&pctx->ctx_fnew, (void (*)(void)) copy_file_wrapper, 1, pbundle);\n\n\t\tif (swapcontext(&pctx->ctx_main, &pctx->ctx_fnew)) {\n\t\t\tperror(\"swapcontext\");\n\t\t\treturn 1;\n\t\t}\n\t}\n\n\t/* event loop */\n\twhile (success + failure < req_count) {\n\t\tstruct io_uring_cqe *cqe;\n\n\t\t/* usually be timed waiting */\n\t\tret = io_uring_submit_and_wait(&ring, 1);\n\t\tif (ret < 0) {\n\t\t\tfprintf(stderr, \"submit_and_wait: %s\\n\", strerror(-ret));\n\t\t\treturn 1;\n\t\t}\n\n\t\tret = io_uring_wait_cqe(&ring, &cqe);\n\t\tif (ret < 0) {\n\t\t\tfprintf(stderr, \"wait_cqe: %s\\n\", strerror(-ret));\n\t\t\treturn 1;\n\t\t}\n\n\t\tasync_context *pctx = io_uring_cqe_get_data(cqe);\n\n\t\tif (swapcontext(&pctx->ctx_main, &pctx->ctx_fnew)) {\n\t\t\tperror(\"swapcontext\");\n\t\t\treturn 1;\n\t\t}\n\t}\n\n\tio_uring_queue_exit(&ring);\n\n\tprintf(\"finished with %d success(es) and %d failure(s)\\n\", success, failure);\n\n\treturn failure > 0;\n}\n"},
                          "roles": ["analysisTarget",
                                    "tracedFile"]},
                         {"location": {"uri": "/usr/include/signal.h"},
                          "sourceLanguage": "c"}],
           "results": [{"ruleId": "-Wanalyzer-fd-leak",
                        "taxa": [{"id": "775",
                                  "toolComponent": {"name": "cwe"}}],
                        "properties": {"gcc/analyzer/saved_diagnostic/sm": "file-descriptor",
                                       "gcc/analyzer/saved_diagnostic/ploc": {"enode": 109},
                                       "gcc/analyzer/saved_diagnostic/var": "open (*_9, 0)",
                                       "gcc/analyzer/saved_diagnostic/sval": "CONJURED(_71 = open (_10, 0);, _71)",
                                       "gcc/analyzer/saved_diagnostic/state": "fd-valid-read-only",
                                       "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": 109},
                                                                                                    "gcc/analyzer/saved_diagnostic/var": "open (*_9, 0)",
                                                                                                    "gcc/analyzer/saved_diagnostic/sval": "CONJURED(_71 = open (_10, 0);, _71)",
                                                                                                    "gcc/analyzer/saved_diagnostic/state": "fd-valid-read-only",
                                                                                                    "gcc/analyzer/saved_diagnostic/idx": 1,
                                                                                                    "gcc/analyzer/pending_diagnostic/kind": "fd_leak"}},
                                                                                    {"properties": {"gcc/analyzer/saved_diagnostic/sm": "file-descriptor",
                                                                                                    "gcc/analyzer/saved_diagnostic/ploc": {"enode": 182},
                                                                                                    "gcc/analyzer/saved_diagnostic/var": "open (*_9, 0)",
                                                                                                    "gcc/analyzer/saved_diagnostic/sval": "CONJURED(_71 = open (_10, 0);, _71)",
                                                                                                    "gcc/analyzer/saved_diagnostic/state": "fd-valid-read-only",
                                                                                                    "gcc/analyzer/saved_diagnostic/idx": 3,
                                                                                                    "gcc/analyzer/pending_diagnostic/kind": "fd_leak"}},
                                                                                    {"properties": {"gcc/analyzer/saved_diagnostic/sm": "file-descriptor",
                                                                                                    "gcc/analyzer/saved_diagnostic/ploc": {"enode": 182},
                                                                                                    "gcc/analyzer/saved_diagnostic/var": "open (*_9, 0)",
                                                                                                    "gcc/analyzer/saved_diagnostic/sval": "CONJURED(_71 = open (_10, 0);, _71)",
                                                                                                    "gcc/analyzer/saved_diagnostic/state": "fd-valid-read-only",
                                                                                                    "gcc/analyzer/saved_diagnostic/idx": 4,
                                                                                                    "gcc/analyzer/pending_diagnostic/kind": "fd_leak"}}],
                                       "gcc/analyzer/pending_diagnostic/kind": "fd_leak"},
                        "level": "warning",
                        "message": {"text": "leak of file descriptor ‘open(*<unknown>, 0)’"},
                        "locations": [{"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                 "uriBaseId": "PWD"},
                                                            "region": {"startLine": 207,
                                                                       "startColumn": 35,
                                                                       "endColumn": 40},
                                                            "contextRegion": {"startLine": 207,
                                                                              "snippet": {"text": "\t\toutfd = open(argv[i + 1], O_WRONLY | O_CREAT | O_TRUNC, 0644);\n"}}},
                                       "logicalLocations": [{"index": 0,
                                                             "fullyQualifiedName": "main"}]}],
                        "codeFlows": [{"threadFlows": [{"id": "main",
                                                        "locations": [{"properties": {"gcc/analyzer/checker_event/emission_id": "(1)",
                                                                                      "gcc/analyzer/checker_event/kind": "function_entry"},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 174,
                                                                                                                    "startColumn": 5,
                                                                                                                    "endColumn": 9},
                                                                                                         "contextRegion": {"startLine": 174,
                                                                                                                           "snippet": {"text": "int main(int argc, char *argv[])\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "entry to ‘main’"}},
                                                                       "kinds": ["enter",
                                                                                 "function"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 1},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(2)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 20,
                                                                                                                                 "dst_id": 25}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 180,
                                                                                                                    "startColumn": 12,
                                                                                                                    "endColumn": 13},
                                                                                                         "contextRegion": {"startLine": 180,
                                                                                                                           "snippet": {"text": "\tif (argc < 3) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘false’ branch (when ‘argc > 2’)..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 2},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(3)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 20,
                                                                                                                                 "dst_id": 25}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 185,
                                                                                                                    "startColumn": 15,
                                                                                                                    "endColumn": 48},
                                                                                                         "contextRegion": {"startLine": 185,
                                                                                                                           "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": 3},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(4)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 26,
                                                                                                                                 "dst_id": 32}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 186,
                                                                                                                    "startColumn": 12,
                                                                                                                    "endColumn": 13},
                                                                                                         "contextRegion": {"startLine": 186,
                                                                                                                           "snippet": {"text": "\tif (ret < 0) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘false’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "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": 26,
                                                                                                                                 "dst_id": 32}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 191,
                                                                                                                    "startColumn": 21,
                                                                                                                    "endColumn": 31},
                                                                                                         "contextRegion": {"startLine": 191,
                                                                                                                           "snippet": {"text": "\treq_count = (argc - 1) / 2;\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "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": 39,
                                                                                                                                 "dst_id": 40}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 194,
                                                                                                                    "startColumn": 21,
                                                                                                                    "endColumn": 29},
                                                                                                         "contextRegion": {"startLine": 194,
                                                                                                                           "snippet": {"text": "\tfor (i = 1; i < argc; i += 2) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘true’ branch (when ‘i < argc’)..."}},
                                                                       "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": 39,
                                                                                                                                 "dst_id": 40}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 197,
                                                                                                                    "startColumn": 39,
                                                                                                                    "endColumn": 60},
                                                                                                         "contextRegion": {"startLine": 197,
                                                                                                                           "snippet": {"text": "\t\tasync_context *pctx = malloc(sizeof(*pctx));\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "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": 41,
                                                                                                                                 "dst_id": 43}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 199,
                                                                                                                    "startColumn": 20,
                                                                                                                    "endColumn": 21},
                                                                                                         "contextRegion": {"startLine": 199,
                                                                                                                           "snippet": {"text": "\t\tif (!pctx || setup_context(pctx, &ring))\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘false’ branch (when ‘pctx’ is non-NULL)..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "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": 41,
                                                                                                                                 "dst_id": 43}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 199,
                                                                                                                    "startColumn": 30,
                                                                                                                    "endColumn": 56},
                                                                                                         "contextRegion": {"startLine": 199,
                                                                                                                           "snippet": {"text": "\t\tif (!pctx || setup_context(pctx, &ring))\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 9},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(10)",
                                                                                      "gcc/analyzer/checker_event/kind": "call",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 43,
                                                                                                                                 "dst_id": 44}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 199,
                                                                                                                    "startColumn": 30,
                                                                                                                    "endColumn": 56},
                                                                                                         "contextRegion": {"startLine": 199,
                                                                                                                           "snippet": {"text": "\t\tif (!pctx || setup_context(pctx, &ring))\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "calling ‘setup_context’ from ‘main’"}},
                                                                       "kinds": ["call",
                                                                                 "function"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 10},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(11)",
                                                                                      "gcc/analyzer/checker_event/kind": "function_entry"},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 93,
                                                                                                                    "startColumn": 12,
                                                                                                                    "endColumn": 25},
                                                                                                         "contextRegion": {"startLine": 93,
                                                                                                                           "snippet": {"text": "static int setup_context(async_context *pctx, struct io_uring *ring)\n"}}},
                                                                                    "logicalLocations": [{"index": 1,
                                                                                                          "fullyQualifiedName": "setup_context"}],
                                                                                    "message": {"text": "entry to ‘setup_context’"}},
                                                                       "kinds": ["enter",
                                                                                 "function"],
                                                                       "nestingLevel": 2,
                                                                       "executionOrder": 11},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(12)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 218,
                                                                                                                                 "dst_id": 221}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 99,
                                                                                                                    "startColumn": 12,
                                                                                                                    "endColumn": 13},
                                                                                                         "contextRegion": {"startLine": 99,
                                                                                                                           "snippet": {"text": "\tif (ret < 0) {\n"}}},
                                                                                    "logicalLocations": [{"index": 1,
                                                                                                          "fullyQualifiedName": "setup_context"}],
                                                                                    "message": {"text": "following ‘false’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 2,
                                                                       "executionOrder": 12},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(13)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 218,
                                                                                                                                 "dst_id": 221}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 103,
                                                                                                                    "startColumn": 34,
                                                                                                                    "endColumn": 35},
                                                                                                         "contextRegion": {"startLine": 103,
                                                                                                                           "snippet": {"text": "\tpctx->stack_buf = malloc(SIGSTKSZ);\n"}}},
                                                                                    "logicalLocations": [{"index": 1,
                                                                                                          "fullyQualifiedName": "setup_context"}],
                                                                                    "message": {"text": "...to here"},
                                                                                    "id": 0,
                                                                                    "relationships": [{"target": 1,
                                                                                                       "kinds": ["isIncludedBy"]}]},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 2,
                                                                       "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": 225,
                                                                                                                                 "dst_id": 228}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 104,
                                                                                                                    "startColumn": 12,
                                                                                                                    "endColumn": 13},
                                                                                                         "contextRegion": {"startLine": 104,
                                                                                                                           "snippet": {"text": "\tif (!pctx->stack_buf) {\n"}}},
                                                                                    "logicalLocations": [{"index": 1,
                                                                                                          "fullyQualifiedName": "setup_context"}],
                                                                                    "message": {"text": "following ‘false’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 2,
                                                                       "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": 225,
                                                                                                                                 "dst_id": 228}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 108,
                                                                                                                    "startColumn": 9,
                                                                                                                    "endColumn": 56},
                                                                                                         "contextRegion": {"startLine": 108,
                                                                                                                           "snippet": {"text": "\tpctx->ctx_fnew.uc_stack.ss_sp = pctx->stack_buf;\n"}}},
                                                                                    "logicalLocations": [{"index": 1,
                                                                                                          "fullyQualifiedName": "setup_context"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 2,
                                                                       "executionOrder": 15},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(16)",
                                                                                      "gcc/analyzer/checker_event/kind": "return"},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 199,
                                                                                                                    "startColumn": 30,
                                                                                                                    "endColumn": 56},
                                                                                                         "contextRegion": {"startLine": 199,
                                                                                                                           "snippet": {"text": "\t\tif (!pctx || setup_context(pctx, &ring))\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "returning to ‘main’ from ‘setup_context’"}},
                                                                       "kinds": ["return",
                                                                                 "function"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 16},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(17)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 44,
                                                                                                                                 "dst_id": 46}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 199,
                                                                                                                    "startColumn": 21,
                                                                                                                    "endColumn": 56},
                                                                                                         "contextRegion": {"startLine": 199,
                                                                                                                           "snippet": {"text": "\t\tif (!pctx || setup_context(pctx, &ring))\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘false’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 17},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(18)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 44,
                                                                                                                                 "dst_id": 46}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 202,
                                                                                                                    "startColumn": 33,
                                                                                                                    "endColumn": 34},
                                                                                                         "contextRegion": {"startLine": 202,
                                                                                                                           "snippet": {"text": "\t\tinfd = open(argv[i], O_RDONLY);\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 18},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(19)",
                                                                                      "gcc/analyzer/checker_event/kind": "state_change"},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 202,
                                                                                                                    "startColumn": 24,
                                                                                                                    "endColumn": 47},
                                                                                                         "contextRegion": {"startLine": 202,
                                                                                                                           "snippet": {"text": "\t\tinfd = open(argv[i], O_RDONLY);\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "opened here"}},
                                                                       "kinds": ["acquire",
                                                                                 "resource"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 19},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(20)",
                                                                                      "gcc/analyzer/checker_event/kind": "state_change"},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 203,
                                                                                                                    "startColumn": 20,
                                                                                                                    "endColumn": 21},
                                                                                                         "contextRegion": {"startLine": 203,
                                                                                                                           "snippet": {"text": "\t\tif (infd < 0) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "assuming ‘open(*<unknown>, 0)’ is a valid file descriptor (>= 0)"}},
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 20},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(21)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 51,
                                                                                                                                 "dst_id": 54}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 203,
                                                                                                                    "startColumn": 20,
                                                                                                                    "endColumn": 21},
                                                                                                         "contextRegion": {"startLine": 203,
                                                                                                                           "snippet": {"text": "\t\tif (infd < 0) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘false’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 21},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(22)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 51,
                                                                                                                                 "dst_id": 54}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 207,
                                                                                                                    "startColumn": 35,
                                                                                                                    "endColumn": 40},
                                                                                                         "contextRegion": {"startLine": 207,
                                                                                                                           "snippet": {"text": "\t\toutfd = open(argv[i + 1], O_WRONLY | O_CREAT | O_TRUNC, 0644);\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 22},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(23)",
                                                                                      "gcc/analyzer/checker_event/kind": "warning"},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 207,
                                                                                                                    "startColumn": 35,
                                                                                                                    "endColumn": 40},
                                                                                                         "contextRegion": {"startLine": 207,
                                                                                                                           "snippet": {"text": "\t\toutfd = open(argv[i + 1], O_WRONLY | O_CREAT | O_TRUNC, 0644);\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "‘open(*<unknown>, 0)’ leaks here; was opened at [(19)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/18)"}},
                                                                       "kinds": ["danger"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 23}]}]}],
                        "relatedLocations": [{"physicalLocation": {"artifactLocation": {"uri": "/usr/include/signal.h"},
                                                                   "region": {"startLine": 328},
                                                                   "contextRegion": {"startLine": 328,
                                                                                     "snippet": {"text": "# include <bits/sigstksz.h>\n"}}},
                                              "relationships": [{"target": 0,
                                                                 "kinds": ["includes"]},
                                                                {"target": 2,
                                                                 "kinds": ["isIncludedBy"]}],
                                              "id": 1},
                                             {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                        "uriBaseId": "PWD"},
                                                                   "region": {"startLine": 14},
                                                                   "contextRegion": {"startLine": 14,
                                                                                     "snippet": {"text": "#include <signal.h>\n"}}},
                                              "relationships": [{"target": 1,
                                                                 "kinds": ["includes"]}],
                                              "id": 2}]},
                       {"ruleId": "-Wanalyzer-possible-null-dereference",
                        "taxa": [{"id": "690",
                                  "toolComponent": {"name": "cwe"}}],
                        "properties": {"gcc/analyzer/saved_diagnostic/sm": "malloc",
                                       "gcc/analyzer/saved_diagnostic/ploc": {"enode": 112},
                                       "gcc/analyzer/saved_diagnostic/var": "pbundle_75",
                                       "gcc/analyzer/saved_diagnostic/sval": "&HEAP_ALLOCATED_REGION(447)",
                                       "gcc/analyzer/saved_diagnostic/state": "unchecked ({free})",
                                       "gcc/analyzer/saved_diagnostic/idx": 2,
                                       "gcc/analyzer/saved_diagnostic/duplicates": [{"properties": {"gcc/analyzer/saved_diagnostic/sm": "malloc",
                                                                                                    "gcc/analyzer/saved_diagnostic/ploc": {"enode": 185},
                                                                                                    "gcc/analyzer/saved_diagnostic/var": "pbundle_75",
                                                                                                    "gcc/analyzer/saved_diagnostic/sval": "&HEAP_ALLOCATED_REGION(557)",
                                                                                                    "gcc/analyzer/saved_diagnostic/state": "unchecked ({free})",
                                                                                                    "gcc/analyzer/saved_diagnostic/idx": 5,
                                                                                                    "gcc/analyzer/pending_diagnostic/kind": "possible_null_deref"}}],
                                       "gcc/analyzer/pending_diagnostic/kind": "possible_null_deref"},
                        "level": "warning",
                        "message": {"text": "dereference of possibly-NULL ‘pbundle’"},
                        "locations": [{"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                 "uriBaseId": "PWD"},
                                                            "region": {"startLine": 214,
                                                                       "startColumn": 17,
                                                                       "endColumn": 37},
                                                            "contextRegion": {"startLine": 214,
                                                                              "snippet": {"text": "\t\tpbundle->pctx = pctx;\n"}}},
                                       "logicalLocations": [{"index": 0,
                                                             "fullyQualifiedName": "main"}]}],
                        "codeFlows": [{"threadFlows": [{"id": "main",
                                                        "locations": [{"properties": {"gcc/analyzer/checker_event/emission_id": "(1)",
                                                                                      "gcc/analyzer/checker_event/kind": "function_entry"},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 174,
                                                                                                                    "startColumn": 5,
                                                                                                                    "endColumn": 9},
                                                                                                         "contextRegion": {"startLine": 174,
                                                                                                                           "snippet": {"text": "int main(int argc, char *argv[])\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "entry to ‘main’"}},
                                                                       "kinds": ["enter",
                                                                                 "function"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 1},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(2)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 20,
                                                                                                                                 "dst_id": 25}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 180,
                                                                                                                    "startColumn": 12,
                                                                                                                    "endColumn": 13},
                                                                                                         "contextRegion": {"startLine": 180,
                                                                                                                           "snippet": {"text": "\tif (argc < 3) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘false’ branch (when ‘argc > 2’)..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 2},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(3)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 20,
                                                                                                                                 "dst_id": 25}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 185,
                                                                                                                    "startColumn": 15,
                                                                                                                    "endColumn": 48},
                                                                                                         "contextRegion": {"startLine": 185,
                                                                                                                           "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": 3},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(4)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 26,
                                                                                                                                 "dst_id": 32}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 186,
                                                                                                                    "startColumn": 12,
                                                                                                                    "endColumn": 13},
                                                                                                         "contextRegion": {"startLine": 186,
                                                                                                                           "snippet": {"text": "\tif (ret < 0) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘false’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "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": 26,
                                                                                                                                 "dst_id": 32}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 191,
                                                                                                                    "startColumn": 21,
                                                                                                                    "endColumn": 31},
                                                                                                         "contextRegion": {"startLine": 191,
                                                                                                                           "snippet": {"text": "\treq_count = (argc - 1) / 2;\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "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": 39,
                                                                                                                                 "dst_id": 40}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 194,
                                                                                                                    "startColumn": 21,
                                                                                                                    "endColumn": 29},
                                                                                                         "contextRegion": {"startLine": 194,
                                                                                                                           "snippet": {"text": "\tfor (i = 1; i < argc; i += 2) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘true’ branch (when ‘i < argc’)..."}},
                                                                       "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": 39,
                                                                                                                                 "dst_id": 40}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 197,
                                                                                                                    "startColumn": 39,
                                                                                                                    "endColumn": 60},
                                                                                                         "contextRegion": {"startLine": 197,
                                                                                                                           "snippet": {"text": "\t\tasync_context *pctx = malloc(sizeof(*pctx));\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "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": 41,
                                                                                                                                 "dst_id": 43}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 199,
                                                                                                                    "startColumn": 20,
                                                                                                                    "endColumn": 21},
                                                                                                         "contextRegion": {"startLine": 199,
                                                                                                                           "snippet": {"text": "\t\tif (!pctx || setup_context(pctx, &ring))\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘false’ branch (when ‘pctx’ is non-NULL)..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "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": 41,
                                                                                                                                 "dst_id": 43}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 199,
                                                                                                                    "startColumn": 30,
                                                                                                                    "endColumn": 56},
                                                                                                         "contextRegion": {"startLine": 199,
                                                                                                                           "snippet": {"text": "\t\tif (!pctx || setup_context(pctx, &ring))\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 9},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(10)",
                                                                                      "gcc/analyzer/checker_event/kind": "call",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 43,
                                                                                                                                 "dst_id": 44}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 199,
                                                                                                                    "startColumn": 30,
                                                                                                                    "endColumn": 56},
                                                                                                         "contextRegion": {"startLine": 199,
                                                                                                                           "snippet": {"text": "\t\tif (!pctx || setup_context(pctx, &ring))\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "calling ‘setup_context’ from ‘main’"}},
                                                                       "kinds": ["call",
                                                                                 "function"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 10},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(11)",
                                                                                      "gcc/analyzer/checker_event/kind": "function_entry"},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 93,
                                                                                                                    "startColumn": 12,
                                                                                                                    "endColumn": 25},
                                                                                                         "contextRegion": {"startLine": 93,
                                                                                                                           "snippet": {"text": "static int setup_context(async_context *pctx, struct io_uring *ring)\n"}}},
                                                                                    "logicalLocations": [{"index": 1,
                                                                                                          "fullyQualifiedName": "setup_context"}],
                                                                                    "message": {"text": "entry to ‘setup_context’"}},
                                                                       "kinds": ["enter",
                                                                                 "function"],
                                                                       "nestingLevel": 2,
                                                                       "executionOrder": 11},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(12)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 218,
                                                                                                                                 "dst_id": 221}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 99,
                                                                                                                    "startColumn": 12,
                                                                                                                    "endColumn": 13},
                                                                                                         "contextRegion": {"startLine": 99,
                                                                                                                           "snippet": {"text": "\tif (ret < 0) {\n"}}},
                                                                                    "logicalLocations": [{"index": 1,
                                                                                                          "fullyQualifiedName": "setup_context"}],
                                                                                    "message": {"text": "following ‘false’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 2,
                                                                       "executionOrder": 12},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(13)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 218,
                                                                                                                                 "dst_id": 221}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 103,
                                                                                                                    "startColumn": 34,
                                                                                                                    "endColumn": 35},
                                                                                                         "contextRegion": {"startLine": 103,
                                                                                                                           "snippet": {"text": "\tpctx->stack_buf = malloc(SIGSTKSZ);\n"}}},
                                                                                    "logicalLocations": [{"index": 1,
                                                                                                          "fullyQualifiedName": "setup_context"}],
                                                                                    "message": {"text": "...to here"},
                                                                                    "id": 0,
                                                                                    "relationships": [{"target": 1,
                                                                                                       "kinds": ["isIncludedBy"]}]},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 2,
                                                                       "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": 225,
                                                                                                                                 "dst_id": 228}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 104,
                                                                                                                    "startColumn": 12,
                                                                                                                    "endColumn": 13},
                                                                                                         "contextRegion": {"startLine": 104,
                                                                                                                           "snippet": {"text": "\tif (!pctx->stack_buf) {\n"}}},
                                                                                    "logicalLocations": [{"index": 1,
                                                                                                          "fullyQualifiedName": "setup_context"}],
                                                                                    "message": {"text": "following ‘false’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 2,
                                                                       "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": 225,
                                                                                                                                 "dst_id": 228}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 108,
                                                                                                                    "startColumn": 9,
                                                                                                                    "endColumn": 56},
                                                                                                         "contextRegion": {"startLine": 108,
                                                                                                                           "snippet": {"text": "\tpctx->ctx_fnew.uc_stack.ss_sp = pctx->stack_buf;\n"}}},
                                                                                    "logicalLocations": [{"index": 1,
                                                                                                          "fullyQualifiedName": "setup_context"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 2,
                                                                       "executionOrder": 15},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(16)",
                                                                                      "gcc/analyzer/checker_event/kind": "return"},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 199,
                                                                                                                    "startColumn": 30,
                                                                                                                    "endColumn": 56},
                                                                                                         "contextRegion": {"startLine": 199,
                                                                                                                           "snippet": {"text": "\t\tif (!pctx || setup_context(pctx, &ring))\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "returning to ‘main’ from ‘setup_context’"}},
                                                                       "kinds": ["return",
                                                                                 "function"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 16},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(17)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 44,
                                                                                                                                 "dst_id": 46}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 199,
                                                                                                                    "startColumn": 21,
                                                                                                                    "endColumn": 56},
                                                                                                         "contextRegion": {"startLine": 199,
                                                                                                                           "snippet": {"text": "\t\tif (!pctx || setup_context(pctx, &ring))\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘false’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 17},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(18)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 44,
                                                                                                                                 "dst_id": 46}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 202,
                                                                                                                    "startColumn": 33,
                                                                                                                    "endColumn": 34},
                                                                                                         "contextRegion": {"startLine": 202,
                                                                                                                           "snippet": {"text": "\t\tinfd = open(argv[i], O_RDONLY);\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 18},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(19)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 51,
                                                                                                                                 "dst_id": 54}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 203,
                                                                                                                    "startColumn": 20,
                                                                                                                    "endColumn": 21},
                                                                                                         "contextRegion": {"startLine": 203,
                                                                                                                           "snippet": {"text": "\t\tif (infd < 0) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘false’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 19},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(20)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 51,
                                                                                                                                 "dst_id": 54}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 207,
                                                                                                                    "startColumn": 35,
                                                                                                                    "endColumn": 40},
                                                                                                         "contextRegion": {"startLine": 207,
                                                                                                                           "snippet": {"text": "\t\toutfd = open(argv[i + 1], O_WRONLY | O_CREAT | O_TRUNC, 0644);\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 20},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(21)",
                                                                                      "gcc/analyzer/checker_event/kind": "start_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 59,
                                                                                                                                 "dst_id": 62}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 208,
                                                                                                                    "startColumn": 20,
                                                                                                                    "endColumn": 21},
                                                                                                         "contextRegion": {"startLine": 208,
                                                                                                                           "snippet": {"text": "\t\tif (outfd < 0) {\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "following ‘false’ branch..."}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 21},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(22)",
                                                                                      "gcc/analyzer/checker_event/kind": "end_cfg_edge",
                                                                                      "gcc/analyzer/superedge_event/superedge": {"src_id": 59,
                                                                                                                                 "dst_id": 62}},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 213,
                                                                                                                    "startColumn": 45,
                                                                                                                    "endColumn": 69},
                                                                                                         "contextRegion": {"startLine": 213,
                                                                                                                           "snippet": {"text": "\t\targuments_bundle *pbundle = malloc(sizeof(*pbundle));\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "...to here"}},
                                                                       "kinds": ["branch",
                                                                                 "false"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 22},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(23)",
                                                                                      "gcc/analyzer/checker_event/kind": "state_change"},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 213,
                                                                                                                    "startColumn": 45,
                                                                                                                    "endColumn": 69},
                                                                                                         "contextRegion": {"startLine": 213,
                                                                                                                           "snippet": {"text": "\t\targuments_bundle *pbundle = malloc(sizeof(*pbundle));\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "this call could return NULL"}},
                                                                       "kinds": ["acquire",
                                                                                 "memory"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 23},
                                                                      {"properties": {"gcc/analyzer/checker_event/emission_id": "(24)",
                                                                                      "gcc/analyzer/checker_event/kind": "warning"},
                                                                       "location": {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                                                              "uriBaseId": "PWD"},
                                                                                                         "region": {"startLine": 214,
                                                                                                                    "startColumn": 17,
                                                                                                                    "endColumn": 37},
                                                                                                         "contextRegion": {"startLine": 214,
                                                                                                                           "snippet": {"text": "\t\tpbundle->pctx = pctx;\n"}}},
                                                                                    "logicalLocations": [{"index": 0,
                                                                                                          "fullyQualifiedName": "main"}],
                                                                                    "message": {"text": "‘pbundle’ could be NULL: unchecked value from [(23)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/22)"}},
                                                                       "kinds": ["danger"],
                                                                       "nestingLevel": 1,
                                                                       "executionOrder": 24}]}]}],
                        "relatedLocations": [{"physicalLocation": {"artifactLocation": {"uri": "/usr/include/signal.h"},
                                                                   "region": {"startLine": 328},
                                                                   "contextRegion": {"startLine": 328,
                                                                                     "snippet": {"text": "# include <bits/sigstksz.h>\n"}}},
                                              "relationships": [{"target": 0,
                                                                 "kinds": ["includes"]},
                                                                {"target": 2,
                                                                 "kinds": ["isIncludedBy"]}],
                                              "id": 1},
                                             {"physicalLocation": {"artifactLocation": {"uri": "ucontext-cp.c",
                                                                                        "uriBaseId": "PWD"},
                                                                   "region": {"startLine": 14},
                                                                   "contextRegion": {"startLine": 14,
                                                                                     "snippet": {"text": "#include <signal.h>\n"}}},
                                              "relationships": [{"target": 1,
                                                                 "kinds": ["includes"]}],
                                              "id": 2}]}],
           "logicalLocations": [{"name": "main",
                                 "fullyQualifiedName": "main",
                                 "decoratedName": "main",
                                 "kind": "function",
                                 "index": 0},
                                {"name": "setup_context",
                                 "fullyQualifiedName": "setup_context",
                                 "decoratedName": "setup_context",
                                 "kind": "function",
                                 "index": 1}]}]}
