Fix parameter nullpointer deref (#634)

UnitTestBot · Sep 6, 2023 · 2a1d2ed · 2a1d2ed
1 parent 6dca561
commit 2a1d2ed
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 (functionType) {
+ functionPointers[name] = ParamsHandler::getFunctionPointerDeclaration(
+ functionType, name,
+ sourceManager, true);
+ } else {
+ LOG_S(WARNING) << "Type '" << name << "' fetch as function pointer but can't get functionType";
+ }
  }
 }