fix:

.github/workflows/build.yaml

@@ -57,6 +57,7 @@ jobs:
           "Latest klee-uclibc",
           "Asserts disabled",
           "No TCMalloc, optimised runtime",
+          "Warnings as errors",
         ]
         include:
           - name: "LLVM 16"

DEBT

@@ -10,4 +10,4 @@ KLEE 3.1, 29 February 2024
 KLEE 3.0, 7 June 2023
 =====================
 
-- Added support for the KDAlloc memory allocator, which enables KLEE to more robustly detect use-after-free errors, improves the detection of buffer overflows, and provides deterministic memory allocation (@danielschemmel, based on https://srg.doc.ic.ac.uk/publications/22-kdalloc-ecoop.html)
+- Added support for the KDAlloc memory allocator, which enables KLEE to more robustly detect use-after-free errors, improves the detection of buffer overflows, and provides deterministic memory allocation (@danielschemmel, based on https://srg.doc.ic.ac.uk/publications/22-kdalloc-ecoop.html)

build.sh

@@ -5,7 +5,7 @@
 
 # Base folder where dependencies and KLEE itself are installed
 BASE=$HOME/klee_build
-BUILD_SUFFIX="Debug"
+BUILD_SUFFIX="Release"
 
 ## KLEE Required options
 # Build type for KLEE. The options are:
@@ -15,7 +15,7 @@ BUILD_SUFFIX="Debug"
 # Release+Debug+Asserts
 # Debug
 # Debug+Asserts
-KLEE_RUNTIME_BUILD="Debug"
+KLEE_RUNTIME_BUILD="Release"
 
 COVERAGE=0
 ENABLE_DOXYGEN=0
@@ -65,7 +65,7 @@ if [ "$1" = "--debug" ] || [ "$1" = "-g" ]; then
     ENABLE_OPTIMIZED=0
     ENABLE_DEBUG=1
     KLEE_RUNTIME_BUILD="Debug+Asserts"
-    ENABLE_WARNINGS_AS_ERRORS=1
+    ENABLE_WARNINGS_AS_ERRORS=0
     shift 1
 else
     KEEP_PARSE="false"

lib/Module/KModule.cpp

@@ -346,12 +346,6 @@ void KModule::manifest(InterpreterHandler *ih,
     }
   }
 
-  for (auto &Function : functions) {
-    if (Function->getName() == "_klee_eh_cxx_personality") {
-      llvm::errs();
-    }
-  }
-
   if (DebugPrintEscapingFunctions && !escapingFunctions.empty()) {
     llvm::errs() << "KLEE: escaping functions: [";
     std::string delimiter = "";