=> Building security/klee Started : Friday, 26 JUL 2019 at 09:24:31 UTC Platform: 5.7-DEVELOPMENT DragonFly v5.7.0.83.g49866-DEVELOPMENT #40: Sun Jun 30 03:00:04 PDT 2019 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.6-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.6-SYNTH UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 TERM=dumb PKG_CACHEDIR=/var/cache/pkg8 PKG_DBDIR=/var/db/pkg8 PORTSDIR=/xports LANG=C HOME=/root USER=root -------------------------------------------------- -- Options -------------------------------------------------- ===> The following configuration options are available for klee-2.0: TCMALLOC=on: Use tcmalloc library for memory management ====> Solver: Use the: you have to select exactly one of them Z3=on: Z3 SMT solver STP=off: STP SMT solver ===> Use 'make config' to modify these settings -------------------------------------------------- -- CONFIGURE_ENV -------------------------------------------------- PKG_CONFIG=pkgconf PYTHON="/usr/local/bin/python3.6" XDG_DATA_HOME=/construction/security/klee XDG_CONFIG_HOME=/construction/security/klee HOME=/construction/security/klee TMPDIR="/tmp" PATH=/construction/security/klee/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 CMAKE_PREFIX_PATH="/usr/local" -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/security/klee XDG_CONFIG_HOME=/construction/security/klee HOME=/construction/security/klee TMPDIR="/tmp" PATH=/construction/security/klee/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -isystem /usr/local/include -fno-strict-aliasing " CPP="cpp" CPPFLAGS="-isystem /usr/local/include" LDFLAGS=" " LIBS="-L/usr/local/lib" CXX="c++" CXXFLAGS=" -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" -------------------------------------------------- -- MAKE_ARGS -------------------------------------------------- DESTDIR=/construction/security/klee/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- CMAKE_BUILD_TYPE="release" PYTHON_INCLUDEDIR=include/python3.6m PYTHON_LIBDIR=lib/python3.6 PYTHON_PLATFORM=dragonfly5 PYTHON_SITELIBDIR=lib/python3.6/site-packages PYTHON_SUFFIX=36 PYTHON_VER=3.6 PYTHON_VERSION=python3.6 PYTHON2="@comment " PYTHON3="" OSREL=5.6 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/klee" EXAMPLESDIR="share/examples/klee" DATADIR="share/klee" WWWDIR="www/klee" ETCDIR="etc/klee" -------------------------------------------------- -- SUB_LIST -------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/klee DOCSDIR=/usr/local/share/doc/klee EXAMPLESDIR=/usr/local/share/examples/klee WWWDIR=/usr/local/www/klee ETCDIR=/usr/local/etc/klee -------------------------------------------------- -- /etc/make.conf -------------------------------------------------- SYNTHPROFILE=Release-5.6 USE_PACKAGE_DEPENDS_ONLY=yes PACKAGE_BUILDING=yes BATCH=yes PKG_CREATE_VERBOSE=yes PORTSDIR=/xports DISTDIR=/distfiles WRKDIRPREFIX=/construction PORT_DBDIR=/options PACKAGES=/packages MAKE_JOBS_NUMBER_LIMIT=5 LICENSES_ACCEPTED= NONE HAVE_COMPAT_IA32_KERN= CONFIGURE_MAX_CMD_LEN=262144 _PERL5_FROM_BIN=5.28.1 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=8 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500601 OSVERSION=9999999 OSREL=5.6 _OSRELEASE=5.6-SYNTH PYTHONBASE=/usr/local _PKG_CHECKED=1 -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- ===> License NCSA accepted by the user -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> klee-2.0 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.11.1.txz Installing pkg-1.11.1... Extracting pkg-1.11.1: .......... done ===> klee-2.0 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of klee-2.0 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- ===> License NCSA accepted by the user ===> Fetching all distfiles required by klee-2.0 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> License NCSA accepted by the user ===> Fetching all distfiles required by klee-2.0 for building => SHA256 Checksum OK for klee-klee-v2.0_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> License NCSA accepted by the user ===> Fetching all distfiles required by klee-2.0 for building ===> Extracting for klee-2.0 => SHA256 Checksum OK for klee-klee-v2.0_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for klee-2.0 ===> Applying ports patches for klee-2.0 ===> Applying dragonfly patches for klee-2.0 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> klee-2.0 depends on executable: llvm-config80 - not found ===> Installing existing package /packages/All/llvm80-8.0.0_2.txz Installing llvm80-8.0.0_2... `-- Installing libedit-3.1.20190324,1... | `-- Installing ncurses-6.1.20190525... | `-- Extracting ncurses-6.1.20190525: .......... done `-- Extracting libedit-3.1.20190324,1: .......... done `-- Installing libxml2-2.9.9... `-- Extracting libxml2-2.9.9: .......... done `-- Installing perl5-5.28.2... `-- Extracting perl5-5.28.2: .......... done `-- Installing python27-2.7.16_1... | `-- Installing expat-2.2.6_1... | `-- Extracting expat-2.2.6_1: .......... done | `-- Installing gettext-runtime-0.20.1... | | `-- Installing indexinfo-0.3.1... | | `-- Extracting indexinfo-0.3.1: .... done | `-- Extracting gettext-runtime-0.20.1: .......... done | `-- Installing libffi-3.2.1_3... | `-- Extracting libffi-3.2.1_3: .......... done | `-- Installing libressl-2.9.2... | `-- Extracting libressl-2.9.2: .......... done | `-- Installing readline-8.0.0... | `-- Extracting readline-8.0.0: .......... done `-- Extracting python27-2.7.16_1: .......... done Extracting llvm80-8.0.0_2: .......... done Message from perl5-5.28.2: 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. Message from python27-2.7.16_1: =========================================================================== Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: bsddb databases/py-bsddb gdbm databases/py-gdbm sqlite3 databases/py-sqlite3 tkinter x11-toolkits/py-tkinter =========================================================================== ===> klee-2.0 depends on executable: llvm-config80 - found ===> Returning to build of klee-2.0 ===> klee-2.0 depends on executable: gmake - not found ===> Installing existing package /packages/All/gmake-4.2.1_3.txz Installing gmake-4.2.1_3... Extracting gmake-4.2.1_3: .......... done ===> klee-2.0 depends on executable: gmake - found ===> Returning to build of klee-2.0 ===> klee-2.0 depends on executable: z3 - not found ===> Installing existing package /packages/All/z3-4.8.5.txz Installing z3-4.8.5... Extracting z3-4.8.5: .......... done ===> klee-2.0 depends on executable: z3 - found ===> Returning to build of klee-2.0 ===> klee-2.0 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-3.14.5.txz Installing cmake-3.14.5... `-- Installing curl-7.65.1_1... | `-- Installing ca_root_nss-3.45... | `-- Extracting ca_root_nss-3.45: ........ done | `-- Installing libnghttp2-1.39.1... | `-- Extracting libnghttp2-1.39.1: .......... done `-- Extracting curl-7.65.1_1: .......... done `-- Installing jsoncpp-1.8.1_6... `-- Extracting jsoncpp-1.8.1_6: .......... done `-- Installing libarchive-3.3.3_1,1... | `-- Installing liblz4-1.9.1,1... | `-- Extracting liblz4-1.9.1,1: .......... done | `-- Installing lzo2-2.10_1... | `-- Extracting lzo2-2.10_1: .......... done `-- Extracting libarchive-3.3.3_1,1: .......... done `-- Installing libuv-1.30.1... `-- Extracting libuv-1.30.1: .......... done `-- Installing rhash-1.3.5... `-- Extracting rhash-1.3.5: .......... done Extracting cmake-3.14.5: .......... done Message from ca_root_nss-3.45: ********************************* WARNING ********************************* 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. *********************************** NOTE ********************************** 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 *************************************************************************** ===> klee-2.0 depends on file: /usr/local/bin/cmake - found ===> Returning to build of klee-2.0 ===> klee-2.0 depends on package: pkgconf>=1.3.0_1 - not found ===> Installing existing package /packages/All/pkgconf-1.6.1,1.txz Installing pkgconf-1.6.1,1... Extracting pkgconf-1.6.1,1: .......... done ===> klee-2.0 depends on package: pkgconf>=1.3.0_1 - found ===> Returning to build of klee-2.0 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- ===> klee-2.0 depends on shared library: libtcmalloc.so - not found ===> Installing existing package /packages/All/google-perftools-2.7.txz Installing google-perftools-2.7... `-- Installing libunwind-20170615... `-- Extracting libunwind-20170615: .......... done Extracting google-perftools-2.7: .......... done ===> klee-2.0 depends on shared library: libtcmalloc.so - found (/usr/local/lib/libtcmalloc.so) ===> Returning to build of klee-2.0 -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for klee-2.0 ===> 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.0 -- CMake generator: Unix Makefiles -- Build type: Release -- KLEE assertions enabled -- LLVM_CONFIG_BINARY: /usr/local/bin/llvm-config80 -- LLVM_PACKAGE_VERSION: "8.0.0" -- LLVM_VERSION_MAJOR: "8" -- LLVM_VERSION_MINOR: "0" -- LLVM_VERSION_PATCH: "0" -- 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.6" -- 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.0 -- "/usr/local/llvm80/bin/clang" is compatible -- Testing bitcode compiler /usr/local/llvm80/bin/clang++ -- Compile success -- Checking compatibility with LLVM 8.0.0 -- "/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 -- Could NOT find STP (missing: STP_DIR) YURI STP_STATIC_LIBRARY= -- STP solver support disabled -- 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.8") -- 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 -- Looking for pty.h -- Looking for pty.h - not found -- Looking for util.h -- Looking for util.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:540 (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 -- -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/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: '/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 -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for klee-2.0 /usr/local/bin/cmake -S/construction/security/klee/klee-2.0 -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/Support/CMakeFiles/kleeSupport.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- --- 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.0 /construction/security/klee/klee-2.0/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/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.0 /construction/security/klee/klee-2.0/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 --- --- 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.0 /construction/security/klee/klee-2.0/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.0 /construction/security/klee/klee-2.0/lib/Expr /construction/security/klee/.build /construction/security/klee/.build/lib/Expr /construction/security/klee/.build/lib/Expr/CMakeFiles/kleaverExpr.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 --- 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/Support/CMakeFiles/kleeSupport.dir/all --- /usr/bin/make -f lib/Support/CMakeFiles/kleeSupport.dir/build.make lib/Support/CMakeFiles/kleeSupport.dir/build --- lib/Support/CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o --- --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- [ 0%] 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.0/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.0/lib/Basic/KTest.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/all --- [ 1%] 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.0/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.0/lib/Support/CompressionStream.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- Scanning dependencies of target BuildKLEERuntimes /usr/bin/make -f runtime/CMakeFiles/BuildKLEERuntimes.dir/build.make runtime/CMakeFiles/BuildKLEERuntimes.dir/build --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- Scanning dependencies of target kleaverExpr --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-mkdir --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- /usr/bin/make -f lib/Expr/CMakeFiles/kleaverExpr.dir/build.make lib/Expr/CMakeFiles/kleaverExpr.dir/build --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/intrinsics.c.o --- [ 2%] 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.0/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.0/runtime/Runtest/intrinsics.c --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- [ 3%] Creating directories for 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime --- 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 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/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 --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- [ 3%] 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.0/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.0/lib/Expr/ArrayCache.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/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 --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-download --- [ 4%] No download 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-download --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-update --- [ 5%] 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 --- [ 6%] No patch step for 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E echo_append --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-RuntimeBuild --- [ 7%] 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' LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/Intrinsic/dso_handle.c --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-patch --- 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-configure --- [ 7%] 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 --- [ 8%] Performing build step for 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E echo --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-RuntimeBuild --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/Intrinsic/klee_choose.c --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-build --- 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 --- [ 9%] Performing install 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-install --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprOptimizer.cpp.o --- [ 10%] 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.0/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.0/lib/Expr/ArrayExprOptimizer.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-RuntimeBuild --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/Intrinsic/klee_div_zero_check.c --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- --- lib/libkleeRuntest.so.1.0 --- --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/Intrinsic/klee_int.c --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- [ 11%] 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 /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.0/runtime/Intrinsic/klee_overshift_check.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/Intrinsic/klee_range.c Creating LLVM archive /construction/security/klee/.build/Debug+Asserts/lib/libkleeRuntimeIntrinsic.bca gmake[5]: Leaving directory '/construction/security/klee/.build/runtime/Intrinsic' --- 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 --- gmake[5]: Entering directory '/construction/security/klee/.build/runtime/klee-libc' --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- [ 11%] Built target kleeRuntest --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprRewriter.cpp.o --- [ 12%] 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.0/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.0/lib/Expr/ArrayExprRewriter.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/__cxa_atexit.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/abort.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/atexit.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/atoi.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/calloc.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/htonl.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/memchr.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/mempcpy.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/putchar.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/stpcpy.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strcat.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strchr.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strcmp.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strcoll.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strcpy.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strlen.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strncmp.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strncpy.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strrchr.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strtol.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strtoul.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/tolower.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/toupper.c 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.0/runtime/FreeStanding/memcmp.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/FreeStanding/memcpy.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/FreeStanding/memmove.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/FreeStanding/memset.c 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 --- [ 12%] 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 [ 12%] Built target BuildKLEERuntimes --- lib/Support/CMakeFiles/kleeSupport.dir/all --- --- lib/Support/CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o --- [ 13%] 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.0/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.0/lib/Support/ErrorHandling.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/FileHandling.cpp.o --- [ 14%] 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.0/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.0/lib/Support/FileHandling.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprVisitor.cpp.o --- [ 15%] 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.0/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.0/lib/Expr/ArrayExprVisitor.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/all --- --- lib/Support/CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o --- [ 16%] 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.0/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.0/lib/Support/MemoryUsage.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o --- [ 16%] 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.0/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.0/lib/Support/PrintVersion.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/RNG.cpp.o --- [ 17%] 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.0/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.0/lib/Support/RNG.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/Time.cpp.o --- [ 18%] 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.0/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.0/lib/Support/Time.cpp --- 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.0/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.0/lib/Support/Timer.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/TreeStream.cpp.o --- [ 20%] 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.0/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.0/lib/Support/TreeStream.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/Assigment.cpp.o --- [ 21%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Assigment.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.0/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/Assigment.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/Assigment.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/AssignmentGenerator.cpp.o --- [ 22%] 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.0/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.0/lib/Expr/AssignmentGenerator.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/Constraints.cpp.o --- [ 22%] 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.0/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.0/lib/Expr/Constraints.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprBuilder.cpp.o --- [ 23%] 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.0/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.0/lib/Expr/ExprBuilder.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/Expr.cpp.o --- [ 24%] 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.0/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.0/lib/Expr/Expr.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprEvaluator.cpp.o --- [ 25%] 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.0/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.0/lib/Expr/ExprEvaluator.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprPPrinter.cpp.o --- [ 26%] 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.0/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.0/lib/Expr/ExprPPrinter.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o --- [ 27%] Building CXX object 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.0/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.0/lib/Expr/ExprSMTLIBPrinter.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/all --- --- lib/libkleeSupport.a --- [ 28%] 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 [ 28%] 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.0 /construction/security/klee/klee-2.0/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 --- [ 29%] 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.0/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.0/lib/Module/Checks.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o --- [ 29%] Building CXX object 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.0/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.0/lib/Expr/ExprUtil.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprVisitor.cpp.o --- [ 30%] 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.0/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.0/lib/Expr/ExprVisitor.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/Lexer.cpp.o --- [ 31%] 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.0/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.0/lib/Expr/Lexer.cpp --- lib/Module/CMakeFiles/kleeModule.dir/all --- --- lib/Module/CMakeFiles/kleeModule.dir/InstructionInfoTable.cpp.o --- [ 32%] 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.0/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.0/lib/Module/InstructionInfoTable.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/Parser.cpp.o --- [ 33%] 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.0/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.0/lib/Expr/Parser.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/Updates.cpp.o --- [ 34%] 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.0/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.0/lib/Expr/Updates.cpp --- lib/Module/CMakeFiles/kleeModule.dir/all --- --- lib/Module/CMakeFiles/kleeModule.dir/InstructionOperandTypeCheckPass.cpp.o --- [ 35%] 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.0/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.0/lib/Module/InstructionOperandTypeCheckPass.cpp --- lib/Module/CMakeFiles/kleeModule.dir/IntrinsicCleaner.cpp.o --- [ 35%] 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.0/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.0/lib/Module/IntrinsicCleaner.cpp --- lib/Module/CMakeFiles/kleeModule.dir/KInstruction.cpp.o --- [ 36%] 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.0/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.0/lib/Module/KInstruction.cpp --- lib/Module/CMakeFiles/kleeModule.dir/KModule.cpp.o --- [ 37%] 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.0/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.0/lib/Module/KModule.cpp --- lib/Module/CMakeFiles/kleeModule.dir/LowerSwitch.cpp.o --- [ 38%] 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.0/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.0/lib/Module/LowerSwitch.cpp --- lib/Module/CMakeFiles/kleeModule.dir/ModuleUtil.cpp.o --- [ 39%] 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.0/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.0/lib/Module/ModuleUtil.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/libkleaverExpr.a --- [ 40%] 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/Assigment.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 [ 40%] 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.0 /construction/security/klee/klee-2.0/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 --- [ 40%] Building CXX object 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.0/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.0/lib/Solver/AssignmentValidatingSolver.cpp --- lib/Module/CMakeFiles/kleeModule.dir/all --- --- lib/Module/CMakeFiles/kleeModule.dir/Optimize.cpp.o --- [ 41%] 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.0/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.0/lib/Module/Optimize.cpp --- lib/Module/CMakeFiles/kleeModule.dir/OptNone.cpp.o --- [ 41%] 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.0/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.0/lib/Module/OptNone.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/all --- --- lib/Solver/CMakeFiles/kleaverSolver.dir/CachingSolver.cpp.o --- [ 42%] 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.0/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.0/lib/Solver/CachingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/CexCachingSolver.cpp.o --- [ 43%] Building CXX object 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.0/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.0/lib/Solver/CexCachingSolver.cpp --- lib/Module/CMakeFiles/kleeModule.dir/all --- --- lib/Module/CMakeFiles/kleeModule.dir/PhiCleaner.cpp.o --- [ 44%] 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.0/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.0/lib/Module/PhiCleaner.cpp --- lib/Module/CMakeFiles/kleeModule.dir/RaiseAsm.cpp.o --- [ 45%] 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.0/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.0/lib/Module/RaiseAsm.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/all --- --- lib/Solver/CMakeFiles/kleaverSolver.dir/ConstantDivision.cpp.o --- [ 46%] 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.0/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.0/lib/Solver/ConstantDivision.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/CoreSolver.cpp.o --- [ 47%] 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.0/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.0/lib/Solver/CoreSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/DummySolver.cpp.o --- [ 48%] 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.0/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.0/lib/Solver/DummySolver.cpp --- lib/Module/CMakeFiles/kleeModule.dir/all --- --- lib/Module/CMakeFiles/kleeModule.dir/Scalarizer.cpp.o --- [ 49%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/Scalarizer.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.0/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/Scalarizer.cpp.o -c /construction/security/klee/klee-2.0/lib/Module/Scalarizer.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/all --- --- lib/Solver/CMakeFiles/kleaverSolver.dir/FastCexSolver.cpp.o --- [ 49%] 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.0/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.0/lib/Solver/FastCexSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/IncompleteSolver.cpp.o --- [ 50%] 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.0/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.0/lib/Solver/IncompleteSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/IndependentSolver.cpp.o --- [ 51%] 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.0/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.0/lib/Solver/IndependentSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/MetaSMTSolver.cpp.o --- [ 52%] 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.0/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.0/lib/Solver/MetaSMTSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/KQueryLoggingSolver.cpp.o --- [ 53%] 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.0/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.0/lib/Solver/KQueryLoggingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/QueryLoggingSolver.cpp.o --- [ 54%] 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.0/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.0/lib/Solver/QueryLoggingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/SMTLIBLoggingSolver.cpp.o --- [ 54%] 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.0/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.0/lib/Solver/SMTLIBLoggingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/Solver.cpp.o --- [ 55%] 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.0/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.0/lib/Solver/Solver.cpp --- lib/Module/CMakeFiles/kleeModule.dir/all --- --- lib/libkleeModule.a --- [ 56%] 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/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 CMakeFiles/kleeModule.dir/Scalarizer.cpp.o /usr/bin/ranlib ../libkleeModule.a [ 56%] Built target kleeModule --- lib/Solver/CMakeFiles/kleaverSolver.dir/all --- --- lib/Solver/CMakeFiles/kleaverSolver.dir/SolverImpl.cpp.o --- [ 57%] 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.0/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.0/lib/Solver/SolverImpl.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/SolverStats.cpp.o --- [ 58%] 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.0/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.0/lib/Solver/SolverStats.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/STPBuilder.cpp.o --- [ 59%] 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.0/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.0/lib/Solver/STPBuilder.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/STPSolver.cpp.o --- [ 60%] 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.0/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.0/lib/Solver/STPSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/ValidatingSolver.cpp.o --- [ 60%] 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.0/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.0/lib/Solver/ValidatingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Builder.cpp.o --- [ 61%] 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.0/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.0/lib/Solver/Z3Builder.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o --- [ 62%] 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.0/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.0/lib/Solver/Z3Solver.cpp --- lib/libkleaverSolver.a --- [ 63%] 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/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/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 [ 63%] Built target kleaverSolver --- 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.0 /construction/security/klee/klee-2.0/lib/Basic /construction/security/klee/.build /construction/security/klee/.build/lib/Basic /construction/security/klee/.build/lib/Basic/CMakeFiles/kleeBasic.dir/DependInfo.cmake Scanning dependencies of target kleeBasic /usr/bin/make -f lib/Basic/CMakeFiles/kleeBasic.dir/build.make lib/Basic/CMakeFiles/kleeBasic.dir/build --- lib/Basic/CMakeFiles/kleeBasic.dir/CmdLineOptions.cpp.o --- --- lib/Basic/CMakeFiles/kleeBasic.dir/ConstructSolverChain.cpp.o --- --- lib/Basic/CMakeFiles/kleeBasic.dir/KTest.cpp.o --- --- lib/Basic/CMakeFiles/kleeBasic.dir/Statistics.cpp.o --- --- lib/Basic/CMakeFiles/kleeBasic.dir/CmdLineOptions.cpp.o --- [ 64%] Building CXX object lib/Basic/CMakeFiles/kleeBasic.dir/CmdLineOptions.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.0/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/CmdLineOptions.cpp.o -c /construction/security/klee/klee-2.0/lib/Basic/CmdLineOptions.cpp --- lib/Basic/CMakeFiles/kleeBasic.dir/KTest.cpp.o --- [ 65%] Building CXX object lib/Basic/CMakeFiles/kleeBasic.dir/KTest.cpp.o --- lib/Basic/CMakeFiles/kleeBasic.dir/Statistics.cpp.o --- [ 66%] Building CXX object lib/Basic/CMakeFiles/kleeBasic.dir/Statistics.cpp.o --- 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.0/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.0/lib/Basic/KTest.cpp --- 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.0/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.0/lib/Basic/Statistics.cpp --- lib/Basic/CMakeFiles/kleeBasic.dir/ConstructSolverChain.cpp.o --- [ 67%] Building CXX object lib/Basic/CMakeFiles/kleeBasic.dir/ConstructSolverChain.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.0/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/ConstructSolverChain.cpp.o -c /construction/security/klee/klee-2.0/lib/Basic/ConstructSolverChain.cpp --- lib/libkleeBasic.a --- [ 68%] 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 /usr/bin/ar qc ../libkleeBasic.a CMakeFiles/kleeBasic.dir/CmdLineOptions.cpp.o CMakeFiles/kleeBasic.dir/ConstructSolverChain.cpp.o CMakeFiles/kleeBasic.dir/KTest.cpp.o CMakeFiles/kleeBasic.dir/Statistics.cpp.o /usr/bin/ranlib ../libkleeBasic.a [ 68%] Built target kleeBasic --- lib/Core/CMakeFiles/kleeCore.dir/all --- --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- --- tools/kleaver/CMakeFiles/kleaver.dir/all --- --- tools/klee-replay/CMakeFiles/klee-replay.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/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 --- 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/kleaver/CMakeFiles/kleaver.dir/all --- /usr/bin/make -f tools/kleaver/CMakeFiles/kleaver.dir/build.make tools/kleaver/CMakeFiles/kleaver.dir/depend --- 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 --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- --- 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.0 /construction/security/klee/klee-2.0/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 --- 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.0 /construction/security/klee/klee-2.0/lib/Core /construction/security/klee/.build /construction/security/klee/.build/lib/Core /construction/security/klee/.build/lib/Core/CMakeFiles/kleeCore.dir/DependInfo.cmake --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/depend --- --- tools/kleaver/CMakeFiles/kleaver.dir/all --- --- 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.0 /construction/security/klee/klee-2.0/tools/kleaver /construction/security/klee/.build /construction/security/klee/.build/tools/kleaver /construction/security/klee/.build/tools/kleaver/CMakeFiles/kleaver.dir/DependInfo.cmake --- 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.0 /construction/security/klee/klee-2.0/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 --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- 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-random-bout/CMakeFiles/gen-random-bout.dir/all --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/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 --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- --- tools/gen-bout/CMakeFiles/gen-bout.dir/gen-bout.cpp.o --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- 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 --- --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- Scanning dependencies of target gen-random-bout --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- [ 69%] 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.0/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.0/tools/gen-bout/gen-bout.cpp --- 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/build --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/gen-random-bout.cpp.o --- --- 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/klee-replay/CMakeFiles/klee-replay.dir/all --- [ 70%] Building C object tools/klee-replay/CMakeFiles/klee-replay.dir/fd_init.c.o --- tools/kleaver/CMakeFiles/kleaver.dir/all --- --- tools/kleaver/CMakeFiles/kleaver.dir/main.cpp.o --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- 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.0/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.0/tools/klee-replay/fd_init.c --- tools/kleaver/CMakeFiles/kleaver.dir/all --- [ 71%] 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.0/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.0/tools/kleaver/main.cpp --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- [ 71%] 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.0/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.0/tools/gen-random-bout/gen-random-bout.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 --- [ 71%] Building CXX object 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.0/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.0/lib/Core/AddressSpace.cpp --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/file-creator.c.o --- [ 72%] 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.0/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.0/tools/klee-replay/file-creator.c --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- --- bin/gen-bout --- [ 73%] 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 ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/local/lib/libz3.so --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/klee-replay.c.o --- --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- [ 74%] Built target gen-bout --- lib/Core/CMakeFiles/kleeCore.dir/all --- --- lib/Core/CMakeFiles/kleeCore.dir/MergeHandler.cpp.o --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- [ 75%] 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.0/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.0/tools/klee-replay/klee-replay.c --- lib/Core/CMakeFiles/kleeCore.dir/all --- [ 76%] Building CXX object 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.0/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.0/lib/Core/MergeHandler.cpp --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- --- bin/gen-random-bout --- [ 77%] 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 /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 ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/local/lib/libz3.so --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/klee_init_env.c.o --- [ 78%] 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.0/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.0/tools/klee-replay/klee_init_env.c --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- [ 79%] Built target gen-random-bout --- lib/Core/CMakeFiles/kleeCore.dir/all --- --- lib/Core/CMakeFiles/kleeCore.dir/CallPathManager.cpp.o --- [ 80%] 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.0/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.0/lib/Core/CallPathManager.cpp --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- --- bin/klee-replay --- [ 81%] 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 ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/local/lib/libz3.so [ 81%] Built target klee-replay --- lib/Core/CMakeFiles/kleeCore.dir/all --- --- lib/Core/CMakeFiles/kleeCore.dir/Context.cpp.o --- [ 82%] Building CXX object 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.0/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.0/lib/Core/Context.cpp --- lib/Core/CMakeFiles/kleeCore.dir/CoreStats.cpp.o --- [ 83%] 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.0/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.0/lib/Core/CoreStats.cpp --- lib/Core/CMakeFiles/kleeCore.dir/ExecutionState.cpp.o --- [ 84%] 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.0/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.0/lib/Core/ExecutionState.cpp --- tools/kleaver/CMakeFiles/kleaver.dir/all --- --- bin/kleaver --- [ 85%] 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/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a /usr/local/lib/libz3.so -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so [ 86%] Built target kleaver --- lib/Core/CMakeFiles/kleeCore.dir/all --- --- lib/Core/CMakeFiles/kleeCore.dir/Executor.cpp.o --- [ 86%] 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.0/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.0/lib/Core/Executor.cpp --- lib/Core/CMakeFiles/kleeCore.dir/ExecutorTimers.cpp.o --- [ 87%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/ExecutorTimers.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.0/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/ExecutorTimers.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/ExecutorTimers.cpp --- lib/Core/CMakeFiles/kleeCore.dir/ExecutorUtil.cpp.o --- [ 88%] 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.0/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.0/lib/Core/ExecutorUtil.cpp --- lib/Core/CMakeFiles/kleeCore.dir/ExternalDispatcher.cpp.o --- [ 89%] Building CXX object 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.0/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.0/lib/Core/ExternalDispatcher.cpp --- lib/Core/CMakeFiles/kleeCore.dir/ImpliedValue.cpp.o --- [ 90%] 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.0/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.0/lib/Core/ImpliedValue.cpp --- lib/Core/CMakeFiles/kleeCore.dir/Memory.cpp.o --- [ 91%] 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.0/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.0/lib/Core/Memory.cpp --- lib/Core/CMakeFiles/kleeCore.dir/MemoryManager.cpp.o --- [ 91%] 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.0/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.0/lib/Core/MemoryManager.cpp --- lib/Core/CMakeFiles/kleeCore.dir/PTree.cpp.o --- [ 92%] 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.0/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.0/lib/Core/PTree.cpp --- lib/Core/CMakeFiles/kleeCore.dir/Searcher.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/SeedInfo.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/Searcher.cpp.o --- [ 93%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/Searcher.cpp.o --- lib/Core/CMakeFiles/kleeCore.dir/SeedInfo.cpp.o --- [ 94%] 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.0/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.0/lib/Core/SeedInfo.cpp --- 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.0/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.0/lib/Core/Searcher.cpp --- lib/Core/CMakeFiles/kleeCore.dir/SpecialFunctionHandler.cpp.o --- [ 95%] 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.0/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.0/lib/Core/SpecialFunctionHandler.cpp --- lib/Core/CMakeFiles/kleeCore.dir/StatsTracker.cpp.o --- [ 96%] 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.0/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.0/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.0/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.0/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.0/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.0/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/ExecutorTimers.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.0 /construction/security/klee/klee-2.0/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.0/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.0/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 ../../lib/libkleeModule.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a /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 -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- ===> klee-2.0 depends on executable: llvm-config80 - found ===> klee-2.0 depends on package: py36-tabulate>0 - not found ===> Installing existing package /packages/All/py36-tabulate-0.8.2_2.txz Installing py36-tabulate-0.8.2_2... `-- Installing py36-setuptools-41.0.1... | `-- Installing python36-3.6.9... | `-- Extracting python36-3.6.9: .......... done `-- Extracting py36-setuptools-41.0.1: .......... done Extracting py36-tabulate-0.8.2_2: .......... done Message from python36-3.6.9: =========================================================================== Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py36-gdbm databases/py-gdbm@py36 py36-sqlite3 databases/py-sqlite3@py36 py36-tkinter x11-toolkits/py-tkinter@py36 =========================================================================== ===> klee-2.0 depends on package: py36-tabulate>0 - found ===> Returning to build of klee-2.0 ===> klee-2.0 depends on executable: z3 - found ===> klee-2.0 depends on file: /usr/local/bin/python3.6 - found -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for klee-2.0 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/security/klee/klee-2.0 -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/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.0 /construction/security/klee/klee-2.0/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 [ 9%] 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.0 /construction/security/klee/klee-2.0/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 [ 24%] 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.0 /construction/security/klee/klee-2.0/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 [ 42%] Built target kleaverSolver /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.0 /construction/security/klee/klee-2.0/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 [ 47%] Built target kleeBasic /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.0 /construction/security/klee/klee-2.0/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.0 /construction/security/klee/klee-2.0/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.0 /construction/security/klee/klee-2.0/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.0 /construction/security/klee/klee-2.0/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.0 /construction/security/klee/klee-2.0/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.0 /construction/security/klee/klee-2.0/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.0 /construction/security/klee/klee-2.0/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.0 /construction/security/klee/klee-2.0/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.0 /construction/security/klee/klee-2.0/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 ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/local/lib/libz3.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 ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/local/lib/libz3.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/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a /usr/local/lib/libz3.so -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.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 ../../lib/libkleeModule.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a /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 ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/local/lib/libz3.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) -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for klee-2.0 file sizes/checksums [16]: . done packing files [16]: . done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Friday, 26 JUL 2019 at 09:32:22 UTC Duration: 00:07:51