forked from eurecom-s3/symcc
-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Alberto edited this page Dec 24, 2021
·
5 revisions
➜ symcc git:(master) ✗ take build
➜ build git:(master) ✗ cmake -G Ninja -DQSYM_BACKEND=OFF -DZ3_TRUST_SYSTEM_VERSION=ON ../
-- The C compiler identification is GNU 9.3.0
-- The CXX compiler identification is GNU 9.3.0
-- 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
-- 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
-- Found ZLIB: /usr/lib/x86_64-linux-gnu/libz.so (found version "1.2.11")
-- Found LLVM 12.0.0
-- Using LLVMConfig.cmake from /usr/lib/llvm-12/cmake
CMake Warning at CMakeLists.txt:81 (message):
The software has been developed for LLVM 8 through 11; it is unlikely to
work with other versions!
-- Configuring done
-- Generating done
-- Build files have been written to: /home/alberto/symcc-redo/symcc/build
➜ build git:(master) ✗ ninja check
[5/14] Performing configure step for 'SymRuntime'
-- The C compiler identification is GNU 9.3.0
-- The CXX compiler identification is GNU 9.3.0
-- 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
-- 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
-- Could NOT find Z3 (missing: Z3_DIR)
-- Configuring done
-- Generating done
CMake Warning:
Manually-specified variables were not used by the project:
LLVM_DIR
-- Build files have been written to: /home/alberto/symcc-redo/symcc/build/SymRuntime-prefix/src/SymRuntime-build
[7/14] Performing build step for 'SymRuntime'
[1/7] Building CXX object simple_backend/CMakeFiles/SymRuntime.dir/__/Config.cpp.o
[2/7] Building CXX object simple_backend/CMakeFiles/SymRuntime.dir/__/Shadow.cpp.o
[3/7] Building CXX object simple_backend/CMakeFiles/SymRuntime.dir/__/GarbageCollection.cpp.o
[4/7] Building CXX object simple_backend/CMakeFiles/SymRuntime.dir/__/RuntimeCommon.cpp.o
[5/7] Building CXX object simple_backend/CMakeFiles/SymRuntime.dir/__/LibcWrappers.cpp.o
[6/7] Building CXX object simple_backend/CMakeFiles/SymRuntime.dir/Runtime.cpp.o
[7/7] Linking CXX shared library libSymRuntime.so
[13/14] Testing the system...
-- Testing: 16 tests, 4 workers --
PASS: compiler :: arrays.c (1 of 16)
PASS: compiler :: bswap.c (2 of 16)
PASS: compiler :: file_input.c (3 of 16)
PASS: compiler :: if.c (4 of 16)
PASS: compiler :: integers.c (5 of 16)
PASS: compiler :: globals.c (6 of 16)
PASS: compiler :: large_alloc.c (7 of 16)
PASS: compiler :: memcpy.c (8 of 16)
PASS: compiler :: loop.c (9 of 16)
PASS: compiler :: pointers.c (10 of 16)
PASS: compiler :: read.c (11 of 16)
PASS: compiler :: strings.c (12 of 16)
PASS: compiler :: structs.c (13 of 16)
PASS: compiler :: regression/cxa_vector.ll (14 of 16)
PASS: compiler :: switch.c (15 of 16)
PASS: compiler :: floats.c (16 of 16)
Testing Time: 2.42s
Passed: 16
➜ build git:(master) ✗
All worked ok just out of the box
➜ build git:(master) ✗ ninja check
[1/4] Performing build step for 'SymRuntime'
ninja: no work to do.
[3/4] Testing the system...
-- Testing: 16 tests, 4 workers --
PASS: compiler :: floats.c (1 of 16)
PASS: compiler :: file_input.c (2 of 16)
PASS: compiler :: arrays.c (3 of 16)
PASS: compiler :: bswap.c (4 of 16)
PASS: compiler :: integers.c (5 of 16)
PASS: compiler :: large_alloc.c (6 of 16)
PASS: compiler :: if.c (7 of 16)
PASS: compiler :: globals.c (8 of 16)
PASS: compiler :: memcpy.c (9 of 16)
PASS: compiler :: read.c (10 of 16)
PASS: compiler :: loop.c (11 of 16)
PASS: compiler :: pointers.c (12 of 16)
PASS: compiler :: strings.c (13 of 16)
PASS: compiler :: switch.c (14 of 16)
PASS: compiler :: structs.c (15 of 16)
PASS: compiler :: regression/cxa_vector.ll (16 of 16)
Testing Time: 1.58s
Passed: 16
➜ build git:(master) ✗
All worked ok just out of the box
➜ build git:(dev) ✗ cmake -G Ninja -DQSYM_BACKEND=OFF -DZ3_TRUST_SYSTEM_VERSION=ON ../
-- Found LLVM 13.0.1
-- Using LLVMConfig.cmake from /usr/lib/llvm-13/cmake
CMake Warning at CMakeLists.txt:81 (message):
The software has been developed for LLVM 8 through 11; it is unlikely to
work with other versions!
-- Configuring done
-- Generating done
-- Build files have been written to: /home/alberto/github/symcc/build
➜ build git:(dev) ✗ ninja clean
[0/1] Re-running CMake...
-- Found LLVM 13.0.1
-- Using LLVMConfig.cmake from /usr/lib/llvm-13/cmake
CMake Warning at CMakeLists.txt:81 (message):
The software has been developed for LLVM 8 through 11; it is unlikely to
work with other versions!
-- Configuring done
-- Generating done
-- Build files have been written to: /home/alberto/github/symcc/build
[1/1] Cleaning all built files...
Cleaning... 9 files.
➜ build git:(dev) ✗ ninja check
[5/14] Performing configure step for 'SymRuntime'
-- Could NOT find Z3 (missing: Z3_DIR)
-- Configuring done
-- Generating done
-- Build files have been written to: /home/alberto/github/symcc/build/SymRuntime-prefix/src/SymRuntime-build
[6/14] Performing build step for 'SymRuntime'
ninja: no work to do.
[13/14] Testing the system...
-- Testing: 16 tests, 4 workers --
PASS: compiler :: if.c (1 of 16)
PASS: compiler :: loop.c (2 of 16)
PASS: compiler :: regression/cxa_vector.ll (3 of 16)
PASS: compiler :: file_input.c (4 of 16)
PASS: compiler :: globals.c (5 of 16)
PASS: compiler :: integers.c (6 of 16)
PASS: compiler :: memcpy.c (7 of 16)
PASS: compiler :: bswap.c (8 of 16)
PASS: compiler :: structs.c (9 of 16)
PASS: compiler :: strings.c (10 of 16)
PASS: compiler :: pointers.c (11 of 16)
PASS: compiler :: read.c (12 of 16)
PASS: compiler :: large_alloc.c (13 of 16)
PASS: compiler :: switch.c (14 of 16)
PASS: compiler :: arrays.c (15 of 16)
PASS: compiler :: floats.c (16 of 16)
Testing Time: 2.50s
Passed: 16
➜ build git:(dev) ✗
The loop test case generates only 4 case when originally 5 were expected. I need to investigate why :)
➜ symcc git:(dev) ✗ take build
➜ build git:(dev) ✗ cmake -G Ninja -DQSYM_BACKEND=ON -DZ3_TRUST_SYSTEM_VERSION=ON ../
-- The C compiler identification is GNU 9.3.0
-- The CXX compiler identification is GNU 9.3.0
-- 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
-- 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
-- Found ZLIB: /usr/lib/x86_64-linux-gnu/libz.so (found version "1.2.11")
-- Found LibXml2: /usr/lib/x86_64-linux-gnu/libxml2.so (found version "2.9.10")
-- Found LLVM 13.0.1
-- Using LLVMConfig.cmake from /usr/lib/llvm-13/cmake
CMake Warning at CMakeLists.txt:81 (message):
The software has been developed for LLVM 8 through 11; it is unlikely to
work with other versions!
-- Configuring done
-- Generating done
-- Build files have been written to: /home/alberto/github/symcc/build
➜ build git:(dev) ✗ ninja check
[5/14] Performing configure step for 'SymRuntime'
-- The C compiler identification is GNU 9.3.0
-- The CXX compiler identification is GNU 9.3.0
-- 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
-- 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
-- Found ZLIB: /usr/lib/x86_64-linux-gnu/libz.so (found version "1.2.11")
-- Found LibXml2: /usr/lib/x86_64-linux-gnu/libxml2.so (found version "2.9.10")
-- Could NOT find Z3 (missing: Z3_DIR)
-- Configuring done
-- Generating done
-- Build files have been written to: /home/alberto/github/symcc/build/SymRuntime-prefix/src/SymRuntime-build
[11/14] Performing build step for 'SymRuntime'
[1/21] Generating Qsym's expr__gen.cpp
[2/21] Generating Qsym's expr__gen.cpp
[3/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/qsym/qsym/pintool/dependency.cpp.o
[4/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/qsym/qsym/pintool/expr_cache.cpp.o
[5/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/qsym/qsym/pintool/expr_evaluate.cpp.o
[6/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/qsym/qsym/pintool/allocation.cpp.o
[7/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/expr__gen.cpp.o
[8/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/qsym/qsym/pintool/logging.cpp.o
[9/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/qsym/qsym/pintool/solver.cpp.o
/home/alberto/github/symcc/runtime/qsym_backend/qsym/qsym/pintool/solver.cpp: In member function ‘bool qsym::Solver::isInterestingJcc(qsym::ExprRef, bool, ADDRINT)’:
/home/alberto/github/symcc/runtime/qsym_backend/qsym/qsym/pintool/solver.cpp:511:39: warning: unused parameter ‘rel_expr’ [-Wunused-parameter]
511 | bool Solver::isInterestingJcc(ExprRef rel_expr, bool taken, ADDRINT pc) {
| ~~~~~~~~^~~~~~~~
[10/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/qsym/qsym/pintool/third_party/xxhash/xxhash.cpp.o
[11/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/qsym/qsym/pintool/afl_trace_map.cpp.o
[12/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/qsym/qsym/pintool/call_stack_manager.cpp.o
[13/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/__/Config.cpp.o
[14/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/qsym/qsym/pintool/third_party/llvm/range.cpp.o
[15/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/__/RuntimeCommon.cpp.o
[16/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/__/Shadow.cpp.o
[17/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/__/LibcWrappers.cpp.o
[18/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/__/GarbageCollection.cpp.o
[19/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/expr_builder__gen.cpp.o
qsym_backend/expr_builder__gen.cpp: In member function ‘qsym::ExprRef qsym::SymbolicExprBuilder::createSub(qsym::NonConstantExprRef, qsym::NonConstantExprRef)’:
qsym_backend/expr_builder__gen.cpp:827:7: warning: this statement may fall through [-Wimplicit-fallthrough=]
827 | if (l->getChild(0)->isConstant()) {
| ^~
qsym_backend/expr_builder__gen.cpp:832:5: note: here
832 | case Sub: {
| ^~~~
[20/21] Building CXX object qsym_backend/CMakeFiles/SymRuntime.dir/Runtime.cpp.o
[21/21] Linking CXX shared library libSymRuntime.so
/usr/bin/ld: qsym_backend/CMakeFiles/SymRuntime.dir/Runtime.cpp.o: in function `_sym_initialize':
Runtime.cpp:(.text+0x36e): warning: the use of `tmpnam' is dangerous, better use `mkstemp'
[13/14] Testing the system...
-- Testing: 16 tests, 4 workers --
PASS: compiler :: floats.c (1 of 16)
PASS: compiler :: arrays.c (2 of 16)
PASS: compiler :: bswap.c (3 of 16)
PASS: compiler :: file_input.c (4 of 16)
PASS: compiler :: integers.c (5 of 16)
PASS: compiler :: large_alloc.c (6 of 16)
PASS: compiler :: if.c (7 of 16)
PASS: compiler :: globals.c (8 of 16)
PASS: compiler :: loop.c (9 of 16)
PASS: compiler :: read.c (10 of 16)
PASS: compiler :: pointers.c (11 of 16)
PASS: compiler :: memcpy.c (12 of 16)
PASS: compiler :: strings.c (13 of 16)
PASS: compiler :: switch.c (14 of 16)
PASS: compiler :: structs.c (15 of 16)
PASS: compiler :: regression/cxa_vector.ll (16 of 16)
Testing Time: 1.79s
Passed: 16
➜ build git:(dev) ✗