add 2 bug types to SVFBugReport

SVF-tools · Jul 9, 2023 · cd806ee · cd806ee
1 parent 5a8e452
commit cd806ee
Showing 1 changed file with 12 additions and 12 deletions.
diff --git a/svf/include/Util/SVFBugReport.h b/svf/include/Util/SVFBugReport.h
@@ -338,18 +338,6 @@ 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 && "saber does NOT have this bug type!");
@@ -385,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!");