Merge pull request #1179 from canliture/master

fix a nullptr dereference error
SVF-tools · Aug 30, 2023 · f18b576 · f18b576
2 parents 9a348cf + a1cfc66
commit f18b576
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;
         }