$ ./encode.sh binarysearch hello123 10 5 7 7 /home/kali/Sources
Found Error opening '../../llvm/llvm-project/build/lib/LLVMInitialAnalysis.so': ../../llvm/llvm-project/build/lib/LLVMInitialAnalysis.so: cannot open shared object file: No such file or directory
-load request ignored.
opt: Unknown command line argument '-InitialAnalysis'. Try: 'opt --help'
opt: Did you mean '--tailcallelim'?
opt: Unknown command line argument '-depth'. Try: 'opt --help'
opt: Did you mean '--tti'? possible insertion Points at depth 0
./encode.sh: line 39: [[: Error opening '../../llvm/llvm-project/build/lib/LLVMInitialAnalysis.so': ../../llvm/llvm-project/build/lib/LLVMInitialAnalysis.so: cannot open shared object file: No such file or directory
-load request ignored.
opt: Unknown command line argument '-InitialAnalysis'. Try: 'opt --help'
opt: Did you mean '--tailcallelim'?
opt: Unknown command line argument '-depth'. Try: 'opt --help'
opt: Did you mean '--tti'?: syntax error: invalid arithmetic operator (error token is "'../../llvm/llvm-project/build/lib/LLVMInitialAnalysis.so': ../../llvm/llvm-project/build/lib/LLVMInitialAnalysis.so: cannot open shared object file: No such file or directory
-load request ignored.
opt: Unknown command line argument '-InitialAnalysis'. Try: 'opt --help'
opt: Did you mean '--tailcallelim'?
opt: Unknown command line argument '-depth'. Try: 'opt --help'
opt: Did you mean '--tti'?")
No Posix input style
Traceback (most recent call last):
File "/home/kali/xmark/findinputsequence.py", line 406, in
maxind=int(sys.argv[2])
ValueError: invalid literal for int() with base 10: 'Error'
input sequence found:
indice sequence:
insertion done
/usr/bin/ld: /lib/x86_64-linux-gnu/crt1.o: in function _start': (.text+0x20): undefined reference to main'
clang: error: linker command failed with exit code 1 (use -v to see invocation)
cp: cannot create regular file 'insertedProgs/': Not a directory
touch: cannot touch 'insertedProgs/binarysearch-inp': No such file or directory
./encode.sh: line 152: insertedProgs/binarysearch-inp: No such file or directory
cp: cannot stat 'binarysearch': No such file or directory
rm: cannot remove 'outfile-': No such file or directory
rm: cannot remove 'klee-out-': No such file or directory
rm: cannot remove 'binarysearch': No such file or directory
rm: cannot remove 'klee-last': No such file or directory
rm: cannot remove 'klee-out-0': No such file or directory
rm: cannot remove 'binarysearch-kleed.ll': No such file or directory
rm: cannot remove 'binarysearch-2kleed.ll': No such file or directory
cleanup done
$ ./encode.sh binarysearch hello123 10 5 7 7 /home/kali/Sources
Found Error opening '../../llvm/llvm-project/build/lib/LLVMInitialAnalysis.so': ../../llvm/llvm-project/build/lib/LLVMInitialAnalysis.so: cannot open shared object file: No such file or directory
-load request ignored.
opt: Unknown command line argument '-InitialAnalysis'. Try: 'opt --help'
opt: Did you mean '--tailcallelim'?
opt: Unknown command line argument '-depth'. Try: 'opt --help'
opt: Did you mean '--tti'? possible insertion Points at depth 0
./encode.sh: line 39: [[: Error opening '../../llvm/llvm-project/build/lib/LLVMInitialAnalysis.so': ../../llvm/llvm-project/build/lib/LLVMInitialAnalysis.so: cannot open shared object file: No such file or directory
-load request ignored.
opt: Unknown command line argument '-InitialAnalysis'. Try: 'opt --help'
opt: Did you mean '--tailcallelim'?
opt: Unknown command line argument '-depth'. Try: 'opt --help'
opt: Did you mean '--tti'?: syntax error: invalid arithmetic operator (error token is "'../../llvm/llvm-project/build/lib/LLVMInitialAnalysis.so': ../../llvm/llvm-project/build/lib/LLVMInitialAnalysis.so: cannot open shared object file: No such file or directory
-load request ignored.
opt: Unknown command line argument '-InitialAnalysis'. Try: 'opt --help'
opt: Did you mean '--tailcallelim'?
opt: Unknown command line argument '-depth'. Try: 'opt --help'
opt: Did you mean '--tti'?")
No Posix input style
Traceback (most recent call last):
File "/home/kali/xmark/findinputsequence.py", line 406, in
maxind=int(sys.argv[2])
ValueError: invalid literal for int() with base 10: 'Error'
input sequence found:
indice sequence:
insertion done
/usr/bin/ld: /lib/x86_64-linux-gnu/crt1.o: in function
_start': (.text+0x20): undefined reference tomain'clang: error: linker command failed with exit code 1 (use -v to see invocation)
cp: cannot create regular file 'insertedProgs/': Not a directory
touch: cannot touch 'insertedProgs/binarysearch-inp': No such file or directory
./encode.sh: line 152: insertedProgs/binarysearch-inp: No such file or directory
cp: cannot stat 'binarysearch': No such file or directory
rm: cannot remove 'outfile-': No such file or directory
rm: cannot remove 'klee-out-': No such file or directory
rm: cannot remove 'binarysearch': No such file or directory
rm: cannot remove 'klee-last': No such file or directory
rm: cannot remove 'klee-out-0': No such file or directory
rm: cannot remove 'binarysearch-kleed.ll': No such file or directory
rm: cannot remove 'binarysearch-2kleed.ll': No such file or directory
cleanup done