{
    "$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-java-modeling/attempt-01/tmp/dataflowbench-modeling-opentaint-java/dfb-taint-java-model-sanitizer-selectivity-negative/source"
                }
            },
            "tool": {
                "driver": {
                    "name": "OpenTaint",
                    "organization": "Seqra",
                    "rules": [
                        {
                            "defaultConfiguration": {
                                "level": "error"
                            },
                            "fullDescription": {
                                "markdown": "a benchmark-declared model carried input to the declared sink",
                                "text": "a benchmark-declared model carried input to the declared sink"
                            },
                            "id": ":dfb-opentaint-model",
                            "name": ":dfb-opentaint-model",
                            "properties": {
                                "tags": []
                            },
                            "shortDescription": {
                                "text": "OpenTaint Finding: :dfb-opentaint-model"
                            }
                        }
                    ],
                    "semanticVersion": "latest",
                    "version": "latest"
                }
            },
            "results": []
        }
    ]
}