fix a nullptr dereference when creating AndersenSCD singleton instance

SVF-tools · Aug 30, 2023 · a1cfc66 · a1cfc66
1 parent 9a348cf
commit a1cfc66
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/svf/include/WPA/AndersenPWC.h b/svf/include/WPA/AndersenPWC.h
@@ -62,7 +62,7 @@ class AndersenSCD : public Andersen
     {
         if (scdAndersen == nullptr)
         {
-            new AndersenSCD(_pag);
+            scdAndersen = new AndersenSCD(_pag);
             scdAndersen->analyze();
             return scdAndersen;
         }