{
    "$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": [
        {
            "originalUriBaseIds": {
                "%SRCROOT%": {
                    "uri": "/Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/opentaint-kotlin-kernel/attempt-01/tmp/dataflowbench-opentaint-kotlin/dfb-taint-kotlin-deep-relay-chain-positive/source"
                }
            },
            "tool": {
                "driver": {
                    "name": "OpenTaint",
                    "organization": "Seqra",
                    "rules": [
                        {
                            "defaultConfiguration": {
                                "level": "error"
                            },
                            "fullDescription": {
                                "markdown": "DataFlowBench benchmark-controlled endpoint flow",
                                "text": "DataFlowBench benchmark-controlled endpoint flow"
                            },
                            "id": ":dfb-opentaint-kernel",
                            "name": ":dfb-opentaint-kernel",
                            "properties": {
                                "tags": []
                            },
                            "shortDescription": {
                                "text": "OpenTaint Finding: :dfb-opentaint-kernel"
                            }
                        }
                    ],
                    "semanticVersion": "latest",
                    "version": "latest"
                }
            },
            "results": [
                {
                    "codeFlows": [
                        {
                            "threadFlows": [
                                {
                                    "locations": [
                                        {
                                            "executionOrder": 0,
                                            "kinds": [
                                                "taint"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#run():0:(%0 = this.dfb_source())",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#run"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Call to \"dfb_source\" puts marked data to a local variable"
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 37,
                                                        "endLine": 35,
                                                        "startColumn": 25,
                                                        "startLine": 35
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 1,
                                            "kinds": [
                                                "call"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#run():1:(%1 = this.relay1(%0))",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#run"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Calling \"relay1\" with marked data at a local variable"
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 38,
                                                        "endLine": 35,
                                                        "startColumn": 18,
                                                        "startLine": 35
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 2,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay1(java.lang.String):0:(kotlin.jvm.internal.Intrinsics.checkNotNullParameter(value, \"value\"))",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay1"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Entering \"relay1\" with marked data at \"value\""
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 38,
                                                        "endLine": 10,
                                                        "startColumn": 5,
                                                        "startLine": 10
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 3,
                                            "kinds": [
                                                "call"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay1(java.lang.String):1:(%0 = this.relay2(value))",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay1"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Calling \"relay2\" with marked data at \"value\""
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 29,
                                                        "endLine": 11,
                                                        "startColumn": 16,
                                                        "startLine": 11
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 4,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay2(java.lang.String):0:(kotlin.jvm.internal.Intrinsics.checkNotNullParameter(value, \"value\"))",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay2"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Entering \"relay2\" with marked data at \"value\""
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 38,
                                                        "endLine": 14,
                                                        "startColumn": 5,
                                                        "startLine": 14
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 5,
                                            "kinds": [
                                                "call"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay2(java.lang.String):1:(%0 = this.relay3(value))",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay2"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Calling \"relay3\" with marked data at \"value\""
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 29,
                                                        "endLine": 15,
                                                        "startColumn": 16,
                                                        "startLine": 15
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 6,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay3(java.lang.String):0:(kotlin.jvm.internal.Intrinsics.checkNotNullParameter(value, \"value\"))",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay3"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Entering \"relay3\" with marked data at \"value\""
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 38,
                                                        "endLine": 18,
                                                        "startColumn": 5,
                                                        "startLine": 18
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 7,
                                            "kinds": [
                                                "call"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay3(java.lang.String):1:(%0 = this.relay4(value))",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay3"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Calling \"relay4\" with marked data at \"value\""
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 29,
                                                        "endLine": 19,
                                                        "startColumn": 16,
                                                        "startLine": 19
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 8,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay4(java.lang.String):0:(kotlin.jvm.internal.Intrinsics.checkNotNullParameter(value, \"value\"))",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay4"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Entering \"relay4\" with marked data at \"value\""
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 38,
                                                        "endLine": 22,
                                                        "startColumn": 5,
                                                        "startLine": 22
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 9,
                                            "kinds": [
                                                "call"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay4(java.lang.String):1:(%0 = this.relay5(value))",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay4"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Calling \"relay5\" with marked data at \"value\""
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 29,
                                                        "endLine": 23,
                                                        "startColumn": 16,
                                                        "startLine": 23
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 10,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay5(java.lang.String):0:(kotlin.jvm.internal.Intrinsics.checkNotNullParameter(value, \"value\"))",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay5"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Entering \"relay5\" with marked data at \"value\""
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 38,
                                                        "endLine": 26,
                                                        "startColumn": 5,
                                                        "startLine": 26
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 11,
                                            "kinds": [
                                                "call"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay5(java.lang.String):1:(%0 = this.relay6(value))",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay5"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Calling \"relay6\" with marked data at \"value\""
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 29,
                                                        "endLine": 27,
                                                        "startColumn": 16,
                                                        "startLine": 27
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 12,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay6(java.lang.String):0:(kotlin.jvm.internal.Intrinsics.checkNotNullParameter(value, \"value\"))",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay6"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Entering \"relay6\" with marked data at \"value\""
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 38,
                                                        "endLine": 30,
                                                        "startColumn": 5,
                                                        "startLine": 30
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 13,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay6(java.lang.String):0:(kotlin.jvm.internal.Intrinsics.checkNotNullParameter(value, \"value\"))",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay6"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "<#[Unexpected action entry]#>"
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 21,
                                                        "endLine": 31,
                                                        "startColumn": 9,
                                                        "startLine": 31
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 14,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay6(java.lang.String):1:(return value)",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay6"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "<#[Unexpected action entry]#>"
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 21,
                                                        "endLine": 31,
                                                        "startColumn": 9,
                                                        "startLine": 31
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 15,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay6(java.lang.String):1:(return value)",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay6"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Exiting \"relay6\""
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 6,
                                                        "endLine": 32,
                                                        "startColumn": 5,
                                                        "startLine": 32
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 16,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay5(java.lang.String):2:(return %0)",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay5"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "The returning value is assigned marked data from \"relay6\" call"
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 29,
                                                        "endLine": 27,
                                                        "startColumn": 9,
                                                        "startLine": 27
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 17,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay5(java.lang.String):2:(return %0)",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay5"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Exiting \"relay5\""
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 6,
                                                        "endLine": 28,
                                                        "startColumn": 5,
                                                        "startLine": 28
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 18,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay4(java.lang.String):2:(return %0)",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay4"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "The returning value is assigned marked data from \"relay5\" call"
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 29,
                                                        "endLine": 23,
                                                        "startColumn": 9,
                                                        "startLine": 23
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 19,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay4(java.lang.String):2:(return %0)",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay4"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Exiting \"relay4\""
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 6,
                                                        "endLine": 24,
                                                        "startColumn": 5,
                                                        "startLine": 24
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 20,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay3(java.lang.String):2:(return %0)",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay3"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "The returning value is assigned marked data from \"relay4\" call"
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 29,
                                                        "endLine": 19,
                                                        "startColumn": 9,
                                                        "startLine": 19
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 21,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay3(java.lang.String):2:(return %0)",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay3"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Exiting \"relay3\""
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 6,
                                                        "endLine": 20,
                                                        "startColumn": 5,
                                                        "startLine": 20
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 22,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay2(java.lang.String):2:(return %0)",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay2"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "The returning value is assigned marked data from \"relay3\" call"
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 29,
                                                        "endLine": 15,
                                                        "startColumn": 9,
                                                        "startLine": 15
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 23,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay2(java.lang.String):2:(return %0)",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay2"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Exiting \"relay2\""
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 6,
                                                        "endLine": 16,
                                                        "startColumn": 5,
                                                        "startLine": 16
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 24,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay1(java.lang.String):2:(return %0)",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay1"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "The returning value is assigned marked data from \"relay2\" call"
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 29,
                                                        "endLine": 11,
                                                        "startColumn": 9,
                                                        "startLine": 11
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 25,
                                            "kinds": [
                                                "unknown"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#relay1(java.lang.String):2:(return %0)",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#relay1"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Exiting \"relay1\""
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 6,
                                                        "endLine": 12,
                                                        "startColumn": 5,
                                                        "startLine": 12
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 26,
                                            "kinds": [
                                                "return"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#run():1:(%1 = this.relay1(%0))",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#run"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "Method \"relay1\" propagates marked data from a local variable to a local variable"
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 38,
                                                        "endLine": 35,
                                                        "startColumn": 18,
                                                        "startLine": 35
                                                    }
                                                }
                                            }
                                        },
                                        {
                                            "executionOrder": 27,
                                            "kinds": [
                                                "taint"
                                            ],
                                            "location": {
                                                "logicalLocations": [
                                                    {
                                                        "decoratedName": "dataflowbench.DeepRelayChainPositive#run():2:(this.dfb_sink(%1))",
                                                        "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#run"
                                                    }
                                                ],
                                                "message": {
                                                    "text": "DataFlowBench benchmark-controlled endpoint flow"
                                                },
                                                "physicalLocation": {
                                                    "artifactLocation": {
                                                        "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                                        "uriBaseId": "%SRCROOT%"
                                                    },
                                                    "region": {
                                                        "endColumn": 39,
                                                        "endLine": 35,
                                                        "startColumn": 9,
                                                        "startLine": 35
                                                    }
                                                }
                                            }
                                        }
                                    ]
                                }
                            ]
                        }
                    ],
                    "level": "error",
                    "locations": [
                        {
                            "logicalLocations": [
                                {
                                    "decoratedName": "dataflowbench.DeepRelayChainPositive#run():2:(this.dfb_sink(%1))",
                                    "fullyQualifiedName": "dataflowbench.DeepRelayChainPositive#run"
                                }
                            ],
                            "physicalLocation": {
                                "artifactLocation": {
                                    "uri": "dataflowbench/DeepRelayChainPositive.kt",
                                    "uriBaseId": "%SRCROOT%"
                                },
                                "region": {
                                    "endColumn": 39,
                                    "endLine": 35,
                                    "startColumn": 9,
                                    "startLine": 35
                                }
                            }
                        }
                    ],
                    "message": {
                        "text": "DataFlowBench benchmark-controlled endpoint flow"
                    },
                    "ruleId": ":dfb-opentaint-kernel"
                }
            ]
        }
    ]
}