Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Error when running scripts/experiment.sh #607

Open
ghost opened this issue Mar 20, 2024 · 3 comments
Open

Error when running scripts/experiment.sh #607

ghost opened this issue Mar 20, 2024 · 3 comments

Comments

@ghost
Copy link

ghost commented Mar 20, 2024

I have installed the version of tag 0.1-alpha. Is it the version of the PLDI paper?
I run the Double-strncmp experiment, and use:

sudo scripts/experiment.sh | tee blowup.csv

but meet error:
sed: read error on stdin: Is a directory
/bin/sh: 1: clang: not found
/bin/sh: 1: llc: not found
make: *** [Makefile:33: objects/1.o] Error 127
Could not find relevant section!
1,please specify a section available sections:,Could not find relevant section!
please specify a section available sections:,Could not find relevant section!
please specify a section
available sections:

How to deal with this problem?

@elazarg
Copy link
Collaborator

elazarg commented Mar 20, 2024

The version of the paper is the one linked from the readme:
https://github.com/vbpf/ebpf-verifier/tree/d29fd26345c3126bf166cf1c45233a9b2f9fb0a0.
Let me know if it doesn't work for you.

Note that your results will differ from the paper, possibly substantially, since there had been many changes in the Linux verifier.

@ghost
Copy link
Author

ghost commented Mar 20, 2024

I use the version you suggested, but still meet similar problem when running:

sudo scripts/experiment.sh | tee blowup.csv

the error log is:

sed: read error on stdin: Is a directory
/bin/sh: 1: clang: not found
/bin/sh: 1: llc: not found
make: *** [Makefile:33: objects/1.o] Error 127
Can't find or process ELF file objects/1.o
1,,Can't find or process ELF file objects/1.o
,Can't find or process ELF file objects/1.o

clang and llc are already in my system environment and path.

@ghost
Copy link
Author

ghost commented Mar 20, 2024

Maybe it is the problem of the writing of experiment.sh?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant