Merge pull request #1300 from sinotca529/fix_getFilePath

bugfix: check return value of getenv
SVF-tools · Dec 23, 2023 · a6f6832 · a6f6832
2 parents 90a0715 + 8f33f96
commit a6f6832
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/svf/lib/Util/ExtAPI.cpp b/svf/lib/Util/ExtAPI.cpp
@@ -97,7 +97,9 @@ static std::string getFilePath(const std::string& path)
     std::string bcFilePath = "";
     if (path.compare("SVF_DIR") == 0)
     {
-        bcFilePath = getenv("SVF_DIR");
+        char const* svfdir = getenv("SVF_DIR");
+        if (svfdir)
+            bcFilePath = svfdir;
     }
     else if (path.compare("npm root") == 0)
     {
@@ -229,4 +231,4 @@ bool ExtAPI::is_ext(const SVFFunction* F)
         return false;
     else
         return !F->getAnnotations().empty();
-}
+}