basic_DriverPlatform-V3.1/Logger/x64/Release/BuffManager.nativecodeanalysis.sarif

{
  "version": "2.1.0",
  "$schema": "https://schemastore.azurewebsites.net/schemas/json/sarif-2.1.0-rtm.5.json",
  "runs": [
    {
      "results": [
        {
          "ruleId": "C6387",
          "message": {
            "text": "“m_Lock”可能是“0”: 这不符合函数“WaitForSingleObject”的规范。"
          },
          "locations": [
            {
              "physicalLocation": {
                "artifactLocation": {
                  "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                },
                "region": {
                  "startLine": 21,
                  "startColumn": 2,
                  "endLine": 21,
                  "endColumn": 30
                }
              },
              "logicalLocations": [
                {
                  "decoratedName": "??0BuffManager@@QEAA@XZ",
                  "kind": "function"
                }
              ]
            }
          ],
          "codeFlows": [
            {
              "threadFlows": [
                {
                  "locations": [
                    {
                      "location": {
                        "physicalLocation": {
                          "artifactLocation": {
                            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                          },
                          "region": {
                            "startLine": 17,
                            "startColumn": 1
                          }
                        }
                      },
                      "importance": "unimportant"
                    },
                    {
                      "location": {
                        "physicalLocation": {
                          "artifactLocation": {
                            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                          },
                          "region": {
                            "startLine": 18,
                            "startColumn": 12
                          }
                        }
                      },
                      "importance": "unimportant"
                    },
                    {
                      "location": {
                        "physicalLocation": {
                          "artifactLocation": {
                            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                          },
                          "region": {
                            "startLine": 20,
                            "startColumn": 9
                          }
                        }
                      },
                      "importance": "unimportant"
                    },
                    {
                      "location": {
                        "physicalLocation": {
                          "artifactLocation": {
                            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                          },
                          "region": {
                            "startLine": 21,
                            "startColumn": 21
                          }
                        },
                        "message": {
                          "text": "“m_Lock”不应为 NULL，因为这与“WaitForSingleObject”上的 SAL 批注不一致"
                        }
                      },
                      "kinds": [
                        "usage"
                      ],
                      "importance": "essential"
                    }
                  ]
                }
              ]
            }
          ]
        },
        {
          "ruleId": "C6387",
          "message": {
            "text": "“m_Lock”可能是“0”: 这不符合函数“ReleaseMutex”的规范。查看第 21 行以找出可能会发生此情况的前一位置"
          },
          "locations": [
            {
              "physicalLocation": {
                "artifactLocation": {
                  "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                },
                "region": {
                  "startLine": 33,
                  "startColumn": 2,
                  "endLine": 33,
                  "endColumn": 15
                }
              },
              "logicalLocations": [
                {
                  "decoratedName": "??0BuffManager@@QEAA@XZ",
                  "kind": "function"
                }
              ]
            }
          ],
          "codeFlows": [
            {
              "threadFlows": [
                {
                  "locations": [
                    {
                      "location": {
                        "physicalLocation": {
                          "artifactLocation": {
                            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                          },
                          "region": {
                            "startLine": 17,
                            "startColumn": 1
                          }
                        }
                      },
                      "importance": "unimportant"
                    },
                    {
                      "location": {
                        "physicalLocation": {
                          "artifactLocation": {
                            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                          },
                          "region": {
                            "startLine": 18,
                            "startColumn": 12
                          }
                        }
                      },
                      "importance": "unimportant"
                    },
                    {
                      "location": {
                        "physicalLocation": {
                          "artifactLocation": {
                            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                          },
                          "region": {
                            "startLine": 20,
                            "startColumn": 9
                          }
                        }
                      },
                      "importance": "unimportant"
                    },
                    {
                      "location": {
                        "physicalLocation": {
                          "artifactLocation": {
                            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                          },
                          "region": {
                            "startLine": 21,
                            "startColumn": 21
                          }
                        }
                      },
                      "importance": "unimportant"
                    },
                    {
                      "location": {
                        "physicalLocation": {
                          "artifactLocation": {
                            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                          },
                          "region": {
                            "startLine": 24,
                            "startColumn": 4
                          }
                        }
                      },
                      "importance": "unimportant"
                    },
                    {
                      "location": {
                        "physicalLocation": {
                          "artifactLocation": {
                            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                          },
                          "region": {
                            "startLine": 25,
                            "startColumn": 25
                          }
                        }
                      },
                      "importance": "unimportant"
                    },
                    {
                      "location": {
                        "physicalLocation": {
                          "artifactLocation": {
                            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                          },
                          "region": {
                            "startLine": 26,
                            "startColumn": 4
                          }
                        }
                      },
                      "importance": "unimportant"
                    },
                    {
                      "location": {
                        "physicalLocation": {
                          "artifactLocation": {
                            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                          },
                          "region": {
                            "startLine": 27,
                            "startColumn": 25
                          }
                        }
                      },
                      "importance": "unimportant"
                    },
                    {
                      "location": {
                        "physicalLocation": {
                          "artifactLocation": {
                            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                          },
                          "region": {
                            "startLine": 28,
                            "startColumn": 4
                          }
                        }
                      },
                      "importance": "unimportant"
                    },
                    {
                      "location": {
                        "physicalLocation": {
                          "artifactLocation": {
                            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                          },
                          "region": {
                            "startLine": 29,
                            "startColumn": 25
                          }
                        }
                      },
                      "importance": "unimportant"
                    },
                    {
                      "location": {
                        "physicalLocation": {
                          "artifactLocation": {
                            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                          },
                          "region": {
                            "startLine": 30,
                            "startColumn": 4
                          }
                        }
                      },
                      "importance": "unimportant"
                    },
                    {
                      "location": {
                        "physicalLocation": {
                          "artifactLocation": {
                            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                          },
                          "region": {
                            "startLine": 31,
                            "startColumn": 25
                          }
                        }
                      },
                      "importance": "unimportant"
                    },
                    {
                      "location": {
                        "physicalLocation": {
                          "artifactLocation": {
                            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
                          },
                          "region": {
                            "startLine": 33,
                            "startColumn": 14
                          }
                        },
                        "message": {
                          "text": "“m_Lock”不应为 NULL，因为这与“ReleaseMutex”上的 SAL 批注不一致"
                        }
                      },
                      "kinds": [
                        "usage"
                      ],
                      "importance": "essential"
                    }
                  ]
                }
              ]
            }
          ]
        }
      ],
      "tool": {
        "driver": {
          "name": "PREfast",
          "fullName": "PREfast Code Analysis",
          "version": "14.29.30147.0",
          "informationUri": "https://aka.ms/cpp/ca"
        }
      },
      "invocations": [
        {
          "commandLine": "\"d:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Professional\\VC\\Tools\\MSVC\\14.29.30133\\bin\\HostX86\\x64\\c1xx.dll\" -ACf{1F7B090C-16DB-4822-966A-A93D26ED4681} -ACpmspft140.dll -Alint -D_PREFAST_ -D_AST_FE_ -Analyze -zm0x00B2C1B0 -allChunksReserved -il C:\\Users\\ecom\\AppData\\Local\\Temp\\_CL_0eeb00f3ast -typedil -f BuffManager.cpp -Ze -D_MSC_EXTENSIONS -Zp16 -pc \\:/ -D_MSC_VER=1929 -D_MSC_FULL_VER=192930147 -D_MSC_BUILD=0 -D_M_AMD64=100 -ZILP448 -D_M_X64=100 -D_WIN64 -D_WIN32 -GR -D_CPPRTTI -nologo -W 3 -diagnostics:column -D_GUARDOVERFLOW_CRT_ALLOCATORS=1 -GF -Og -Ot -Oy -Oi -ltcg -DCODE_ANALYSIS -DWIN32 -DNDEBUG -D_WINDOWS -D_USRDLL -DLOGGER_EXPORTS -D_WINDLL -D_MBCS -EHs -D_CPPUNWIND -EHc -MD -D_MT -D_DLL -GS -D_M_FP_PRECISE -Zc:wchar_t -Zc:forScope -Yustdafx.h -Fpx64\\Release\\DiosLoggerX64.pch -Fox64\\Release\\BuffManager.obj -Fdx64\\Release\\vc142.pdb -external:W 3 -Gd -analyze:projectdirectory E:\\DIOS_V2\\DriverPlatform\\Logger -analyze:rulesetdirectory ;d:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Professional\\Team Tools\\Static Analysis Tools\\\\Rule Sets; -analyze:ruleset d:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Professional\\Team Tools\\Static Analysis Tools\\Rule Sets\\NativeRecommendedRules.ruleset -analyze:quiet -analyze:plugin d:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Professional\\VC\\Tools\\MSVC\\14.29.30133\\bin\\HostX86\\x86\\EspXEngine.dll -FC -errorreport:prompt -I E:\\deliver\\include -I d:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Professional\\VC\\Tools\\MSVC\\14.29.30133\\include -I d:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Professional\\VC\\Tools\\MSVC\\14.29.30133\\atlmfc\\include -I d:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Professional\\VC\\Auxiliary\\VS\\include -I D:\\Windows Kits\\10\\Include\\10.0.19041.0\\ucrt -I d:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Professional\\VC\\Auxiliary\\VS\\UnitTest\\include -I D:\\Windows Kits\\10\\Include\\10.0.19041.0\\um -I D:\\Windows Kits\\10\\Include\\10.0.19041.0\\shared -I D:\\Windows Kits\\10\\Include\\10.0.19041.0\\winrt -I D:\\Windows Kits\\10\\Include\\10.0.19041.0\\cppwinrt -I C:\\Program Files (x86)\\Windows Kits\\NETFXSDK\\4.8\\Include\\um -external:I d:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Professional\\VC\\Tools\\MSVC\\14.29.30133\\include -I d:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Professional\\VC\\Tools\\MSVC\\14.29.30133\\include -external:I d:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Professional\\VC\\Tools\\MSVC\\14.29.30133\\atlmfc\\include -I d:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Professional\\VC\\Tools\\MSVC\\14.29.30133\\atlmfc\\include -external:I d:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Professional\\VC\\Auxiliary\\VS\\include -I d:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Professional\\VC\\Auxiliary\\VS\\include -external:I D:\\Windows Kits\\10\\Include\\10.0.19041.0\\ucrt -I D:\\Windows Kits\\10\\Include\\10.0.19041.0\\ucrt -external:I d:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Professional\\VC\\Auxiliary\\VS\\UnitTest\\include -I d:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Professional\\VC\\Auxiliary\\VS\\UnitTest\\include -external:I D:\\Windows Kits\\10\\Include\\10.0.19041.0\\um -I D:\\Windows Kits\\10\\Include\\10.0.19041.0\\um -external:I D:\\Windows Kits\\10\\Include\\10.0.19041.0\\shared -I D:\\Windows Kits\\10\\Include\\10.0.19041.0\\shared -external:I D:\\Windows Kits\\10\\Include\\10.0.19041.0\\winrt -I D:\\Windows Kits\\10\\Include\\10.0.19041.0\\winrt -external:I D:\\Windows Kits\\10\\Include\\10.0.19041.0\\cppwinrt -I D:\\Windows Kits\\10\\Include\\10.0.19041.0\\cppwinrt -external:I C:\\Program Files (x86)\\Windows Kits\\NETFXSDK\\4.8\\Include\\um -I C:\\Program Files (x86)\\Windows Kits\\NETFXSDK\\4.8\\Include\\um",
          "executionSuccessful": true
        }
      ],
      "artifacts": [
        {
          "location": {
            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/Logger.h"
          },
          "roles": [
            "resultFile"
          ],
          "hashes": {
            "md5": "dcc81685c0ed303899127b874b73f16e"
          }
        },
        {
          "location": {
            "uri": "file:///e:/dios_v2/driverplatform/logger/logger.cpp"
          },
          "roles": [
            "analysisTarget"
          ],
          "hashes": {
            "md5": "ac49a8c248497dc838b2d802948c70ca"
          }
        },
        {
          "location": {
            "uri": "file:///e:/dios_v2/driverplatform/logger/stdafx.h"
          },
          "hashes": {
            "md5": "8567dc0b4ba10b18d73585059110b847"
          }
        },
        {
          "location": {
            "uri": "file:///e:/dios_v2/driverplatform/logger/targetver.h"
          },
          "hashes": {
            "md5": "20a1397a4f718d91f76e2681bef085b6"
          }
        },
        {
          "location": {
            "uri": "file:///e:/deliver/include/dioslock.h"
          },
          "hashes": {
            "md5": "19f422bc4ce2ba8a2fd99f23bd1218fc"
          }
        },
        {
          "location": {
            "uri": "file:///e:/deliver/include/resdataobject.h"
          },
          "hashes": {
            "md5": "5952703846c703003535fa667ae9a289"
          }
        },
        {
          "location": {
            "uri": "file:///e:/dios_v2/driverplatform/logger/buffmanager.h"
          },
          "hashes": {
            "md5": "9af61e1db5cd9cb8d948fcdb0b0c59d1"
          }
        },
        {
          "location": {
            "uri": "file:///e:/dios_v2/driverplatform/logger/filemanager.h"
          },
          "hashes": {
            "md5": "8ad90668242c04d5c6f380cf869aee51"
          }
        },
        {
          "location": {
            "uri": "file:///e:/dios_v2/driverplatform/logger/circlebuff.h"
          },
          "hashes": {
            "md5": "b6be7f81864caf6bf5b36f3106f32879"
          }
        },
        {
          "location": {
            "uri": "file:///e:/deliver/include/localconfig.h"
          },
          "hashes": {
            "md5": "cd69a6005777ef114acf2acc87ee04b4"
          }
        },
        {
          "location": {
            "uri": "file:///e:/deliver/include/definitions.h"
          },
          "hashes": {
            "md5": "07878c897e77929c249016920da5e648"
          }
        },
        {
          "location": {
            "uri": "file:///e:/deliver/include/common_api.h"
          },
          "hashes": {
            "md5": "b3fe9e47713eb74ad1294f29077c8a8a"
          }
        },
        {
          "location": {
            "uri": "file:///e:/dios_v2/driverplatform/logger/logfilesavethread.h"
          },
          "hashes": {
            "md5": "f711f6f9f023d33a58de14185358083f"
          }
        },
        {
          "location": {
            "uri": "file:///e:/deliver/include/diosthread.h"
          },
          "hashes": {
            "md5": "f79dd78165d55ab364f98e65e1049af4"
          }
        },
        {
          "location": {
            "uri": "file:///e:/deliver/include/cdi.h"
          },
          "hashes": {
            "md5": "9e80d05743150a2349832daa11b23472"
          }
        },
        {
          "location": {
            "uri": "file:///e:/deliver/include/diosfilehandle.h"
          },
          "hashes": {
            "md5": "d7b028d6b156db169d9b66dfa079c3e2"
          }
        },
        {
          "location": {
            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/LogFileSaveThread.cpp"
          },
          "roles": [
            "analysisTarget",
            "resultFile"
          ],
          "hashes": {
            "md5": "73c75bd16efbfabefa523b99094d303c"
          }
        },
        {
          "location": {
            "uri": "file:///e:/dios_v2/driverplatform/logger/filemanager.cpp"
          },
          "roles": [
            "analysisTarget"
          ],
          "hashes": {
            "md5": "ac2bb72ef3c8eb34adfec21d82920995"
          }
        },
        {
          "location": {
            "uri": "file:///e:/dios_v2/driverplatform/logger/circlebuff.cpp"
          },
          "roles": [
            "analysisTarget"
          ],
          "hashes": {
            "md5": "ab73dfa7a64aa7a9a883d2e68a7ed54e"
          }
        },
        {
          "location": {
            "uri": "file:///E:/DIOS_V2/DriverPlatform/Logger/BuffManager.cpp"
          },
          "roles": [
            "analysisTarget",
            "resultFile"
          ],
          "hashes": {
            "md5": "c6c100d152ea5c1005f2d1a0935778f9"
          }
        }
      ]
    }
  ]
}