diff --git a/svf/include/Util/SVFBugReport.h b/svf/include/Util/SVFBugReport.h
index 1a682100d..48037d8f3 100644
--- a/svf/include/Util/SVFBugReport.h
+++ b/svf/include/Util/SVFBugReport.h
@@ -373,6 +373,18 @@ class SVFBugReport
             bugSet.insert(newBug);
             break;
         }
+        case GenericBug::FULLNULLPTRDEREFERENCE:
+        {
+            newBug = new FullNullPtrDereferenceBug(eventStack);
+            bugSet.insert(newBug);
+            break;
+        }
+        case GenericBug::PARTIALNULLPTRDEREFERENCE:
+        {
+            newBug = new PartialNullPtrDereferenceBug(eventStack);
+            bugSet.insert(newBug);
+            break;
+        }
         default:
         {
             assert(false && "Abstract Execution does NOT hava his bug type!");
diff --git a/svf/lib/Util/SVFBugReport.cpp b/svf/lib/Util/SVFBugReport.cpp
index 9909d6a54..2c710d5be 100644
--- a/svf/lib/Util/SVFBugReport.cpp
+++ b/svf/lib/Util/SVFBugReport.cpp
@@ -43,7 +43,9 @@ const std::map<GenericBug::BugType, std::string> GenericBug::BugType2Str =
     {GenericBug::PARTIALLEAK, "Partial Leak"},
     {GenericBug::FILENEVERCLOSE, "File Never Close"},
     {GenericBug::FILEPARTIALCLOSE, "File Partial Close"},
-    {GenericBug::DOUBLEFREE, "Double Free"}
+    {GenericBug::DOUBLEFREE, "Double Free"},
+    {GenericBug::FULLNULLPTRDEREFERENCE, "Full Null Ptr Dereference"},
+    {GenericBug::PARTIALNULLPTRDEREFERENCE, "Partial Null Ptr Dereference"}
 };
 
 const std::string GenericBug::getLoc() const