Newly introduced findings

List of Findings

Error: GCC_ANALYZER_WARNING (CWE-476): [#def1]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:328:10: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Notify’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:323:8: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:327:14: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:327:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:328:10: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:328:10: danger: dereference of NULL ‘Notify’
#  326|     {

#  327|       Notify = CR (Link, HII_DATABASE_NOTIFY, DatabaseNotifyEntry, HII_DATABASE_NOTIFY_SIGNATURE);

#  328|->     if ((Notify->NotifyType == NotifyType) && (Notify->PackageType == PackageType)) {

#  329|         //

#  330|         // Check in case PackageGuid is not NULL when Package is GUID package


Error: GCC_ANALYZER_WARNING (CWE-476): [#def2]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:463:30: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘GuidPackage’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:461:52: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:462:19: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:462:19: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:463:30: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:463:30: danger: dereference of NULL ‘GuidPackage’
#  461|     for (Link = PackageList->GuidPkgHdr.ForwardLink; Link != &PackageList->GuidPkgHdr; Link = Link->ForwardLink) {

#  462|       GuidPackage = CR (Link, HII_GUID_PACKAGE_INSTANCE, GuidEntry, HII_GUID_PACKAGE_SIGNATURE);

#  463|->     CopyMem (&PackageHeader, GuidPackage->GuidPkg, sizeof (EFI_HII_PACKAGE_HEADER));

#  464|       PackageLength += PackageHeader.Length;

#  465|       if (PackageLength + *ResultSize + UsedSize <= BufferSize) {


Error: GCC_ANALYZER_WARNING (CWE-476): [#def3]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1330:17: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘FormPackage’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1308:52: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1309:22: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1309:22: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1310:22: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1311:8: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1330:17: danger: dereference of NULL ‘FormPackage’
# 1328|         CopyMem (

# 1329|           Buffer,

# 1330|->         (VOID *)FormPackage->IfrData,

# 1331|           FormPackage->FormPkgHdr.Length - sizeof (EFI_HII_PACKAGE_HEADER)

# 1332|           );


Error: GCC_ANALYZER_WARNING (CWE-476): [#def4]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1467:39: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘StringPackage’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1460:6: branch_false: following ‘false’ branch (when ‘Language’ is non-NULL)...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1464:91: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1465:54: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1466:21: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1466:21: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1467:39: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1467:39: danger: dereference of NULL ‘StringPackage’
# 1465|     for (Link = PackageList->StringPkgHdr.ForwardLink; Link != &PackageList->StringPkgHdr; Link = Link->ForwardLink) {

# 1466|       StringPackage = CR (Link, HII_STRING_PACKAGE_INSTANCE, StringEntry, HII_STRING_PACKAGE_SIGNATURE);

# 1467|->     if (HiiCompareLanguage (Language, StringPackage->StringPkgHdr->Language)) {

# 1468|         FreePool (Language);

# 1469|         return EFI_UNSUPPORTED;


Error: GCC_ANALYZER_WARNING (CWE-476): [#def5]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1678:22: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘StringPackage’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1676:54: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1677:22: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1677:22: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1678:22: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1678:22: danger: dereference of NULL ‘StringPackage’
# 1676|     for (Link = PackageList->StringPkgHdr.ForwardLink; Link != &PackageList->StringPkgHdr; Link = Link->ForwardLink) {

# 1677|       StringPackage  = CR (Link, HII_STRING_PACKAGE_INSTANCE, StringEntry, HII_STRING_PACKAGE_SIGNATURE);

# 1678|->     PackageLength += StringPackage->StringPkgHdr->Header.Length;

# 1679|       if (PackageLength + *ResultSize + UsedSize <= BufferSize) {

# 1680|         //


Error: GCC_ANALYZER_WARNING (CWE-476): [#def6]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1989:22: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Package’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1987:52: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1988:22: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1988:22: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1989:22: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:1989:22: danger: dereference of NULL ‘Package’
# 1987|     for (Link = PackageList->FontPkgHdr.ForwardLink; Link != &PackageList->FontPkgHdr; Link = Link->ForwardLink) {

# 1988|       Package        = CR (Link, HII_FONT_PACKAGE_INSTANCE, FontEntry, HII_FONT_PACKAGE_SIGNATURE);

# 1989|->     PackageLength += Package->FontPkgHdr->Header.Length;

# 1990|       if (PackageLength + *ResultSize + UsedSize <= BufferSize) {

# 1991|         //


Error: GCC_ANALYZER_WARNING (CWE-476): [#def7]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:2517:22: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Package’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:2515:58: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:2516:22: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:2516:22: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:2517:22: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:2517:22: danger: dereference of NULL ‘Package’
# 2515|     for (Link = PackageList->SimpleFontPkgHdr.ForwardLink; Link != &PackageList->SimpleFontPkgHdr; Link = Link->ForwardLink) {

# 2516|       Package        = CR (Link, HII_SIMPLE_FONT_PACKAGE_INSTANCE, SimpleFontEntry, HII_S_FONT_PACKAGE_SIGNATURE);

# 2517|->     PackageLength += Package->SimpleFontPkgHdr->Header.Length;

# 2518|       if (PackageLength + *ResultSize + UsedSize <= BufferSize) {

# 2519|         //


Error: GCC_ANALYZER_WARNING (CWE-476): [#def8]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:2962:30: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Package’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:2960:59: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:2961:15: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:2961:15: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:2962:30: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:2962:30: danger: dereference of NULL ‘Package’
# 2960|     for (Link = PackageList->KeyboardLayoutHdr.ForwardLink; Link != &PackageList->KeyboardLayoutHdr; Link = Link->ForwardLink) {

# 2961|       Package = CR (Link, HII_KEYBOARD_LAYOUT_PACKAGE_INSTANCE, KeyboardEntry, HII_KB_LAYOUT_PACKAGE_SIGNATURE);

# 2962|->     CopyMem (&PackageHeader, Package->KeyboardPkg, sizeof (EFI_HII_PACKAGE_HEADER));

# 2963|       PackageLength += PackageHeader.Length;

# 2964|       if (PackageLength + *ResultSize + UsedSize <= BufferSize) {


Error: GCC_ANALYZER_WARNING (CWE-476): [#def9]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:3334:3: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Private’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4219:1: enter_function: entry to ‘HiiExportPackageLists’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4232:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4236:8: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4244:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4245:3: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4247:50: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4248:12: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4249:8: branch_true: following ‘true’ branch (when ‘Handle’ is NULL)...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4253:16: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4253:16: call_function: calling ‘ExportPackageList’ from ‘HiiExportPackageLists’
# 3332|   

# 3333|     ASSERT (Private != NULL && PackageList != NULL && UsedSize != NULL);

# 3334|->   ASSERT (Private->Signature == HII_DATABASE_PRIVATE_DATA_SIGNATURE);

# 3335|     ASSERT (IsHiiHandleValid (Handle));

# 3336|   


Error: GCC_ANALYZER_WARNING (CWE-476): [#def10]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4253:16: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Node’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4232:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4236:8: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4244:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4245:3: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4247:50: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4248:12: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4248:12: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4249:8: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4249:8: branch_true: following ‘true’ branch (when ‘Handle’ is NULL)...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4253:16: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4253:16: danger: dereference of NULL ‘Node’
# 4251|         // Export all package lists in current hii database.

# 4252|         //

# 4253|->       Status = ExportPackageList (

# 4254|                    Private,

# 4255|                    Node->Handle,


Error: GCC_ANALYZER_WARNING (CWE-476): [#def11]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4262:37: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Node’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4219:1: enter_function: entry to ‘HiiExportPackageLists’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4232:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4236:8: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4240:29: call_function: calling ‘IsHiiHandleValid’ from ‘HiiExportPackageLists’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4240:29: return_function: returning to ‘HiiExportPackageLists’ from ‘IsHiiHandleValid’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4240:7: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4244:14: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4244:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4245:3: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4247:50: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4248:12: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4248:12: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4249:8: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4249:8: branch_false: following ‘false’ branch (when ‘Handle’ is non-NULL)...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4262:37: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4262:37: danger: dereference of NULL ‘Node’
# 4260|                    );

# 4261|         ASSERT_EFI_ERROR (Status);

# 4262|->     } else if ((Handle != NULL) && (Node->Handle == Handle)) {

# 4263|         Status = ExportPackageList (

# 4264|                    Private,


Error: GCC_ANALYZER_WARNING (CWE-476): [#def12]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4440:9: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Notify’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4416:6: branch_false: following ‘false’ branch (when ‘This’ is non-NULL)...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4420:6: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4420:6: branch_false: following ‘false’ branch (when ‘NotificationHandle’ is non-NULL)...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4424:15: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4432:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4436:13: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4436:13: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4438:8: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4438:56: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4439:14: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4439:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4440:9: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4440:9: danger: dereference of NULL ‘Notify’
# 4438|     for (Link = Private->DatabaseNotifyList.ForwardLink; Link != &Private->DatabaseNotifyList; Link = Link->ForwardLink) {

# 4439|       Notify = CR (Link, HII_DATABASE_NOTIFY, DatabaseNotifyEntry, HII_DATABASE_NOTIFY_SIGNATURE);

# 4440|->     if (Notify->NotifyHandle == NotificationHandle) {

# 4441|         //

# 4442|         // Remove the matching notification node


Error: GCC_ANALYZER_WARNING (CWE-476): [#def13]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4521:5: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Node’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4505:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4509:8: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4513:16: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4519:8: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4519:50: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4520:19: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4520:19: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4521:5: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4521:5: danger: dereference of NULL ‘Node’
# 4519|     for (Link = Private->DatabaseList.ForwardLink; Link != &Private->DatabaseList; Link = Link->ForwardLink) {

# 4520|       Node        = CR (Link, HII_DATABASE_RECORD, DatabaseEntry, HII_DATABASE_RECORD_SIGNATURE);

# 4521|->     PackageList = Node->PackageList;

# 4522|       for (Link1 = PackageList->KeyboardLayoutHdr.ForwardLink;

# 4523|            Link1 != &PackageList->KeyboardLayoutHdr;


Error: GCC_ANALYZER_WARNING (CWE-476): [#def14]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4536:25: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Package’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4505:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4509:8: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4513:16: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4519:8: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4519:50: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4520:19: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4523:10: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4530:17: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4530:17: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4536:25: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4536:25: danger: dereference of NULL ‘Package’
# 4534|                     HII_KB_LAYOUT_PACKAGE_SIGNATURE

# 4535|                     );

# 4536|->       Layout = (UINT8 *)Package->KeyboardPkg + sizeof (EFI_HII_PACKAGE_HEADER) + sizeof (UINT16);

# 4537|         CopyMem (

# 4538|           &LayoutCount,


Error: GCC_ANALYZER_WARNING (CWE-476): [#def15]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4625:9: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Private’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4612:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4616:8: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4620:13: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4624:6: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4624:6: branch_true: following ‘true’ branch (when ‘KeyGuid’ is NULL)...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4625:9: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4625:9: danger: dereference of NULL ‘Private’
# 4623|     //

# 4624|     if (KeyGuid == NULL) {

# 4625|->     if (Private->CurrentLayout == NULL) {

# 4626|         return EFI_NOT_FOUND;

# 4627|       }


Error: GCC_ANALYZER_WARNING (CWE-476): [#def16]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4641:5: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Node’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4612:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4616:8: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4620:13: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4624:6: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4624:6: branch_false: following ‘false’ branch (when ‘KeyGuid’ is non-NULL)...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4639:8: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4639:50: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4640:19: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4640:19: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4641:5: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4641:5: danger: dereference of NULL ‘Node’
# 4639|     for (Link = Private->DatabaseList.ForwardLink; Link != &Private->DatabaseList; Link = Link->ForwardLink) {

# 4640|       Node        = CR (Link, HII_DATABASE_RECORD, DatabaseEntry, HII_DATABASE_RECORD_SIGNATURE);

# 4641|->     PackageList = (HII_DATABASE_PACKAGE_LIST_INSTANCE *)(Node->PackageList);

# 4642|       for (Link1 = PackageList->KeyboardLayoutHdr.ForwardLink;

# 4643|            Link1 != &PackageList->KeyboardLayoutHdr;


Error: GCC_ANALYZER_WARNING (CWE-476): [#def17]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4654:25: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Package’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4612:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4616:8: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4620:13: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4624:6: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4624:6: branch_false: following ‘false’ branch (when ‘KeyGuid’ is non-NULL)...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4639:8: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4639:50: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4640:19: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4643:10: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4647:17: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4647:17: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4654:25: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4654:25: danger: dereference of NULL ‘Package’
# 4652|                     );

# 4653|   

# 4654|->       Layout = (UINT8 *)Package->KeyboardPkg +

# 4655|                  sizeof (EFI_HII_PACKAGE_HEADER) + sizeof (UINT16);

# 4656|         CopyMem (&LayoutCount, Layout - sizeof (UINT16), sizeof (UINT16));


Error: GCC_ANALYZER_WARNING (CWE-476): [#def18]
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4797:9: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Node’
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4785:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4789:8: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4789:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4793:13: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4793:13: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4795:8: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4795:50: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4796:12: branch_true: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4796:12: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4797:9: branch_false: ...to here
edk2-fbe0805b2091/MdeModulePkg/Universal/HiiDatabaseDxe/Database.c:4797:9: danger: dereference of NULL ‘Node’
# 4795|     for (Link = Private->DatabaseList.ForwardLink; Link != &Private->DatabaseList; Link = Link->ForwardLink) {

# 4796|       Node = CR (Link, HII_DATABASE_RECORD, DatabaseEntry, HII_DATABASE_RECORD_SIGNATURE);

# 4797|->     if (Node->Handle == PackageListHandle) {

# 4798|         *DriverHandle = Node->DriverHandle;

# 4799|         return EFI_SUCCESS;


Error: GCC_ANALYZER_WARNING (CWE-476): [#def19]
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:91:3: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Service’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:514:1: enter_function: entry to ‘Dhcp6DriverBindingStop’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:533:6: branch_false: following ‘false’ branch (when ‘NicHandle’ is non-NULL)...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:537:15: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:546:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:550:13: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:550:13: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:551:21: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:567:6: branch_true: following ‘true’ branch (when ‘NumberOfChildren == 0’)...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:567:35: branch_true: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:571:7: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:575:17: branch_true: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:580:8: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:584:5: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:584:5: call_function: calling ‘Dhcp6DestroyService’ from ‘Dhcp6DriverBindingStop’
#   89|     // All children instances should have been already destroyed here.

#   90|     //

#   91|->   ASSERT (Service->NumOfChild == 0);

#   92|   

#   93|     if (Service->ClientId != NULL) {


Error: GCC_ANALYZER_WARNING (CWE-476): [#def20]
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:93:7: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Service’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:514:1: enter_function: entry to ‘Dhcp6DriverBindingStop’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:533:6: branch_false: following ‘false’ branch (when ‘NicHandle’ is non-NULL)...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:537:15: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:546:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:550:13: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:550:13: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:551:21: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:567:6: branch_true: following ‘true’ branch (when ‘NumberOfChildren == 0’)...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:567:35: branch_true: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:571:7: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:575:17: branch_true: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:580:8: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:584:5: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:584:5: call_function: calling ‘Dhcp6DestroyService’ from ‘Dhcp6DriverBindingStop’
#   91|     ASSERT (Service->NumOfChild == 0);

#   92|   

#   93|->   if (Service->ClientId != NULL) {

#   94|       FreePool (Service->ClientId);

#   95|     }


Error: GCC_ANALYZER_WARNING (CWE-476): [#def21]
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:353:10: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Instance’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:350:20: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:353:10: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:353:10: danger: dereference of NULL ‘Instance’
#  351|     ServiceBinding = (EFI_SERVICE_BINDING_PROTOCOL *)Context;

#  352|   

#  353|->   return ServiceBinding->DestroyChild (ServiceBinding, Instance->Handle);

#  354|   }

#  355|   


Error: GCC_ANALYZER_WARNING (CWE-476): [#def22]
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:669:19: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Service’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:611:1: enter_function: entry to ‘Dhcp6ServiceBindingCreateChild’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:626:13: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:628:12: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:628:12: call_function: calling ‘Dhcp6CreateInstance’ from ‘Dhcp6ServiceBindingCreateChild’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:628:12: return_function: returning to ‘Dhcp6ServiceBindingCreateChild’ from ‘Dhcp6CreateInstance’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:630:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:634:3: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:645:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:652:15: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:659:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:663:22: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:669:19: danger: dereference of NULL ‘Service’
#  667|     //

#  668|     Status = gBS->OpenProtocol (

#  669|->                   Service->UdpIo->UdpHandle,

#  670|                     &gEfiUdp6ProtocolGuid,

#  671|                     (VOID **)&Udp6,


Error: GCC_ANALYZER_WARNING (CWE-476): [#def23]
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:758:7: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Instance’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:735:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:742:15: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:751:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:755:14: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:755:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:756:14: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:756:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:758:7: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:758:7: danger: dereference of NULL ‘Instance’
#  756|     Service  = DHCP6_SERVICE_FROM_THIS (This);

#  757|   

#  758|->   if (Instance->Service != Service) {

#  759|       return EFI_INVALID_PARAMETER;

#  760|     }


Error: GCC_ANALYZER_WARNING (CWE-476): [#def24]
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:771:19: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Service’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:735:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:742:15: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:751:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:755:14: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:755:14: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:755:3: branch_true: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:756:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:758:7: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:758:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:762:7: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:762:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:766:15: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Driver.c:771:19: danger: dereference of NULL ‘Service’
#  769|   

#  770|     Status = gBS->CloseProtocol (

#  771|->                   Service->UdpIo->UdpHandle,

#  772|                     &gEfiUdp6ProtocolGuid,

#  773|                     gDhcp6DriverBinding.DriverBindingHandle,


Error: GCC_ANALYZER_WARNING (CWE-476): [#def25]
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:80:3: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Instance’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:75:6: branch_false: following ‘false’ branch (when ‘This’ is non-NULL)...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:79:14: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:79:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:80:3: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:80:3: danger: dereference of NULL ‘Instance’
#   78|   

#   79|     Instance = DHCP6_INSTANCE_FROM_THIS (This);

#   80|->   Service  = Instance->Service;

#   81|   

#   82|     //


Error: GCC_ANALYZER_WARNING (CWE-476): [#def26]
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:188:3: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Instance’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:183:6: branch_false: following ‘false’ branch (when ‘This’ is non-NULL)...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:187:14: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:187:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:188:3: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:188:3: danger: dereference of NULL ‘Instance’
#  186|   

#  187|     Instance = DHCP6_INSTANCE_FROM_THIS (This);

#  188|->   Service  = Instance->Service;

#  189|     Udp6     = Service->UdpIo->Protocol.Udp6;

#  190|     Status   = EFI_SUCCESS;


Error: GCC_ANALYZER_WARNING (CWE-476): [#def27]
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:282:3: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Instance’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:281:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:282:3: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:282:3: danger: dereference of NULL ‘Instance’
#  280|   

#  281|     Instance = DHCP6_INSTANCE_FROM_THIS (This);

#  282|->   Service  = Instance->Service;

#  283|   

#  284|     if ((Instance->Config == NULL) && (Dhcp6ConfigData != NULL)) {


Error: GCC_ANALYZER_WARNING (CWE-476): [#def28]
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:429:3: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Instance’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:424:6: branch_false: following ‘false’ branch (when ‘This’ is non-NULL)...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:428:14: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:428:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:429:3: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:429:3: danger: dereference of NULL ‘Instance’
#  427|   

#  428|     Instance = DHCP6_INSTANCE_FROM_THIS (This);

#  429|->   Service  = Instance->Service;

#  430|   

#  431|     //


Error: GCC_ANALYZER_WARNING (CWE-476): [#def29]
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:643:3: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Instance’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:630:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:634:6: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:642:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:643:3: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:643:3: danger: dereference of NULL ‘Instance’
#  641|   

#  642|     Instance = DHCP6_INSTANCE_FROM_THIS (This);

#  643|->   Service  = Instance->Service;

#  644|   

#  645|     Status = Dhcp6StartInfoRequest (


Error: GCC_ANALYZER_WARNING (CWE-476): [#def30]
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:780:3: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Instance’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:775:6: branch_false: following ‘false’ branch (when ‘This’ is non-NULL)...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:779:14: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:779:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:780:3: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:780:3: danger: dereference of NULL ‘Instance’
#  778|   

#  779|     Instance = DHCP6_INSTANCE_FROM_THIS (This);

#  780|->   Service  = Instance->Service;

#  781|   

#  782|     //


Error: GCC_ANALYZER_WARNING (CWE-476): [#def31]
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:903:3: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Instance’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:902:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:903:3: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:903:3: danger: dereference of NULL ‘Instance’
#  901|   

#  902|     Instance = DHCP6_INSTANCE_FROM_THIS (This);

#  903|->   Service  = Instance->Service;

#  904|   

#  905|     //


Error: GCC_ANALYZER_WARNING (CWE-476): [#def32]
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:1044:3: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Instance’
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:1043:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:1044:3: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Dhcp6Dxe/Dhcp6Impl.c:1044:3: danger: dereference of NULL ‘Instance’
# 1042|   

# 1043|     Instance = DHCP6_INSTANCE_FROM_THIS (This);

# 1044|->   Service  = Instance->Service;

# 1045|   

# 1046|     //


Error: GCC_ANALYZER_WARNING (CWE-476): [#def33]
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:43:3: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Service’
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:447:1: enter_function: entry to ‘Mtftp6DriverBindingStop’
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:466:6: branch_false: following ‘false’ branch (when ‘NicHandle’ is non-NULL)...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:470:15: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:479:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:483:13: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:483:13: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:485:21: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:501:6: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:511:5: call_function: calling ‘Mtftp6DestroyService’ from ‘Mtftp6DriverBindingStop’
#   41|     // Make sure all children instances have been already destroyed.

#   42|     //

#   43|->   ASSERT (Service->ChildrenNum == 0);

#   44|   

#   45|     if (Service->DummyUdpIo != NULL) {


Error: GCC_ANALYZER_WARNING (CWE-476): [#def34]
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:45:7: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Service’
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:447:1: enter_function: entry to ‘Mtftp6DriverBindingStop’
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:466:6: branch_false: following ‘false’ branch (when ‘NicHandle’ is non-NULL)...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:470:15: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:479:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:483:13: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:483:13: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:485:21: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:501:6: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:511:5: call_function: calling ‘Mtftp6DestroyService’ from ‘Mtftp6DriverBindingStop’
#   43|     ASSERT (Service->ChildrenNum == 0);

#   44|   

#   45|->   if (Service->DummyUdpIo != NULL) {

#   46|       UdpIoFreeIo (Service->DummyUdpIo);

#   47|     }


Error: GCC_ANALYZER_WARNING (CWE-476): [#def35]
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:258:8: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Instance’
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:253:23: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:254:3: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:258:8: danger: dereference of NULL ‘Instance’
#  256|     ChildHandleBuffer = ((MTFTP6_DESTROY_CHILD_IN_HANDLE_BUF_CONTEXT *)Context)->ChildHandleBuffer;

#  257|   

#  258|->   if (!NetIsInHandleBuffer (Instance->Handle, NumberOfChildren, ChildHandleBuffer)) {

#  259|       return EFI_SUCCESS;

#  260|     }


Error: GCC_ANALYZER_WARNING (CWE-476): [#def36]
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:582:19: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Service’
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:537:1: enter_function: entry to ‘Mtftp6ServiceBindingCreateChild’
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:552:13: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:554:12: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:554:12: call_function: calling ‘Mtftp6CreateInstance’ from ‘Mtftp6ServiceBindingCreateChild’
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:554:12: return_function: returning to ‘Mtftp6ServiceBindingCreateChild’ from ‘Mtftp6CreateInstance’
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:556:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:560:3: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:572:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:576:22: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:582:19: danger: dereference of NULL ‘Service’
#  580|     //

#  581|     Status = gBS->OpenProtocol (

#  582|->                   Service->DummyUdpIo->UdpHandle,

#  583|                     &gEfiUdp6ProtocolGuid,

#  584|                     (VOID **)&Udp6,


Error: GCC_ANALYZER_WARNING (CWE-476): [#def37]
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:670:7: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Instance’
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:647:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:654:15: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:663:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:667:14: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:667:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:668:14: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:668:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:670:7: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:670:7: danger: dereference of NULL ‘Instance’
#  668|     Service  = MTFTP6_SERVICE_FROM_THIS (This);

#  669|   

#  670|->   if (Instance->Service != Service) {

#  671|       return EFI_INVALID_PARAMETER;

#  672|     }


Error: GCC_ANALYZER_WARNING (CWE-476): [#def38]
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:686:10: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Service’
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:647:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:654:15: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:663:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:667:14: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:667:14: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:667:3: branch_true: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:668:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:670:7: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:670:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:677:7: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:677:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:681:15: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Driver.c:686:10: danger: dereference of NULL ‘Service’
#  684|   

#  685|     gBS->CloseProtocol (

#  686|->          Service->DummyUdpIo->UdpHandle,

#  687|            &gEfiUdp6ProtocolGuid,

#  688|            gMtftp6DriverBinding.DriverBindingHandle,


Error: GCC_ANALYZER_WARNING (CWE-476): [#def39]
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:65:7: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Instance’
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:55:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:59:17: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:60:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:65:7: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:65:7: danger: dereference of NULL ‘Instance’
#   63|     // Copy back the configure data if the instance already configured.

#   64|     //

#   65|->   if (Instance->Config != NULL) {

#   66|       CopyMem (

#   67|         &ModeData->ConfigData,


Error: GCC_ANALYZER_WARNING (CWE-476): [#def40]
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:151:3: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Instance’
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:141:6: branch_false: following ‘false’ branch (when ‘This’ is non-NULL)...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:145:6: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:150:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:151:3: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:151:3: danger: dereference of NULL ‘Instance’
#  149|     OldTpl   = gBS->RaiseTPL (TPL_CALLBACK);

#  150|     Instance = MTFTP6_INSTANCE_FROM_THIS (This);

#  151|->   Service  = Instance->Service;

#  152|     Status   = EFI_SUCCESS;

#  153|   


Error: GCC_ANALYZER_WARNING (CWE-476): [#def41]
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:631:7: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Instance’
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:622:6: branch_false: following ‘false’ branch (when ‘This’ is non-NULL)...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:626:14: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:626:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:631:7: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Impl.c:631:7: danger: dereference of NULL ‘Instance’
#  629|     // Check the instance whether configured or in destroy.

#  630|     //

#  631|->   if (Instance->Config == NULL) {

#  632|       return EFI_NOT_STARTED;

#  633|     }


Error: GCC_ANALYZER_WARNING (CWE-476): [#def42]
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Rrq.c:764:12: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Packet’
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Rrq.c:699:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Rrq.c:704:3: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Rrq.c:706:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Rrq.c:715:9: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Rrq.c:750:6: branch_false: following ‘false’ branch (when ‘TotalNum <= 1’)...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Rrq.c:760:35: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Rrq.c:761:5: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Rrq.c:764:12: danger: dereference of NULL ‘Packet’
#  762|     }

#  763|   

#  764|->   Opcode = NTOHS (Packet->OpCode);

#  765|   

#  766|     //


Error: GCC_ANALYZER_WARNING (CWE-476): [#def43]
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Support.c:1023:7: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Instance’
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Support.c:993:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Support.c:995:8: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Support.c:993:7: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Support.c:996:9: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Support.c:1021:14: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Support.c:1023:7: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Support.c:1023:7: danger: dereference of NULL ‘Instance’
# 1021|     Instance = MTFTP6_INSTANCE_FROM_THIS (This);

# 1022|   

# 1023|->   if (Instance->Config == NULL) {

# 1024|       return EFI_NOT_STARTED;

# 1025|     }


Error: GCC_ANALYZER_WARNING (CWE-476): [#def44]
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Wrq.c:442:12: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘Packet’
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Wrq.c:399:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Wrq.c:404:3: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Wrq.c:406:6: branch_false: following ‘false’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Wrq.c:414:7: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Wrq.c:428:6: branch_false: following ‘false’ branch (when ‘TotalNum <= 1’)...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Wrq.c:438:35: branch_false: ...to here
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Wrq.c:439:5: branch_true: following ‘true’ branch...
edk2-fbe0805b2091/NetworkPkg/Mtftp6Dxe/Mtftp6Wrq.c:442:12: danger: dereference of NULL ‘Packet’
#  440|     }

#  441|   

#  442|->   Opcode = NTOHS (Packet->OpCode);

#  443|   

#  444|     //
Scan Properties

analyzer-version-clippy	1.86.0
analyzer-version-cppcheck	2.17.1
analyzer-version-gcc	15.0.1
analyzer-version-gcc-analyzer	15.0.1
analyzer-version-shellcheck	0.10.0
analyzer-version-unicontrol	0.0.2
diffbase-analyzer-version-clippy	1.86.0
diffbase-analyzer-version-cppcheck	2.17.1
diffbase-analyzer-version-gcc	15.0.1
diffbase-analyzer-version-gcc-analyzer	15.0.1
diffbase-analyzer-version-shellcheck	0.10.0
diffbase-analyzer-version-unicontrol	0.0.2
diffbase-enabled-plugins	clippy, cppcheck, gcc, shellcheck, unicontrol
diffbase-exit-code	0
diffbase-host	ip-172-16-1-212.us-west-2.compute.internal
diffbase-known-false-positives	/usr/share/csmock/known-false-positives.js
diffbase-known-false-positives-rpm	known-false-positives-0.0.0.20250425.124705.g1c7c448.main-1.el9.noarch
diffbase-mock-config	fedora-rawhide-x86_64
diffbase-project-name	edk2-20250221-8.fc42
diffbase-store-results-to	/tmp/tmprjqt97iy/edk2-20250221-8.fc42.tar.xz
diffbase-time-created	2025-04-25 12:23:41
diffbase-time-finished	2025-04-25 13:10:22
diffbase-tool	csmock
diffbase-tool-args	'/usr/bin/csmock' '-r' 'fedora-rawhide-x86_64' '-t' 'unicontrol,cppcheck,gcc,clippy,shellcheck' '-o' '/tmp/tmprjqt97iy/edk2-20250221-8.fc42.tar.xz' '--gcc-analyze' '--unicontrol-notests' '--unicontrol-bidi-only' '--install' 'pam' '--gcc-analyzer-bin=/usr/bin/gcc' '/tmp/tmprjqt97iy/edk2-20250221-8.fc42.src.rpm'
diffbase-tool-version	csmock-3.8.1.20250422.172604.g26bc3d6-1.el9
enabled-plugins	clippy, cppcheck, gcc, shellcheck, unicontrol
exit-code	0
host	ip-172-16-1-212.us-west-2.compute.internal
known-false-positives	/usr/share/csmock/known-false-positives.js
known-false-positives-rpm	known-false-positives-0.0.0.20250425.124705.g1c7c448.main-1.el9.noarch
mock-config	fedora-rawhide-x86_64
project-name	edk2-20250221-8.fc43
store-results-to	/tmp/tmpwnlnrrod/edk2-20250221-8.fc43.tar.xz
time-created	2025-04-25 13:13:23
time-finished	2025-04-25 13:59:49
title	Newly introduced findings
tool	csmock
tool-args	'/usr/bin/csmock' '-r' 'fedora-rawhide-x86_64' '-t' 'unicontrol,cppcheck,gcc,clippy,shellcheck' '-o' '/tmp/tmpwnlnrrod/edk2-20250221-8.fc43.tar.xz' '--gcc-analyze' '--unicontrol-notests' '--unicontrol-bidi-only' '--install' 'pam' '--gcc-analyzer-bin=/usr/bin/gcc' '/tmp/tmpwnlnrrod/edk2-20250221-8.fc43.src.rpm'
tool-version	csmock-3.8.1.20250422.172604.g26bc3d6-1.el9