Skip to content

clang: error: linker command failed with exit code 1 (use -v to see invocation) #1

@prithvish111

Description

@prithvish111

$ ./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

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions