Error when running scripts/experiment.sh

[guangshengfan]

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]

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.

[guangshengfan]

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.

[guangshengfan]

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