You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
$ ./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
The text was updated successfully, but these errors were encountered:
$ ./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
The text was updated successfully, but these errors were encountered: