Steps to reproduce:
- Configure project libbacktrace
- Generate tests for function
elf_zlib_inflate_table
in file dwarf.c
- Find errors in logs
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . KLEE: ERROR: elf.c:1268: memory error: out of bound pointer
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . KLEE: NOTE: now ignoring this error at this location
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . utbot: ../lib/Core/Executor.cpp:4880: klee::ObjectPair klee::Executor::lazyInstantiateVariable(klee::ExecutionState &, ref<klee::Expr>, klee::KInstruction *, uint64_t): Assertion `!isa<ConstantExpr>(address)' failed.
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . linux-gnu/libpthread.so.0+0x12980)
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #4 0x00007ffff46fae87 raise (/lib/x86_64-linux-gnu/libc.so.6+0x3ee87)
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #5 0x00007ffff46fc7f1 abort (/lib/x86_64-linux-gnu/libc.so.6+0x407f1)
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #6 0x00007ffff46ec3fa (/lib/x86_64-linux-gnu/libc.so.6+0x303fa)
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #7 0x00007ffff46ec472 (/lib/x86_64-linux-gnu/libc.so.6+0x30472)
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #8 0x00000000032a5062 klee::Executor::lazyInstantiateVariable(klee::ExecutionState&, klee::ref<klee::Expr>, klee::KInstruction*, unsigned long) /home/utbot/UTBotCpp/submodules/klee/build/../lib/Core/Executor.cpp:0:3
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #9 0x00000000032968be klee::Executor::executeMemoryOperation(klee::ExecutionState&, klee::Executor::MemoryOperation, klee::ref<klee::Expr>, klee::ref<klee::Expr>, klee::KInstruction*) /home/utbot/UTBotCpp/submodules/klee/build/../lib/Core/Executor.cpp:0:0
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #10 0x000000000329911f klee::ref<klee::Expr>::dec() const /home/utbot/UTBotCpp/submodules/klee/build/../include/klee/ADT/Ref.h:98:9
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #11 0x000000000329911f klee::ref<klee::Expr>::~ref() /home/utbot/UTBotCpp/submodules/klee/build/../include/klee/ADT/Ref.h:89:13
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #12 0x000000000329911f klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*) /home/utbot/UTBotCpp/submodules/klee/build/../lib/Core/Executor.cpp:2845:5
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #13 0x00000000032a1d45 klee::Executor::executeStep(klee::ExecutionState&) /home/utbot/UTBotCpp/submodules/klee/build/../lib/Core/Executor.cpp:3874:3
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #14 0x00000000032a27db klee::Executor::guidedRun(klee::ExecutionState&) /home/utbot/UTBotCpp/submodules/klee/build/../lib/Core/Executor.cpp:4011:13
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #15 0x00000000032a2516 std::enable_if<__and_<std::__not_<std::__is_tuple_like<klee::PTree*> >, std::is_move_constructible<klee::PTree*>, std::is_move_assignable<klee::PTree*> >::value, void>::type std::swap<klee::PTree*>(klee::PTree*&, klee::PTree*&) /usr/lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/move.h:193:19
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #16 0x00000000032a2516 std::unique_ptr<klee::PTree, std::default_delete<klee::PTree> >::reset(klee::PTree*) /usr/lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/unique_ptr.h:400:2
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #17 0x00000000032a2516 std::unique_ptr<klee::PTree, std::default_delete<klee::PTree> >::operator=(std::nullptr_t) /usr/lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/unique_ptr.h:336:2
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #18 0x00000000032a2516 klee::Executor::runGuided(klee::ExecutionState&, klee::KFunction*) /home/utbot/UTBotCpp/submodules/klee/build/../lib/Core/Executor.cpp:3855:15
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #19 0x00000000032a71e9 klee::Executor::runMainAsGuided(llvm::Function*, int, char**, char**) /home/utbot/UTBotCpp/submodules/klee/build/../lib/Core/Executor.cpp:5163:1
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #20 0x000000000327f0b8 __gnu_cxx::__normal_iterator<KTest* const*, std::vector<KTest*, std::allocator<KTest*> > >::__normal_iterator(KTest* const* const&) /usr/lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/stl_iterator.h:804:20
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #21 0x000000000327f0b8 std::vector<KTest*, std::allocator<KTest*> >::begin() const /usr/lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/stl_vector.h:818:16
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #22 0x000000000327f0b8 std::vector<KTest*, std::allocator<KTest*> >::empty() const /usr/lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/stl_vector.h:1005:16
2022-04-11 10:30:54.839 [utbot-64TK ] RunKleeTask.cpp:66 1| . . #23 0x000000000327f0b8 run_klee_on_function(int, char**, char**, std::unique_ptr<KleeHandler, std::default_delete<KleeHandler> >&, std::unique_ptr<klee::Interpreter, std::default_delete<klee::Interpreter> >&, llvm::Module*, std::vector<bool, std::allocator<bool> >&, std::vector<std::unique_ptr<llvm::Module, std::default_delete<llvm::Module> >, std::allocator<std::unique_ptr<llvm::Module, std::default_delete<llvm::Module> > > >&) /home/utbot/UTBotCpp/submodules/klee/build/../lib/Runner/run_klee.cpp:1554:19
bug klee