Merge pull request #1148 from JoelYYoung/nullptr2

Nullptr2
SVF-tools · Jul 9, 2023 · 3f20e97 · 3f20e97
2 parents 6e59fd2 + cd806ee
commit 3f20e97
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 1 deletion.
diff --git 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
@@ -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