Fix nullpointer deref

UnitTestBot · Sep 6, 2023 · b7f51e1 · b7f51e1
1 parent 6dca561
commit b7f51e1
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 4 deletions.
diff --git a/server/src/KleeGenerator.cpp b/server/src/KleeGenerator.cpp
@@ -97,8 +97,9 @@ static std::string getUTBotClangCompilerPath(fs::path clientCompilerPath) {
     }
 }
 
-static const std::unordered_set<std::string> UNSUPPORTED_FLAGS_AND_OPTIONS_KLEE = {
+static const std::unordered_set <std::string> UNSUPPORTED_FLAGS_AND_OPTIONS_KLEE = {
         "--coverage",
+        "-lgcov",
         "-fbranch-target-load-optimize",
         "-fcx-fortran-rules",
         "-fipa-cp-clone",

diff --git a/server/src/fetchers/FunctionDeclsMatchCallback.cpp b/server/src/fetchers/FunctionDeclsMatchCallback.cpp
@@ -173,8 +173,13 @@ void FunctionDeclsMatchCallback::addFunctionPointer(
             LOG_S(WARNING) << "Type '" << name << "' fetch as function pointer but can't get functionType";
         }
     } else if (type.isArrayOfPointersToFunction()) {
-        functionPointers[name] = ParamsHandler::getFunctionPointerDeclaration(
-                qualType->getPointeeType()->getPointeeType()->getAs<clang::FunctionType>(), name,
-                sourceManager, true);
+        const clang::FunctionType *functionType = qualType->getPointeeType()->getPointeeType()->getAs<clang::FunctionType>();
+        if (temp) {
+            functionPointers[name] = ParamsHandler::getFunctionPointerDeclaration(
+                    temp, name,
+                    sourceManager, true);
+        } else {
+            LOG_S(WARNING) << "Type '" << name << "' fetch as function pointer but can't get functionType";
+        }
     }
 }