------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/ncurses-6.1.20190525.txz Installing /packages/All/libedit-3.1.20191211,1.txz Installing /packages/All/libxml2-2.9.10.txz Installing /packages/All/expat-2.2.8.txz Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/libffi-3.2.1_3.txz Installing /packages/All/readline-8.0.4.txz Installing /packages/All/gettext-runtime-0.20.1.txz Installing /packages/All/openssl-1.1.1d,1.txz Installing /packages/All/python37-3.7.6.txz ===== Message from python37-3.7.6: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py37-gdbm databases/py-gdbm@py37 py37-sqlite3 databases/py-sqlite3@py37 py37-tkinter x11-toolkits/py-tkinter@py37 Installing /packages/All/perl5-5.30.1.txz ===== Message from perl5-5.30.1: -- The /usr/bin/perl symlink has been removed starting with Perl 5.20. For shebangs, you should either use: #!/usr/local/bin/perl or #!/usr/bin/env perl The first one will only work if you have a /usr/local/bin/perl, the second will work as long as perl is in PATH. Installing /packages/All/llvm80-8.0.1_3.txz Installing /packages/All/gmake-4.2.1_3.txz Installing /packages/All/icu-66.1,1.txz Installing /packages/All/boost-libs-1.72.0_1.txz ===== Message from boost-libs-1.72.0_1: -- You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. Installing /packages/All/minisat-2.2.1_2.txz Installing /packages/All/cryptominisat-5.6.8_5.txz Installing /packages/All/stp-2.3.3_4,1.txz Installing /packages/All/z3-4.8.7.txz Installing /packages/All/libnghttp2-1.40.0.txz Installing /packages/All/ca_root_nss-3.51.txz ===== Message from ca_root_nss-3.51: -- FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem Installing /packages/All/curl-7.68.0.txz Installing /packages/All/jsoncpp-1.9.2.txz Installing /packages/All/libuv-1.35.0.txz Installing /packages/All/rhash-1.3.5.txz Installing /packages/All/liblz4-1.9.2_1,1.txz Installing /packages/All/lzo2-2.10_1.txz Installing /packages/All/libarchive-3.4.2,1.txz Installing /packages/All/cmake-3.16.5.txz Installing /packages/All/pkgconf-1.6.3,1.txz Installing /packages/All/libunwind-20170615.txz Installing /packages/All/google-perftools-2.7_1.txz Installing /packages/All/sqlite3-3.30.1_1,1.txz Installing /packages/All/py37-setuptools-44.0.0.txz Installing /packages/All/py37-tabulate-0.8.6.txz SUCCEEDED 00:02:02 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> klee-2.1 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> klee-2.1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by klee-2.1 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> klee-2.1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by klee-2.1 for building => SHA256 Checksum OK for klee-klee-v2.1_GH0.tar.gz. SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> klee-2.1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by klee-2.1 for building ===> Extracting for klee-2.1 => SHA256 Checksum OK for klee-klee-v2.1_GH0.tar.gz. Extracted Memory Use: 20.10M SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for klee-2.1 ===> Applying dragonfly patches for klee-2.1 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> klee-2.1 depends on executable: llvm-config80 - found ===> klee-2.1 depends on executable: gmake - found ===> klee-2.1 depends on package: stp>0 - found ===> klee-2.1 depends on executable: z3 - found ===> klee-2.1 depends on file: /usr/local/bin/cmake - found ===> klee-2.1 depends on package: pkgconf>=1.3.0_1 - found SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> klee-2.1 depends on shared library: libcryptominisat5.so - found (/usr/local/lib/libcryptominisat5.so) ===> klee-2.1 depends on shared library: libtcmalloc.so - found (/usr/local/lib/libtcmalloc.so) ===> klee-2.1 depends on shared library: libsqlite3.so - found (/usr/local/lib/libsqlite3.so) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> klee-2.1 depends on executable: llvm-config80 - found ===> klee-2.1 depends on executable: gmake - found ===> klee-2.1 depends on package: stp>0 - found ===> klee-2.1 depends on executable: z3 - found ===> klee-2.1 depends on file: /usr/local/bin/cmake - found ===> klee-2.1 depends on package: pkgconf>=1.3.0_1 - found ===> klee-2.1 depends on shared library: libcryptominisat5.so - found (/usr/local/lib/libcryptominisat5.so) ===> klee-2.1 depends on shared library: libtcmalloc.so - found (/usr/local/lib/libtcmalloc.so) ===> klee-2.1 depends on shared library: libsqlite3.so - found (/usr/local/lib/libsqlite3.so) ===> Configuring for klee-2.1 ===> Performing out-of-source build /bin/mkdir -p /construction/security/klee/.build CMake Deprecation Warning at CMakeLists.txt:25 (cmake_policy): The OLD behavior for policy CMP0054 will be removed from a future version of CMake. The cmake-policies(7) manual explains that the OLD behaviors of all policies are deprecated and that a policy should be set to OLD only under specific short-term circumstances. Projects should be ported to the NEW behavior and not rely on setting a policy to OLD. -- The CXX compiler identification is GNU 8.3.0 -- The C compiler identification is GNU 8.3.0 -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- KLEE version 2.1 -- CMake generator: Unix Makefiles -- Build type: Release -- KLEE assertions enabled -- LLVM_CONFIG_BINARY: /usr/local/bin/llvm-config80 -- LLVM_PACKAGE_VERSION: "8.0.1" -- LLVM_VERSION_MAJOR: "8" -- LLVM_VERSION_MINOR: "0" -- LLVM_VERSION_PATCH: "1" -- LLVM_DEFINITIONS: "-D__STDC_CONSTANT_MACROS;-D__STDC_FORMAT_MACROS;-D__STDC_LIMIT_MACROS" -- LLVM_ENABLE_ASSERTIONS: "ON" -- LLVM_ENABLE_EH: "OFF" -- LLVM_ENABLE_RTTI: "ON" -- LLVM_INCLUDE_DIRS: "/usr/local/llvm80/include" -- LLVM_LIBRARY_DIRS: "/usr/local/llvm80/lib" -- LLVM_TOOLS_BINARY_DIR: "/usr/local/llvm80/bin" -- LLVM_ENABLE_VISIBILITY_INLINES_HIDDEN: "OFF" -- TARGET_TRIPLE: "x86_64-portbld-dragonfly5.9" -- Looking for bitcode compilers -- Found /usr/local/llvm80/bin/clang -- Found /usr/local/llvm80/bin/clang++ -- Testing bitcode compiler /usr/local/llvm80/bin/clang -- Compile success -- Checking compatibility with LLVM 8.0.1 -- "/usr/local/llvm80/bin/clang" is compatible -- Testing bitcode compiler /usr/local/llvm80/bin/clang++ -- Compile success -- Checking compatibility with LLVM 8.0.1 -- "/usr/local/llvm80/bin/clang++" is compatible -- LLVMCC: /usr/local/llvm80/bin/clang -- LLVMCXX: /usr/local/llvm80/bin/clang++ -- Performing Test HAS__Wall_CXX -- Performing Test HAS__Wall_CXX - Success -- C++ compiler supports -Wall -- Performing Test HAS__Wextra_CXX -- Performing Test HAS__Wextra_CXX - Success -- C++ compiler supports -Wextra -- Performing Test HAS__Wno_unused_parameter_CXX -- Performing Test HAS__Wno_unused_parameter_CXX - Success -- C++ compiler supports -Wno-unused-parameter -- Performing Test HAS__Wall_C -- Performing Test HAS__Wall_C - Success -- C compiler supports -Wall -- Performing Test HAS__Wextra_C -- Performing Test HAS__Wextra_C - Success -- C compiler supports -Wextra -- Performing Test HAS__Wno_unused_parameter_C -- Performing Test HAS__Wno_unused_parameter_C - Success -- C compiler supports -Wno-unused-parameter -- Not treating compiler warnings as errors -- STP solver support enabled -- Found STP version 2.3.3 -- Using STP shared library -- STP_DIR: /usr/local/lib/cmake/STP -- Found Z3 libraries: "/usr/local/lib/libz3.so" -- Found Z3 include path: "/usr/local/include" -- Found Z3: /usr/local/include -- Z3 solver support enabled -- Found Z3 -- Checking prototype Z3_get_error_msg for HAVE_Z3_GET_ERROR_MSG_NEEDS_CONTEXT - True -- Z3_get_error_msg requires context -- metaSMT solver support disabled -- Performing Test HAS__fno_exceptions -- Performing Test HAS__fno_exceptions - Success -- C++ compiler supports -fno-exceptions -- Found ZLIB: /usr/lib/libz.so (found version "1.2.11") -- Zlib support enabled -- TCMalloc support enabled -- Looking for C++ include gperftools/malloc_extension.h -- Looking for C++ include gperftools/malloc_extension.h - found -- Performing Test HAS__fno_builtin_malloc -- Performing Test HAS__fno_builtin_malloc - Success -- C++ compiler supports -fno-builtin-malloc -- Performing Test HAS__fno_builtin_calloc -- Performing Test HAS__fno_builtin_calloc - Success -- C++ compiler supports -fno-builtin-calloc -- Performing Test HAS__fno_builtin_realloc -- Performing Test HAS__fno_builtin_realloc - Success -- C++ compiler supports -fno-builtin-realloc -- Performing Test HAS__fno_builtin_free -- Performing Test HAS__fno_builtin_free - Success -- C++ compiler supports -fno-builtin-free -- Found SQLITE3: /usr/local/lib/libsqlite3.so -- Looking for sys/capability.h -- Looking for sys/capability.h - not found -- Looking for pty.h -- Looking for pty.h - not found -- Looking for util.h -- Looking for util.h - found -- Looking for libutil.h -- Looking for libutil.h - found -- Looking for openpty -- Looking for openpty - not found -- Looking for openpty in util -- Looking for openpty in util - found -- Looking for __ctype_b_loc -- Looking for __ctype_b_loc - not found -- Looking for mallinfo -- Looking for mallinfo - not found -- Looking for malloc_zone_statistics -- Looking for malloc_zone_statistics - not found -- Looking for sys/statfs.h -- Looking for sys/statfs.h - not found -- Looking for selinux/selinux.h -- Looking for selinux/selinux.h - not found -- Looking for sys/acl.h -- Looking for sys/acl.h - found -- SELinux support disabled -- Workaround for LLVM PR39177 (affecting LLVM 3.9 - 7.0.0) disabled -- KLEE_RUNTIME_BUILD_TYPE is not set. Setting default -- The available runtime build types are: Release;Release+Debug;Release+Asserts;Release+Debug+Asserts;Debug;Debug+Asserts CMake Warning (dev) at CMakeLists.txt:560 (set): implicitly converting 'String' to 'STRING' type. This warning is for project developers. Use -Wno-dev to suppress it. -- KLEE_RUNTIME_BUILD_TYPE: Debug+Asserts -- POSIX runtime disabled -- klee-uclibc support disabled -- libc++ support disabled -- CMAKE_CXX_FLAGS: -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -- KLEE_COMPONENT_EXTRA_INCLUDE_DIRS: '/usr/local/llvm80/include;/usr/local/include;/usr/local/include;/usr/include;/usr/local/include' -- KLEE_COMPONENT_CXX_DEFINES: '-D__STDC_CONSTANT_MACROS;-D__STDC_FORMAT_MACROS;-D__STDC_LIMIT_MACROS' -- KLEE_COMPONENT_CXX_FLAGS: '-fno-exceptions;-fno-builtin-malloc;-fno-builtin-calloc;-fno-builtin-realloc;-fno-builtin-free' -- KLEE_COMPONENT_EXTRA_LIBRARIES: '/usr/lib/libz.so;/usr/local/lib/libtcmalloc.so' -- KLEE_SOLVER_LIBRARIES: 'stp;/usr/local/lib/libz3.so' -- Testing is disabled -- Unit tests disabled -- System tests disabled -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) CMake Warning at docs/CMakeLists.txt:46 (message): Doxygen not found. Can't build Doxygen documentation -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: BOOST_PYTHON_SUFFIX CMAKE_CXX_FLAGS_DEBUG CMAKE_C_FLAGS_DEBUG CMAKE_MODULE_LINKER_FLAGS Python_ADDITIONAL_VERSIONS THREADS_HAVE_PTHREAD_ARG -- Build files have been written to: /construction/security/klee/.build SUCCEEDED 00:00:14 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for klee-2.1 /usr/local/bin/cmake -S/construction/security/klee/klee-2.1 -B/construction/security/klee/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/security/klee/.build/CMakeFiles /construction/security/klee/.build/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all --- lib/Basic/CMakeFiles/kleeBasic.dir/all --- --- lib/Support/CMakeFiles/kleeSupport.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- --- lib/Basic/CMakeFiles/kleeBasic.dir/all --- /usr/bin/make -f lib/Basic/CMakeFiles/kleeBasic.dir/build.make lib/Basic/CMakeFiles/kleeBasic.dir/depend --- lib/Basic/CMakeFiles/kleeBasic.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/lib/Basic /construction/security/klee/.build /construction/security/klee/.build/lib/Basic /construction/security/klee/.build/lib/Basic/CMakeFiles/kleeBasic.dir/DependInfo.cmake --- lib/Support/CMakeFiles/kleeSupport.dir/all --- /usr/bin/make -f lib/Support/CMakeFiles/kleeSupport.dir/build.make lib/Support/CMakeFiles/kleeSupport.dir/depend --- lib/Support/CMakeFiles/kleeSupport.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/lib/Support /construction/security/klee/.build /construction/security/klee/.build/lib/Support /construction/security/klee/.build/lib/Support/CMakeFiles/kleeSupport.dir/DependInfo.cmake --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- /usr/bin/make -f lib/Expr/CMakeFiles/kleaverExpr.dir/build.make lib/Expr/CMakeFiles/kleaverExpr.dir/depend --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- /usr/bin/make -f runtime/CMakeFiles/BuildKLEERuntimes.dir/build.make runtime/CMakeFiles/BuildKLEERuntimes.dir/depend --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- /usr/bin/make -f runtime/Runtest/CMakeFiles/kleeRuntest.dir/build.make runtime/Runtest/CMakeFiles/kleeRuntest.dir/depend --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/runtime/Runtest /construction/security/klee/.build /construction/security/klee/.build/runtime/Runtest /construction/security/klee/.build/runtime/Runtest/CMakeFiles/kleeRuntest.dir/DependInfo.cmake --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/lib/Expr /construction/security/klee/.build /construction/security/klee/.build/lib/Expr /construction/security/klee/.build/lib/Expr/CMakeFiles/kleaverExpr.dir/DependInfo.cmake --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- --- runtime/CMakeFiles/BuildKLEERuntimes.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/runtime /construction/security/klee/.build /construction/security/klee/.build/runtime /construction/security/klee/.build/runtime/CMakeFiles/BuildKLEERuntimes.dir/DependInfo.cmake --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- Scanning dependencies of target kleeRuntest /usr/bin/make -f runtime/Runtest/CMakeFiles/kleeRuntest.dir/build.make runtime/Runtest/CMakeFiles/kleeRuntest.dir/build --- lib/Support/CMakeFiles/kleeSupport.dir/all --- Scanning dependencies of target kleeSupport /usr/bin/make -f lib/Support/CMakeFiles/kleeSupport.dir/build.make lib/Support/CMakeFiles/kleeSupport.dir/build --- lib/Basic/CMakeFiles/kleeBasic.dir/all --- Scanning dependencies of target kleeBasic --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/intrinsics.c.o --- --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/__/__/lib/Basic/KTest.cpp.o --- --- lib/Basic/CMakeFiles/kleeBasic.dir/all --- /usr/bin/make -f lib/Basic/CMakeFiles/kleeBasic.dir/build.make lib/Basic/CMakeFiles/kleeBasic.dir/build --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/intrinsics.c.o --- [ 0%] Building C object runtime/Runtest/CMakeFiles/kleeRuntest.dir/intrinsics.c.o cd /construction/security/klee/.build/runtime/Runtest && /usr/bin/cc -DkleeRuntest_EXPORTS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -fPIC -o CMakeFiles/kleeRuntest.dir/intrinsics.c.o -c /construction/security/klee/klee-2.1/runtime/Runtest/intrinsics.c --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/__/__/lib/Basic/KTest.cpp.o --- [ 1%] Building CXX object runtime/Runtest/CMakeFiles/kleeRuntest.dir/__/__/lib/Basic/KTest.cpp.o cd /construction/security/klee/.build/runtime/Runtest && /usr/bin/c++ -DkleeRuntest_EXPORTS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fPIC -std=gnu++14 -o CMakeFiles/kleeRuntest.dir/__/__/lib/Basic/KTest.cpp.o -c /construction/security/klee/klee-2.1/lib/Basic/KTest.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/all --- --- lib/Support/CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o --- --- lib/Support/CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o --- --- lib/Support/CMakeFiles/kleeSupport.dir/FileHandling.cpp.o --- --- lib/Support/CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o --- --- lib/Support/CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o --- --- lib/Support/CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o --- [ 2%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o -c /construction/security/klee/klee-2.1/lib/Support/CompressionStream.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/FileHandling.cpp.o --- [ 3%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/FileHandling.cpp.o cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/FileHandling.cpp.o -c /construction/security/klee/klee-2.1/lib/Support/FileHandling.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o --- [ 4%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o -c /construction/security/klee/klee-2.1/lib/Support/ErrorHandling.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o --- [ 5%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o -c /construction/security/klee/klee-2.1/lib/Support/PrintVersion.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- Scanning dependencies of target BuildKLEERuntimes --- lib/Support/CMakeFiles/kleeSupport.dir/all --- --- lib/Support/CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o --- [ 5%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o -c /construction/security/klee/klee-2.1/lib/Support/MemoryUsage.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- /usr/bin/make -f runtime/CMakeFiles/BuildKLEERuntimes.dir/build.make runtime/CMakeFiles/BuildKLEERuntimes.dir/build --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-mkdir --- [ 6%] Creating directories for 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime --- lib/Basic/CMakeFiles/kleeBasic.dir/all --- --- lib/Basic/CMakeFiles/kleeBasic.dir/KTest.cpp.o --- [ 7%] Building CXX object lib/Basic/CMakeFiles/kleeBasic.dir/KTest.cpp.o cd /construction/security/klee/.build/lib/Basic && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeBasic.dir/KTest.cpp.o -c /construction/security/klee/klee-2.1/lib/Basic/KTest.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/tmp cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-mkdir --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- Scanning dependencies of target kleaverExpr --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-download --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- /usr/bin/make -f lib/Expr/CMakeFiles/kleaverExpr.dir/build.make lib/Expr/CMakeFiles/kleaverExpr.dir/build --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- [ 8%] No download step for 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E echo_append --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayCache.cpp.o --- --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-download --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- [ 8%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayCache.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ArrayCache.cpp.o -c /construction/security/klee/klee-2.1/lib/Expr/ArrayCache.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-update --- --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-patch --- --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-update --- [ 9%] No update step for 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E echo_append cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-update --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-patch --- [ 10%] No patch step for 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E echo_append cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-patch --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-RuntimeBuild --- [ 11%] Performing RuntimeBuild step for 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/bin/env MAKEFLAGS=\"\" "O0OPT=-O0 -Xclang -disable-O0-optnone" /usr/local/bin/gmake -f Makefile.cmake.bitcode all gmake[4]: Entering directory '/construction/security/klee/.build/runtime' --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-configure --- --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- --- lib/libkleeRuntest.so.1.0 --- --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- [ 11%] Performing configure step for 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E echo cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-configure --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-build --- --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- [ 12%] Linking CXX shared library ../../lib/libkleeRuntest.so cd /construction/security/klee/.build/runtime/Runtest && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleeRuntest.dir/link.txt --verbose=1 --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-RuntimeBuild --- gmake[5]: Entering directory '/construction/security/klee/.build/runtime/Intrinsic' --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- /usr/bin/c++ -fPIC -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -shared -Wl,-soname,libkleeRuntest.so.1.0 -o ../../lib/libkleeRuntest.so.1.0 CMakeFiles/kleeRuntest.dir/intrinsics.c.o CMakeFiles/kleeRuntest.dir/__/__/lib/Basic/KTest.cpp.o --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/Intrinsic/dso_handle.c --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-build --- [ 13%] Performing build step for 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E echo --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- cd /construction/security/klee/.build/runtime/Runtest && /usr/local/bin/cmake -E cmake_symlink_library ../../lib/libkleeRuntest.so.1.0 ../../lib/libkleeRuntest.so.1.0 ../../lib/libkleeRuntest.so --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-build --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-install --- [ 14%] Performing install step for 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E echo --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- [ 14%] Built target kleeRuntest --- lib/Basic/CMakeFiles/kleeBasic.dir/all --- --- lib/Basic/CMakeFiles/kleeBasic.dir/Statistics.cpp.o --- --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-install --- lib/Basic/CMakeFiles/kleeBasic.dir/all --- [ 15%] Building CXX object lib/Basic/CMakeFiles/kleeBasic.dir/Statistics.cpp.o cd /construction/security/klee/.build/lib/Basic && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeBasic.dir/Statistics.cpp.o -c /construction/security/klee/klee-2.1/lib/Basic/Statistics.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/all --- --- lib/Support/CMakeFiles/kleeSupport.dir/RNG.cpp.o --- [ 16%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/RNG.cpp.o cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/RNG.cpp.o -c /construction/security/klee/klee-2.1/lib/Support/RNG.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-RuntimeBuild --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/Intrinsic/klee_choose.c --- lib/Support/CMakeFiles/kleeSupport.dir/all --- --- lib/Support/CMakeFiles/kleeSupport.dir/Time.cpp.o --- [ 17%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/Time.cpp.o cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/Time.cpp.o -c /construction/security/klee/klee-2.1/lib/Support/Time.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprOptimizer.cpp.o --- [ 18%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprOptimizer.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ArrayExprOptimizer.cpp.o -c /construction/security/klee/klee-2.1/lib/Expr/ArrayExprOptimizer.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/all --- --- lib/Support/CMakeFiles/kleeSupport.dir/Timer.cpp.o --- [ 19%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/Timer.cpp.o cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/Timer.cpp.o -c /construction/security/klee/klee-2.1/lib/Support/Timer.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/Intrinsic/klee_div_zero_check.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/Intrinsic/klee_int.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/Intrinsic/klee_overshift_check.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/Intrinsic/klee_range.c --- lib/Basic/CMakeFiles/kleeBasic.dir/all --- --- lib/libkleeBasic.a --- [ 20%] Linking CXX static library ../libkleeBasic.a cd /construction/security/klee/.build/lib/Basic && /usr/local/bin/cmake -P CMakeFiles/kleeBasic.dir/cmake_clean_target.cmake cd /construction/security/klee/.build/lib/Basic && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleeBasic.dir/link.txt --verbose=1 --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- Creating LLVM archive /construction/security/klee/.build/Debug+Asserts/lib/libkleeRuntimeIntrinsic.bca --- lib/Basic/CMakeFiles/kleeBasic.dir/all --- /usr/bin/ar qc ../libkleeBasic.a CMakeFiles/kleeBasic.dir/KTest.cpp.o CMakeFiles/kleeBasic.dir/Statistics.cpp.o /usr/bin/ranlib ../libkleeBasic.a --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- gmake[5]: Leaving directory '/construction/security/klee/.build/runtime/Intrinsic' gmake[5]: Entering directory '/construction/security/klee/.build/runtime/klee-libc' --- lib/Basic/CMakeFiles/kleeBasic.dir/all --- [ 20%] Built target kleeBasic --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- /usr/bin/make -f tools/gen-bout/CMakeFiles/gen-bout.dir/build.make tools/gen-bout/CMakeFiles/gen-bout.dir/depend --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- echo: write error on stdout --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- --- tools/gen-bout/CMakeFiles/gen-bout.dir/depend --- --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/__cxa_atexit.c --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/tools/gen-bout /construction/security/klee/.build /construction/security/klee/.build/tools/gen-bout /construction/security/klee/.build/tools/gen-bout/CMakeFiles/gen-bout.dir/DependInfo.cmake Scanning dependencies of target gen-bout /usr/bin/make -f tools/gen-bout/CMakeFiles/gen-bout.dir/build.make tools/gen-bout/CMakeFiles/gen-bout.dir/build --- tools/gen-bout/CMakeFiles/gen-bout.dir/gen-bout.cpp.o --- [ 21%] Building CXX object tools/gen-bout/CMakeFiles/gen-bout.dir/gen-bout.cpp.o cd /construction/security/klee/.build/tools/gen-bout && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/gen-bout.dir/gen-bout.cpp.o -c /construction/security/klee/klee-2.1/tools/gen-bout/gen-bout.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/abort.c --- lib/Support/CMakeFiles/kleeSupport.dir/all --- --- lib/Support/CMakeFiles/kleeSupport.dir/TreeStream.cpp.o --- [ 22%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/TreeStream.cpp.o cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/TreeStream.cpp.o -c /construction/security/klee/klee-2.1/lib/Support/TreeStream.cpp --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- --- bin/gen-bout --- [ 23%] Linking CXX executable ../../bin/gen-bout cd /construction/security/klee/.build/tools/gen-bout && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/gen-bout.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/gen-bout.dir/gen-bout.cpp.o -o ../../bin/gen-bout -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleeBasic.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/atexit.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/atoi.c --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- [ 24%] Built target gen-bout --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprRewriter.cpp.o --- --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- /usr/bin/make -f tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/build.make tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/depend --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/tools/gen-random-bout /construction/security/klee/.build /construction/security/klee/.build/tools/gen-random-bout /construction/security/klee/.build/tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/DependInfo.cmake --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- [ 25%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprRewriter.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ArrayExprRewriter.cpp.o -c /construction/security/klee/klee-2.1/lib/Expr/ArrayExprRewriter.cpp --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- Scanning dependencies of target gen-random-bout /usr/bin/make -f tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/build.make tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/build --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/gen-random-bout.cpp.o --- [ 25%] Building CXX object tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/gen-random-bout.cpp.o cd /construction/security/klee/.build/tools/gen-random-bout && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/gen-random-bout.dir/gen-random-bout.cpp.o -c /construction/security/klee/klee-2.1/tools/gen-random-bout/gen-random-bout.cpp --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- /usr/bin/make -f tools/klee-replay/CMakeFiles/klee-replay.dir/build.make tools/klee-replay/CMakeFiles/klee-replay.dir/depend --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/bcmp.c --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/tools/klee-replay /construction/security/klee/.build /construction/security/klee/.build/tools/klee-replay /construction/security/klee/.build/tools/klee-replay/CMakeFiles/klee-replay.dir/DependInfo.cmake Scanning dependencies of target klee-replay /usr/bin/make -f tools/klee-replay/CMakeFiles/klee-replay.dir/build.make tools/klee-replay/CMakeFiles/klee-replay.dir/build --- tools/klee-replay/CMakeFiles/klee-replay.dir/fd_init.c.o --- [ 26%] Building C object tools/klee-replay/CMakeFiles/klee-replay.dir/fd_init.c.o cd /construction/security/klee/.build/tools/klee-replay && /usr/bin/cc -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -o CMakeFiles/klee-replay.dir/fd_init.c.o -c /construction/security/klee/klee-2.1/tools/klee-replay/fd_init.c --- tools/klee-replay/CMakeFiles/klee-replay.dir/file-creator.c.o --- [ 27%] Building C object tools/klee-replay/CMakeFiles/klee-replay.dir/file-creator.c.o cd /construction/security/klee/.build/tools/klee-replay && /usr/bin/cc -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -o CMakeFiles/klee-replay.dir/file-creator.c.o -c /construction/security/klee/klee-2.1/tools/klee-replay/file-creator.c --- tools/klee-replay/CMakeFiles/klee-replay.dir/klee-replay.c.o --- [ 28%] Building C object tools/klee-replay/CMakeFiles/klee-replay.dir/klee-replay.c.o cd /construction/security/klee/.build/tools/klee-replay && /usr/bin/cc -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -o CMakeFiles/klee-replay.dir/klee-replay.c.o -c /construction/security/klee/klee-2.1/tools/klee-replay/klee-replay.c --- tools/klee-replay/CMakeFiles/klee-replay.dir/klee_init_env.c.o --- [ 29%] Building C object tools/klee-replay/CMakeFiles/klee-replay.dir/klee_init_env.c.o cd /construction/security/klee/.build/tools/klee-replay && /usr/bin/cc -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -o CMakeFiles/klee-replay.dir/klee_init_env.c.o -c /construction/security/klee/klee-2.1/tools/klee-replay/klee_init_env.c --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- --- bin/gen-random-bout --- [ 30%] Linking CXX executable ../../bin/gen-random-bout cd /construction/security/klee/.build/tools/gen-random-bout && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/gen-random-bout.dir/link.txt --verbose=1 --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/calloc.c --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/gen-random-bout.dir/gen-random-bout.cpp.o -o ../../bin/gen-random-bout -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleeBasic.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/htonl.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/memchr.c --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/file-creator.c.o --- /construction/security/klee/klee-2.1/tools/klee-replay/file-creator.c: In function 'create_file': /construction/security/klee/klee-2.1/tools/klee-replay/file-creator.c:55:31: warning: '%s' directive output may be truncated writing up to 1023 bytes into a region of size 64 [-Wformat-truncation=] snprintf(buf, sizeof(buf), "%s.lnk", fname); ^~ /construction/security/klee/klee-2.1/tools/klee-replay/file-creator.c:344:12: target = tmpname; ~~~~~~~ --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- [ 31%] Built target gen-random-bout --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- /construction/security/klee/klee-2.1/tools/klee-replay/file-creator.c:55:3: note: 'snprintf' output between 5 and 1028 bytes into a destination of size 64 snprintf(buf, sizeof(buf), "%s.lnk", fname); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprVisitor.cpp.o --- [ 32%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprVisitor.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ArrayExprVisitor.cpp.o -c /construction/security/klee/klee-2.1/lib/Expr/ArrayExprVisitor.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/Assignment.cpp.o --- [ 33%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Assignment.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/Assignment.cpp.o -c /construction/security/klee/klee-2.1/lib/Expr/Assignment.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/mempcpy.c --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/AssignmentGenerator.cpp.o --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- --- bin/klee-replay --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- [ 34%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/AssignmentGenerator.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/AssignmentGenerator.cpp.o -c /construction/security/klee/klee-2.1/lib/Expr/AssignmentGenerator.cpp --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- [ 35%] Linking CXX executable ../../bin/klee-replay cd /construction/security/klee/.build/tools/klee-replay && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/klee-replay.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/klee-replay.dir/fd_init.c.o CMakeFiles/klee-replay.dir/file-creator.c.o CMakeFiles/klee-replay.dir/klee-replay.c.o CMakeFiles/klee-replay.dir/klee_init_env.c.o -o ../../bin/klee-replay -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleeBasic.a -lutil -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so [ 35%] Built target klee-replay --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/Constraints.cpp.o --- [ 36%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Constraints.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/Constraints.cpp.o -c /construction/security/klee/klee-2.1/lib/Expr/Constraints.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/putchar.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/stpcpy.c --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprBuilder.cpp.o --- [ 36%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprBuilder.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ExprBuilder.cpp.o -c /construction/security/klee/klee-2.1/lib/Expr/ExprBuilder.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/strcat.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/strchr.c --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/Expr.cpp.o --- [ 37%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Expr.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/Expr.cpp.o -c /construction/security/klee/klee-2.1/lib/Expr/Expr.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/strcmp.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/strcoll.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/strcpy.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/strlen.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/strncmp.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/strncpy.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/strrchr.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/strtol.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/strtoul.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/tolower.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/klee-libc/toupper.c echo: write error on stdout Creating LLVM archive /construction/security/klee/.build/Debug+Asserts/lib/libklee-libc.bca gmake[5]: Leaving directory '/construction/security/klee/.build/runtime/klee-libc' gmake[5]: Entering directory '/construction/security/klee/.build/runtime/FreeStanding' LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/FreeStanding/memcmp.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/FreeStanding/memcpy.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/FreeStanding/memmove.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.1/runtime/FreeStanding/memset.c echo: write error on stdout Creating LLVM archive /construction/security/klee/.build/Debug+Asserts/lib/libkleeRuntimeFreeStanding.bca gmake[5]: Leaving directory '/construction/security/klee/.build/runtime/FreeStanding' gmake[4]: Leaving directory '/construction/security/klee/.build/runtime' --- runtime/CMakeFiles/BuildKLEERuntimes-complete --- [ 37%] Completed 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime/CMakeFiles cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/CMakeFiles/BuildKLEERuntimes-complete cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-done [ 37%] Built target BuildKLEERuntimes --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprEvaluator.cpp.o --- [ 38%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprEvaluator.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ExprEvaluator.cpp.o -c /construction/security/klee/klee-2.1/lib/Expr/ExprEvaluator.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprPPrinter.cpp.o --- [ 39%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprPPrinter.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ExprPPrinter.cpp.o -c /construction/security/klee/klee-2.1/lib/Expr/ExprPPrinter.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o --- [ 41%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o --- [ 41%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o --- cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o -c /construction/security/klee/klee-2.1/lib/Expr/ExprSMTLIBPrinter.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o --- cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o -c /construction/security/klee/klee-2.1/lib/Expr/ExprUtil.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprVisitor.cpp.o --- [ 41%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprVisitor.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ExprVisitor.cpp.o -c /construction/security/klee/klee-2.1/lib/Expr/ExprVisitor.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/Lexer.cpp.o --- [ 42%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Lexer.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/Lexer.cpp.o -c /construction/security/klee/klee-2.1/lib/Expr/Lexer.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/Parser.cpp.o --- [ 43%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Parser.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/Parser.cpp.o -c /construction/security/klee/klee-2.1/lib/Expr/Parser.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/all --- --- lib/libkleeSupport.a --- [ 44%] Linking CXX static library ../libkleeSupport.a cd /construction/security/klee/.build/lib/Support && /usr/local/bin/cmake -P CMakeFiles/kleeSupport.dir/cmake_clean_target.cmake cd /construction/security/klee/.build/lib/Support && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleeSupport.dir/link.txt --verbose=1 /usr/bin/ar qc ../libkleeSupport.a CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o CMakeFiles/kleeSupport.dir/FileHandling.cpp.o CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o CMakeFiles/kleeSupport.dir/RNG.cpp.o CMakeFiles/kleeSupport.dir/Time.cpp.o CMakeFiles/kleeSupport.dir/Timer.cpp.o CMakeFiles/kleeSupport.dir/TreeStream.cpp.o /usr/bin/ranlib ../libkleeSupport.a [ 44%] Built target kleeSupport --- lib/Module/CMakeFiles/kleeModule.dir/all --- /usr/bin/make -f lib/Module/CMakeFiles/kleeModule.dir/build.make lib/Module/CMakeFiles/kleeModule.dir/depend --- lib/Module/CMakeFiles/kleeModule.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/lib/Module /construction/security/klee/.build /construction/security/klee/.build/lib/Module /construction/security/klee/.build/lib/Module/CMakeFiles/kleeModule.dir/DependInfo.cmake Scanning dependencies of target kleeModule /usr/bin/make -f lib/Module/CMakeFiles/kleeModule.dir/build.make lib/Module/CMakeFiles/kleeModule.dir/build --- lib/Module/CMakeFiles/kleeModule.dir/Checks.cpp.o --- [ 45%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/Checks.cpp.o cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/Checks.cpp.o -c /construction/security/klee/klee-2.1/lib/Module/Checks.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/Updates.cpp.o --- [ 46%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Updates.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/Updates.cpp.o -c /construction/security/klee/klee-2.1/lib/Expr/Updates.cpp --- lib/Module/CMakeFiles/kleeModule.dir/all --- --- lib/Module/CMakeFiles/kleeModule.dir/FunctionAlias.cpp.o --- [ 46%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/FunctionAlias.cpp.o cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/FunctionAlias.cpp.o -c /construction/security/klee/klee-2.1/lib/Module/FunctionAlias.cpp --- lib/Module/CMakeFiles/kleeModule.dir/InstructionInfoTable.cpp.o --- [ 47%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/InstructionInfoTable.cpp.o cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/InstructionInfoTable.cpp.o -c /construction/security/klee/klee-2.1/lib/Module/InstructionInfoTable.cpp --- lib/Module/CMakeFiles/kleeModule.dir/InstructionOperandTypeCheckPass.cpp.o --- [ 48%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/InstructionOperandTypeCheckPass.cpp.o cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/InstructionOperandTypeCheckPass.cpp.o -c /construction/security/klee/klee-2.1/lib/Module/InstructionOperandTypeCheckPass.cpp --- lib/Module/CMakeFiles/kleeModule.dir/IntrinsicCleaner.cpp.o --- [ 49%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/IntrinsicCleaner.cpp.o cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/IntrinsicCleaner.cpp.o -c /construction/security/klee/klee-2.1/lib/Module/IntrinsicCleaner.cpp --- lib/Module/CMakeFiles/kleeModule.dir/KInstruction.cpp.o --- [ 50%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/KInstruction.cpp.o cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/KInstruction.cpp.o -c /construction/security/klee/klee-2.1/lib/Module/KInstruction.cpp --- lib/Module/CMakeFiles/kleeModule.dir/KModule.cpp.o --- [ 51%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/KModule.cpp.o cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/KModule.cpp.o -c /construction/security/klee/klee-2.1/lib/Module/KModule.cpp --- lib/Module/CMakeFiles/kleeModule.dir/LowerSwitch.cpp.o --- [ 52%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/LowerSwitch.cpp.o cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/LowerSwitch.cpp.o -c /construction/security/klee/klee-2.1/lib/Module/LowerSwitch.cpp --- lib/Module/CMakeFiles/kleeModule.dir/ModuleUtil.cpp.o --- [ 52%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/ModuleUtil.cpp.o cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/ModuleUtil.cpp.o -c /construction/security/klee/klee-2.1/lib/Module/ModuleUtil.cpp --- lib/Module/CMakeFiles/kleeModule.dir/Optimize.cpp.o --- [ 53%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/Optimize.cpp.o cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/Optimize.cpp.o -c /construction/security/klee/klee-2.1/lib/Module/Optimize.cpp --- lib/Module/CMakeFiles/kleeModule.dir/OptNone.cpp.o --- [ 54%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/OptNone.cpp.o cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/OptNone.cpp.o -c /construction/security/klee/klee-2.1/lib/Module/OptNone.cpp --- lib/Module/CMakeFiles/kleeModule.dir/PhiCleaner.cpp.o --- [ 55%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/PhiCleaner.cpp.o cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/PhiCleaner.cpp.o -c /construction/security/klee/klee-2.1/lib/Module/PhiCleaner.cpp --- lib/Module/CMakeFiles/kleeModule.dir/RaiseAsm.cpp.o --- [ 56%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/RaiseAsm.cpp.o cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/RaiseAsm.cpp.o -c /construction/security/klee/klee-2.1/lib/Module/RaiseAsm.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/libkleaverExpr.a --- [ 57%] Linking CXX static library ../libkleaverExpr.a cd /construction/security/klee/.build/lib/Expr && /usr/local/bin/cmake -P CMakeFiles/kleaverExpr.dir/cmake_clean_target.cmake cd /construction/security/klee/.build/lib/Expr && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleaverExpr.dir/link.txt --verbose=1 /usr/bin/ar qc ../libkleaverExpr.a CMakeFiles/kleaverExpr.dir/ArrayCache.cpp.o CMakeFiles/kleaverExpr.dir/ArrayExprOptimizer.cpp.o CMakeFiles/kleaverExpr.dir/ArrayExprRewriter.cpp.o CMakeFiles/kleaverExpr.dir/ArrayExprVisitor.cpp.o CMakeFiles/kleaverExpr.dir/Assignment.cpp.o CMakeFiles/kleaverExpr.dir/AssignmentGenerator.cpp.o CMakeFiles/kleaverExpr.dir/Constraints.cpp.o CMakeFiles/kleaverExpr.dir/ExprBuilder.cpp.o CMakeFiles/kleaverExpr.dir/Expr.cpp.o CMakeFiles/kleaverExpr.dir/ExprEvaluator.cpp.o CMakeFiles/kleaverExpr.dir/ExprPPrinter.cpp.o CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o CMakeFiles/kleaverExpr.dir/ExprVisitor.cpp.o CMakeFiles/kleaverExpr.dir/Lexer.cpp.o CMakeFiles/kleaverExpr.dir/Parser.cpp.o CMakeFiles/kleaverExpr.dir/Updates.cpp.o /usr/bin/ranlib ../libkleaverExpr.a [ 57%] Built target kleaverExpr --- lib/Solver/CMakeFiles/kleaverSolver.dir/all --- /usr/bin/make -f lib/Solver/CMakeFiles/kleaverSolver.dir/build.make lib/Solver/CMakeFiles/kleaverSolver.dir/depend --- lib/Solver/CMakeFiles/kleaverSolver.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/lib/Solver /construction/security/klee/.build /construction/security/klee/.build/lib/Solver /construction/security/klee/.build/lib/Solver/CMakeFiles/kleaverSolver.dir/DependInfo.cmake Scanning dependencies of target kleaverSolver /usr/bin/make -f lib/Solver/CMakeFiles/kleaverSolver.dir/build.make lib/Solver/CMakeFiles/kleaverSolver.dir/build --- lib/Solver/CMakeFiles/kleaverSolver.dir/AssignmentValidatingSolver.cpp.o --- --- lib/Solver/CMakeFiles/kleaverSolver.dir/CachingSolver.cpp.o --- --- lib/Solver/CMakeFiles/kleaverSolver.dir/CexCachingSolver.cpp.o --- --- lib/Solver/CMakeFiles/kleaverSolver.dir/AssignmentValidatingSolver.cpp.o --- [ 59%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/AssignmentValidatingSolver.cpp.o --- lib/Solver/CMakeFiles/kleaverSolver.dir/CexCachingSolver.cpp.o --- [ 59%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/CexCachingSolver.cpp.o --- lib/Solver/CMakeFiles/kleaverSolver.dir/AssignmentValidatingSolver.cpp.o --- cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/AssignmentValidatingSolver.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/AssignmentValidatingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/CexCachingSolver.cpp.o --- cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/CexCachingSolver.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/CexCachingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/CachingSolver.cpp.o --- [ 59%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/CachingSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/CachingSolver.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/CachingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/ConstantDivision.cpp.o --- [ 60%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/ConstantDivision.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/ConstantDivision.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/ConstantDivision.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/ConstructSolverChain.cpp.o --- [ 61%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/ConstructSolverChain.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/ConstructSolverChain.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/ConstructSolverChain.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/CoreSolver.cpp.o --- [ 62%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/CoreSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/CoreSolver.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/CoreSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/DummySolver.cpp.o --- [ 63%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/DummySolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/DummySolver.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/DummySolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/FastCexSolver.cpp.o --- [ 63%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/FastCexSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/FastCexSolver.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/FastCexSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/IncompleteSolver.cpp.o --- [ 64%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/IncompleteSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/IncompleteSolver.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/IncompleteSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/IndependentSolver.cpp.o --- [ 65%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/IndependentSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/IndependentSolver.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/IndependentSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/MetaSMTSolver.cpp.o --- [ 66%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/MetaSMTSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/MetaSMTSolver.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/MetaSMTSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/KQueryLoggingSolver.cpp.o --- [ 67%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/KQueryLoggingSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/KQueryLoggingSolver.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/KQueryLoggingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/QueryLoggingSolver.cpp.o --- [ 68%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/QueryLoggingSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/QueryLoggingSolver.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/QueryLoggingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/SMTLIBLoggingSolver.cpp.o --- [ 69%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/SMTLIBLoggingSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/SMTLIBLoggingSolver.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/SMTLIBLoggingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/Solver.cpp.o --- [ 69%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/Solver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/Solver.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/Solver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/SolverCmdLine.cpp.o --- [ 70%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/SolverCmdLine.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/SolverCmdLine.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/SolverCmdLine.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/SolverImpl.cpp.o --- [ 71%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/SolverImpl.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/SolverImpl.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/SolverImpl.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/SolverStats.cpp.o --- [ 72%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/SolverStats.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/SolverStats.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/SolverStats.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/STPBuilder.cpp.o --- [ 73%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/STPBuilder.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/STPBuilder.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/STPBuilder.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/STPSolver.cpp.o --- [ 74%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/STPSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/STPSolver.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/STPSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/ValidatingSolver.cpp.o --- [ 74%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/ValidatingSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/ValidatingSolver.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/ValidatingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Builder.cpp.o --- [ 75%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Builder.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/Z3Builder.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/Z3Builder.cpp --- lib/Module/CMakeFiles/kleeModule.dir/all --- --- lib/libkleeModule.a --- [ 76%] Linking CXX static library ../libkleeModule.a cd /construction/security/klee/.build/lib/Module && /usr/local/bin/cmake -P CMakeFiles/kleeModule.dir/cmake_clean_target.cmake cd /construction/security/klee/.build/lib/Module && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleeModule.dir/link.txt --verbose=1 /usr/bin/ar qc ../libkleeModule.a CMakeFiles/kleeModule.dir/Checks.cpp.o CMakeFiles/kleeModule.dir/FunctionAlias.cpp.o CMakeFiles/kleeModule.dir/InstructionInfoTable.cpp.o CMakeFiles/kleeModule.dir/InstructionOperandTypeCheckPass.cpp.o CMakeFiles/kleeModule.dir/IntrinsicCleaner.cpp.o CMakeFiles/kleeModule.dir/KInstruction.cpp.o CMakeFiles/kleeModule.dir/KModule.cpp.o CMakeFiles/kleeModule.dir/LowerSwitch.cpp.o CMakeFiles/kleeModule.dir/ModuleUtil.cpp.o CMakeFiles/kleeModule.dir/Optimize.cpp.o CMakeFiles/kleeModule.dir/OptNone.cpp.o CMakeFiles/kleeModule.dir/PhiCleaner.cpp.o CMakeFiles/kleeModule.dir/RaiseAsm.cpp.o /usr/bin/ranlib ../libkleeModule.a [ 76%] Built target kleeModule --- lib/Solver/CMakeFiles/kleaverSolver.dir/all --- --- lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o --- [ 77%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o -c /construction/security/klee/klee-2.1/lib/Solver/Z3Solver.cpp --- lib/libkleaverSolver.a --- [ 78%] Linking CXX static library ../libkleaverSolver.a cd /construction/security/klee/.build/lib/Solver && /usr/local/bin/cmake -P CMakeFiles/kleaverSolver.dir/cmake_clean_target.cmake cd /construction/security/klee/.build/lib/Solver && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleaverSolver.dir/link.txt --verbose=1 /usr/bin/ar qc ../libkleaverSolver.a CMakeFiles/kleaverSolver.dir/AssignmentValidatingSolver.cpp.o CMakeFiles/kleaverSolver.dir/CachingSolver.cpp.o CMakeFiles/kleaverSolver.dir/CexCachingSolver.cpp.o CMakeFiles/kleaverSolver.dir/ConstantDivision.cpp.o CMakeFiles/kleaverSolver.dir/ConstructSolverChain.cpp.o CMakeFiles/kleaverSolver.dir/CoreSolver.cpp.o CMakeFiles/kleaverSolver.dir/DummySolver.cpp.o CMakeFiles/kleaverSolver.dir/FastCexSolver.cpp.o CMakeFiles/kleaverSolver.dir/IncompleteSolver.cpp.o CMakeFiles/kleaverSolver.dir/IndependentSolver.cpp.o CMakeFiles/kleaverSolver.dir/MetaSMTSolver.cpp.o CMakeFiles/kleaverSolver.dir/KQueryLoggingSolver.cpp.o CMakeFiles/kleaverSolver.dir/QueryLoggingSolver.cpp.o CMakeFiles/kleaverSolver.dir/SMTLIBLoggingSolver.cpp.o CMakeFiles/kleaverSolver.dir/Solver.cpp.o CMakeFiles/kleaverSolver.dir/SolverCmdLine.cpp.o CMakeFiles/kleaverSolver.dir/SolverImpl.cpp.o CMakeFiles/kleaverSolver.dir/SolverStats.cpp.o CMakeFiles/kleaverSolver.dir/STPBuilder.cpp.o CMakeFiles/kleaverSolver.dir/STPSolver.cpp.o CMakeFiles/kleaverSolver.dir/ValidatingSolver.cpp.o CMakeFiles/kleaverSolver.dir/Z3Builder.cpp.o CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o /usr/bin/ranlib ../libkleaverSolver.a [ 78%] Built target kleaverSolver --- lib/Core/CMakeFiles/kleeCore.dir/all --- --- tools/kleaver/CMakeFiles/kleaver.dir/all --- --- lib/Core/CMakeFiles/kleeCore.dir/all --- /usr/bin/make -f lib/Core/CMakeFiles/kleeCore.dir/build.make lib/Core/CMakeFiles/kleeCore.dir/depend --- tools/kleaver/CMakeFiles/kleaver.dir/all --- /usr/bin/make -f tools/kleaver/CMakeFiles/kleaver.dir/build.make tools/kleaver/CMakeFiles/kleaver.dir/depend --- tools/kleaver/CMakeFiles/kleaver.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/tools/kleaver /construction/security/klee/.build /construction/security/klee/.build/tools/kleaver /construction/security/klee/.build/tools/kleaver/CMakeFiles/kleaver.dir/DependInfo.cmake --- lib/Core/CMakeFiles/kleeCore.dir/all --- --- lib/Core/CMakeFiles/kleeCore.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/lib/Core /construction/security/klee/.build /construction/security/klee/.build/lib/Core /construction/security/klee/.build/lib/Core/CMakeFiles/kleeCore.dir/DependInfo.cmake --- tools/kleaver/CMakeFiles/kleaver.dir/all --- Scanning dependencies of target kleaver /usr/bin/make -f tools/kleaver/CMakeFiles/kleaver.dir/build.make tools/kleaver/CMakeFiles/kleaver.dir/build --- tools/kleaver/CMakeFiles/kleaver.dir/main.cpp.o --- [ 79%] Building CXX object tools/kleaver/CMakeFiles/kleaver.dir/main.cpp.o cd /construction/security/klee/.build/tools/kleaver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaver.dir/main.cpp.o -c /construction/security/klee/klee-2.1/tools/kleaver/main.cpp --- lib/Core/CMakeFiles/kleeCore.dir/all --- Scanning dependencies of target kleeCore /usr/bin/make -f lib/Core/CMakeFiles/kleeCore.dir/build.make lib/Core/CMakeFiles/kleeCore.dir/build --- lib/Core/CMakeFiles/kleeCore.dir/AddressSpace.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/MergeHandler.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/CallPathManager.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/Context.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/CoreStats.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/ExecutionState.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/Executor.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/ExecutorUtil.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/ExternalDispatcher.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/AddressSpace.cpp.o --- [ 81%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/AddressSpace.cpp.o --- lib/Core/CMakeFiles/kleeCore.dir/CoreStats.cpp.o --- [ 81%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/CoreStats.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/CoreStats.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/CoreStats.cpp --- lib/Core/CMakeFiles/kleeCore.dir/AddressSpace.cpp.o --- cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/AddressSpace.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/AddressSpace.cpp --- lib/Core/CMakeFiles/kleeCore.dir/Context.cpp.o --- [ 81%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/Context.cpp.o --- lib/Core/CMakeFiles/kleeCore.dir/MergeHandler.cpp.o --- [ 82%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/MergeHandler.cpp.o --- lib/Core/CMakeFiles/kleeCore.dir/ExternalDispatcher.cpp.o --- [ 83%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/ExternalDispatcher.cpp.o --- lib/Core/CMakeFiles/kleeCore.dir/Context.cpp.o --- cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/Context.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/Context.cpp --- lib/Core/CMakeFiles/kleeCore.dir/MergeHandler.cpp.o --- cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/MergeHandler.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/MergeHandler.cpp --- lib/Core/CMakeFiles/kleeCore.dir/ExternalDispatcher.cpp.o --- cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/ExternalDispatcher.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/ExternalDispatcher.cpp --- lib/Core/CMakeFiles/kleeCore.dir/CallPathManager.cpp.o --- [ 84%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/CallPathManager.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/CallPathManager.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/CallPathManager.cpp --- lib/Core/CMakeFiles/kleeCore.dir/Executor.cpp.o --- [ 85%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/Executor.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/Executor.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/Executor.cpp --- lib/Core/CMakeFiles/kleeCore.dir/ExecutorUtil.cpp.o --- [ 86%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/ExecutorUtil.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/ExecutorUtil.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/ExecutorUtil.cpp --- lib/Core/CMakeFiles/kleeCore.dir/ExecutionState.cpp.o --- [ 87%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/ExecutionState.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/ExecutionState.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/ExecutionState.cpp --- lib/Core/CMakeFiles/kleeCore.dir/ImpliedValue.cpp.o --- [ 87%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/ImpliedValue.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/ImpliedValue.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/ImpliedValue.cpp --- lib/Core/CMakeFiles/kleeCore.dir/Memory.cpp.o --- [ 88%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/Memory.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/Memory.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/Memory.cpp --- lib/Core/CMakeFiles/kleeCore.dir/MemoryManager.cpp.o --- [ 89%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/MemoryManager.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/MemoryManager.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/MemoryManager.cpp --- lib/Core/CMakeFiles/kleeCore.dir/PTree.cpp.o --- [ 90%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/PTree.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/PTree.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/PTree.cpp --- lib/Core/CMakeFiles/kleeCore.dir/Searcher.cpp.o --- [ 91%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/Searcher.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/Searcher.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/Searcher.cpp --- lib/Core/CMakeFiles/kleeCore.dir/SeedInfo.cpp.o --- [ 92%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/SeedInfo.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/SeedInfo.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/SeedInfo.cpp --- tools/kleaver/CMakeFiles/kleaver.dir/all --- --- bin/kleaver --- [ 93%] Linking CXX executable ../../bin/kleaver cd /construction/security/klee/.build/tools/kleaver && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleaver.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/kleaver.dir/main.cpp.o -o ../../bin/kleaver -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/local/lib/libstp.so.2.3 /usr/local/lib/libminisat.so /usr/local/lib/libcryptominisat5.so /usr/local/lib/libz3.so [ 94%] Built target kleaver --- lib/Core/CMakeFiles/kleeCore.dir/all --- --- lib/Core/CMakeFiles/kleeCore.dir/SpecialFunctionHandler.cpp.o --- [ 94%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/SpecialFunctionHandler.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/SpecialFunctionHandler.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/SpecialFunctionHandler.cpp --- lib/Core/CMakeFiles/kleeCore.dir/StatsTracker.cpp.o --- [ 95%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/StatsTracker.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/StatsTracker.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/StatsTracker.cpp --- lib/Core/CMakeFiles/kleeCore.dir/TimingSolver.cpp.o --- [ 96%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/TimingSolver.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/TimingSolver.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/TimingSolver.cpp --- lib/Core/CMakeFiles/kleeCore.dir/UserSearcher.cpp.o --- [ 97%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/UserSearcher.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/UserSearcher.cpp.o -c /construction/security/klee/klee-2.1/lib/Core/UserSearcher.cpp --- lib/libkleeCore.a --- [ 98%] Linking CXX static library ../libkleeCore.a cd /construction/security/klee/.build/lib/Core && /usr/local/bin/cmake -P CMakeFiles/kleeCore.dir/cmake_clean_target.cmake cd /construction/security/klee/.build/lib/Core && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleeCore.dir/link.txt --verbose=1 /usr/bin/ar qc ../libkleeCore.a CMakeFiles/kleeCore.dir/AddressSpace.cpp.o CMakeFiles/kleeCore.dir/MergeHandler.cpp.o CMakeFiles/kleeCore.dir/CallPathManager.cpp.o CMakeFiles/kleeCore.dir/Context.cpp.o CMakeFiles/kleeCore.dir/CoreStats.cpp.o CMakeFiles/kleeCore.dir/ExecutionState.cpp.o CMakeFiles/kleeCore.dir/Executor.cpp.o CMakeFiles/kleeCore.dir/ExecutorUtil.cpp.o CMakeFiles/kleeCore.dir/ExternalDispatcher.cpp.o CMakeFiles/kleeCore.dir/ImpliedValue.cpp.o CMakeFiles/kleeCore.dir/Memory.cpp.o CMakeFiles/kleeCore.dir/MemoryManager.cpp.o CMakeFiles/kleeCore.dir/PTree.cpp.o CMakeFiles/kleeCore.dir/Searcher.cpp.o CMakeFiles/kleeCore.dir/SeedInfo.cpp.o CMakeFiles/kleeCore.dir/SpecialFunctionHandler.cpp.o CMakeFiles/kleeCore.dir/StatsTracker.cpp.o CMakeFiles/kleeCore.dir/TimingSolver.cpp.o CMakeFiles/kleeCore.dir/UserSearcher.cpp.o /usr/bin/ranlib ../libkleeCore.a [ 98%] Built target kleeCore --- tools/klee/CMakeFiles/klee.dir/all --- /usr/bin/make -f tools/klee/CMakeFiles/klee.dir/build.make tools/klee/CMakeFiles/klee.dir/depend --- tools/klee/CMakeFiles/klee.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/tools/klee /construction/security/klee/.build /construction/security/klee/.build/tools/klee /construction/security/klee/.build/tools/klee/CMakeFiles/klee.dir/DependInfo.cmake Scanning dependencies of target klee /usr/bin/make -f tools/klee/CMakeFiles/klee.dir/build.make tools/klee/CMakeFiles/klee.dir/build --- tools/klee/CMakeFiles/klee.dir/main.cpp.o --- [ 99%] Building CXX object tools/klee/CMakeFiles/klee.dir/main.cpp.o cd /construction/security/klee/.build/tools/klee && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.1/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/klee.dir/main.cpp.o -c /construction/security/klee/klee-2.1/tools/klee/main.cpp --- bin/klee --- [100%] Linking CXX executable ../../bin/klee cd /construction/security/klee/.build/tools/klee && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/klee.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/klee.dir/main.cpp.o -o ../../bin/klee -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleeCore.a /usr/local/lib/libsqlite3.so ../../lib/libkleeModule.a ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a /usr/local/lib/libstp.so.2.3 /usr/local/lib/libminisat.so /usr/local/lib/libcryptominisat5.so /usr/local/lib/libz3.so ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so [100%] Built target klee /usr/local/bin/cmake -E cmake_progress_start /construction/security/klee/.build/CMakeFiles 0 SUCCEEDED 00:01:52 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- ===> klee-2.1 depends on executable: llvm-config80 - found ===> klee-2.1 depends on package: py37-tabulate>0 - found ===> klee-2.1 depends on executable: z3 - found ===> klee-2.1 depends on file: /usr/local/bin/python3.7 - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for klee-2.1 ===> klee-2.1 depends on executable: llvm-config80 - found ===> klee-2.1 depends on package: py37-tabulate>0 - found ===> klee-2.1 depends on executable: z3 - found ===> klee-2.1 depends on file: /usr/local/bin/python3.7 - found ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/security/klee/klee-2.1 -B/construction/security/klee/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/security/klee/.build/CMakeFiles /construction/security/klee/.build/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f lib/Basic/CMakeFiles/kleeBasic.dir/build.make lib/Basic/CMakeFiles/kleeBasic.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/lib/Basic /construction/security/klee/.build /construction/security/klee/.build/lib/Basic /construction/security/klee/.build/lib/Basic/CMakeFiles/kleeBasic.dir/DependInfo.cmake /usr/bin/make -f lib/Basic/CMakeFiles/kleeBasic.dir/build.make lib/Basic/CMakeFiles/kleeBasic.dir/build [ 3%] Built target kleeBasic /usr/bin/make -f lib/Support/CMakeFiles/kleeSupport.dir/build.make lib/Support/CMakeFiles/kleeSupport.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/lib/Support /construction/security/klee/.build /construction/security/klee/.build/lib/Support /construction/security/klee/.build/lib/Support/CMakeFiles/kleeSupport.dir/DependInfo.cmake /usr/bin/make -f lib/Support/CMakeFiles/kleeSupport.dir/build.make lib/Support/CMakeFiles/kleeSupport.dir/build [ 12%] Built target kleeSupport /usr/bin/make -f lib/Expr/CMakeFiles/kleaverExpr.dir/build.make lib/Expr/CMakeFiles/kleaverExpr.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/lib/Expr /construction/security/klee/.build /construction/security/klee/.build/lib/Expr /construction/security/klee/.build/lib/Expr/CMakeFiles/kleaverExpr.dir/DependInfo.cmake /usr/bin/make -f lib/Expr/CMakeFiles/kleaverExpr.dir/build.make lib/Expr/CMakeFiles/kleaverExpr.dir/build [ 27%] Built target kleaverExpr /usr/bin/make -f lib/Solver/CMakeFiles/kleaverSolver.dir/build.make lib/Solver/CMakeFiles/kleaverSolver.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/lib/Solver /construction/security/klee/.build /construction/security/klee/.build/lib/Solver /construction/security/klee/.build/lib/Solver/CMakeFiles/kleaverSolver.dir/DependInfo.cmake /usr/bin/make -f lib/Solver/CMakeFiles/kleaverSolver.dir/build.make lib/Solver/CMakeFiles/kleaverSolver.dir/build [ 47%] Built target kleaverSolver /usr/bin/make -f lib/Module/CMakeFiles/kleeModule.dir/build.make lib/Module/CMakeFiles/kleeModule.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/lib/Module /construction/security/klee/.build /construction/security/klee/.build/lib/Module /construction/security/klee/.build/lib/Module/CMakeFiles/kleeModule.dir/DependInfo.cmake /usr/bin/make -f lib/Module/CMakeFiles/kleeModule.dir/build.make lib/Module/CMakeFiles/kleeModule.dir/build [ 59%] Built target kleeModule /usr/bin/make -f lib/Core/CMakeFiles/kleeCore.dir/build.make lib/Core/CMakeFiles/kleeCore.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/lib/Core /construction/security/klee/.build /construction/security/klee/.build/lib/Core /construction/security/klee/.build/lib/Core/CMakeFiles/kleeCore.dir/DependInfo.cmake /usr/bin/make -f lib/Core/CMakeFiles/kleeCore.dir/build.make lib/Core/CMakeFiles/kleeCore.dir/build [ 76%] Built target kleeCore /usr/bin/make -f runtime/CMakeFiles/BuildKLEERuntimes.dir/build.make runtime/CMakeFiles/BuildKLEERuntimes.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/runtime /construction/security/klee/.build /construction/security/klee/.build/runtime /construction/security/klee/.build/runtime/CMakeFiles/BuildKLEERuntimes.dir/DependInfo.cmake /usr/bin/make -f runtime/CMakeFiles/BuildKLEERuntimes.dir/build.make runtime/CMakeFiles/BuildKLEERuntimes.dir/build [ 77%] Performing RuntimeBuild step for 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/bin/env MAKEFLAGS=\"\" "O0OPT=-O0 -Xclang -disable-O0-optnone" /usr/local/bin/gmake -f Makefile.cmake.bitcode all gmake[4]: Entering directory '/construction/security/klee/.build/runtime' gmake[5]: Entering directory '/construction/security/klee/.build/runtime/Intrinsic' gmake[5]: Leaving directory '/construction/security/klee/.build/runtime/Intrinsic' gmake[5]: Entering directory '/construction/security/klee/.build/runtime/klee-libc' gmake[5]: Leaving directory '/construction/security/klee/.build/runtime/klee-libc' gmake[5]: Entering directory '/construction/security/klee/.build/runtime/FreeStanding' gmake[5]: Leaving directory '/construction/security/klee/.build/runtime/FreeStanding' gmake[4]: Leaving directory '/construction/security/klee/.build/runtime' [ 77%] Completed 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime/CMakeFiles cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/CMakeFiles/BuildKLEERuntimes-complete cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-done [ 83%] Built target BuildKLEERuntimes /usr/bin/make -f runtime/Runtest/CMakeFiles/kleeRuntest.dir/build.make runtime/Runtest/CMakeFiles/kleeRuntest.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/runtime/Runtest /construction/security/klee/.build /construction/security/klee/.build/runtime/Runtest /construction/security/klee/.build/runtime/Runtest/CMakeFiles/kleeRuntest.dir/DependInfo.cmake /usr/bin/make -f runtime/Runtest/CMakeFiles/kleeRuntest.dir/build.make runtime/Runtest/CMakeFiles/kleeRuntest.dir/build [ 85%] Built target kleeRuntest /usr/bin/make -f tools/gen-bout/CMakeFiles/gen-bout.dir/build.make tools/gen-bout/CMakeFiles/gen-bout.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/tools/gen-bout /construction/security/klee/.build /construction/security/klee/.build/tools/gen-bout /construction/security/klee/.build/tools/gen-bout/CMakeFiles/gen-bout.dir/DependInfo.cmake /usr/bin/make -f tools/gen-bout/CMakeFiles/gen-bout.dir/build.make tools/gen-bout/CMakeFiles/gen-bout.dir/build [ 88%] Built target gen-bout /usr/bin/make -f tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/build.make tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/tools/gen-random-bout /construction/security/klee/.build /construction/security/klee/.build/tools/gen-random-bout /construction/security/klee/.build/tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/DependInfo.cmake /usr/bin/make -f tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/build.make tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/build [ 90%] Built target gen-random-bout /usr/bin/make -f tools/kleaver/CMakeFiles/kleaver.dir/build.make tools/kleaver/CMakeFiles/kleaver.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/tools/kleaver /construction/security/klee/.build /construction/security/klee/.build/tools/kleaver /construction/security/klee/.build/tools/kleaver/CMakeFiles/kleaver.dir/DependInfo.cmake /usr/bin/make -f tools/kleaver/CMakeFiles/kleaver.dir/build.make tools/kleaver/CMakeFiles/kleaver.dir/build [ 93%] Built target kleaver /usr/bin/make -f tools/klee/CMakeFiles/klee.dir/build.make tools/klee/CMakeFiles/klee.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/tools/klee /construction/security/klee/.build /construction/security/klee/.build/tools/klee /construction/security/klee/.build/tools/klee/CMakeFiles/klee.dir/DependInfo.cmake /usr/bin/make -f tools/klee/CMakeFiles/klee.dir/build.make tools/klee/CMakeFiles/klee.dir/build [ 95%] Built target klee /usr/bin/make -f tools/klee-replay/CMakeFiles/klee-replay.dir/build.make tools/klee-replay/CMakeFiles/klee-replay.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.1 /construction/security/klee/klee-2.1/tools/klee-replay /construction/security/klee/.build /construction/security/klee/.build/tools/klee-replay /construction/security/klee/.build/tools/klee-replay/CMakeFiles/klee-replay.dir/DependInfo.cmake /usr/bin/make -f tools/klee-replay/CMakeFiles/klee-replay.dir/build.make tools/klee-replay/CMakeFiles/klee-replay.dir/build [100%] Built target klee-replay /usr/local/bin/cmake -E cmake_progress_start /construction/security/klee/.build/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall /usr/bin/make -f tools/gen-bout/CMakeFiles/gen-bout.dir/build.make tools/gen-bout/CMakeFiles/gen-bout.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/gen-bout cd /construction/security/klee/.build/tools/gen-bout && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/gen-bout.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/gen-bout.dir/gen-bout.cpp.o -o CMakeFiles/CMakeRelink.dir/gen-bout -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleeBasic.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/bin/make -f tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/build.make tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/gen-random-bout cd /construction/security/klee/.build/tools/gen-random-bout && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/gen-random-bout.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/gen-random-bout.dir/gen-random-bout.cpp.o -o CMakeFiles/CMakeRelink.dir/gen-random-bout -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleeBasic.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/bin/make -f tools/kleaver/CMakeFiles/kleaver.dir/build.make tools/kleaver/CMakeFiles/kleaver.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/kleaver cd /construction/security/klee/.build/tools/kleaver && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleaver.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/kleaver.dir/main.cpp.o -o CMakeFiles/CMakeRelink.dir/kleaver -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/local/lib/libstp.so.2.3 /usr/local/lib/libminisat.so /usr/local/lib/libcryptominisat5.so /usr/local/lib/libz3.so /usr/bin/make -f tools/klee/CMakeFiles/klee.dir/build.make tools/klee/CMakeFiles/klee.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/klee cd /construction/security/klee/.build/tools/klee && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/klee.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/klee.dir/main.cpp.o -o CMakeFiles/CMakeRelink.dir/klee -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleeCore.a /usr/local/lib/libsqlite3.so ../../lib/libkleeModule.a ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a /usr/local/lib/libstp.so.2.3 /usr/local/lib/libminisat.so /usr/local/lib/libcryptominisat5.so /usr/local/lib/libz3.so ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/bin/make -f tools/klee-replay/CMakeFiles/klee-replay.dir/build.make tools/klee-replay/CMakeFiles/klee-replay.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/klee-replay cd /construction/security/klee/.build/tools/klee-replay && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/klee-replay.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/klee-replay.dir/fd_init.c.o CMakeFiles/klee-replay.dir/file-creator.c.o CMakeFiles/klee-replay.dir/klee-replay.c.o CMakeFiles/klee-replay.dir/klee_init_env.c.o -o CMakeFiles/CMakeRelink.dir/klee-replay -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleeBasic.a -lutil -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so Installing the project stripped... /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /construction/security/klee/stage/usr/local/include/klee/klee.h -- Installing: /construction/security/klee/stage/usr/local/lib/klee/runtime/libkleeRuntimeIntrinsic.bca -- Installing: /construction/security/klee/stage/usr/local/lib/klee/runtime/libklee-libc.bca -- Installing: /construction/security/klee/stage/usr/local/lib/klee/runtime/libkleeRuntimeFreeStanding.bca -- Installing: /construction/security/klee/stage/usr/local/lib/libkleeRuntest.so.1.0 -- Installing: /construction/security/klee/stage/usr/local/lib/libkleeRuntest.so -- Installing: /construction/security/klee/stage/usr/local/bin/gen-bout -- Installing: /construction/security/klee/stage/usr/local/bin/gen-random-bout -- Installing: /construction/security/klee/stage/usr/local/bin/kleaver -- Installing: /construction/security/klee/stage/usr/local/bin/klee -- Installing: /construction/security/klee/stage/usr/local/bin/klee-replay -- Installing: /construction/security/klee/stage/usr/local/bin/klee-stats -- Installing: /construction/security/klee/stage/usr/local/bin/ktest-tool ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Error: /usr/local/bin/kleaver is linked to /usr/local/lib/libstp.so.2.3 from math/stp but it is not declared as a dependency Warning: you need LIB_DEPENDS+=libstp.so:math/stp Error: /usr/local/bin/kleaver is linked to /usr/local/lib/libminisat.so.2 from math/minisat but it is not declared as a dependency Warning: you need LIB_DEPENDS+=libminisat.so:math/minisat Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:05 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for klee-2.1 file sizes/checksums [13]: 0% file sizes/checksums [13]: 100% packing files [13]: 0% packing files [13]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:03 TOTAL TIME 00:04:20