{
    "runs": [
        {
            "artifacts": [
                {
                    "location": {
                        "index": 0,
                        "uri": "src/ex_cmds.h",
                        "uriBaseId": "%SRCROOT%"
                    }
                }
            ],
            "columnKind": "utf16CodeUnits",
            "properties": {
                "semmle.formatSpecifier": "sarif-latest"
            },
            "results": [
                {
                    "locations": [
                        {
                            "physicalLocation": {
                                "artifactLocation": {
                                    "index": 0,
                                    "uri": "no_header_guard.h",
                                    "uriBaseId": "%SRCROOT%"
                                }
                            }
                        }
                    ],
                    "message": {
                        "text": "This header file should contain a header guard to prevent multiple inclusion."
                    },
                    "partialFingerprints": {},
                    "ruleId": "cpp/missing-header-guard",
                    "ruleIndex": 0
                }
            ],
            "tool": {
                "driver": {
                    "name": "CodeQL command-line toolchain",
                    "organization": "GitHub",
                    "rules": [
                        {
                            "defaultConfiguration": {},
                            "fullDescription": {
                                "text": "Header files should contain header guards (#defines to prevent the file from being included twice). This prevents errors and inefficiencies caused by repeated inclusion."
                            },
                            "id": "cpp/missing-header-guard",
                            "name": "cpp/missing-header-guard",
                            "properties": {
                                "description": "Header files should contain header guards (#defines to prevent\n              the file from being included twice). This prevents errors and\n              inefficiencies caused by repeated inclusion.",
                                "id": "cpp/missing-header-guard",
                                "kind": "problem",
                                "name": "Missing header guard",
                                "precision": "high",
                                "problem.severity": "warning",
                                "tags": [
                                    "efficiency",
                                    "maintainability",
                                    "modularity",
                                    "external/jsf"
                                ]
                            },
                            "shortDescription": {
                                "text": "Missing header guard"
                            }
                        }
                    ],
                    "semanticVersion": "2.0.0+202002031536"
                }
            }
        }
    ],
    "version": "2.1.0"
}
