Comments (3)
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.
from ebpf-verifier.
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.
from ebpf-verifier.
Maybe it is the problem of the writing of experiment.sh?
from ebpf-verifier.
Related Issues (20)
- Verifier stucks while verifying the loop program
- Docker build not working (missing things + compiler errors)?
- Unsafe XDP program passes verification on Windows HOT 4
- Stack memory tracking improvements
- MOVSX shouldn't operate on immediate
- Add support for subprograms (call_local) HOT 1
- "adjust_head" statistic is not cross-platform safe
- Add support for calling a helper function by BTF ID
- Why not implement the wrapped_interval domain to support machine integer analysis? HOT 2
- UndefinedBehaviorSanitizer: radix_substr shift exponent 64 is too large for 64-bit type
- bitset_domain_t::all_num assert that lb < ub
- EBPF_ARGUMENT_TYPE_PTR_TO_MAP_VALUE should permit values from other maps
- bpf_map_lookup_elem assertion is wrong for BPF_MAP_TYPE_HASH_OF_MAPS of BPF_MAP_TYPE_PROG_ARRAY HOT 1
- FuzzerDebug configuration not setting correct flags
- Stream operator for ValidMapKeyValue always says target is stack location
- Compiler version for Ubuntu build
- Verification failures are printed in label order, making investigating failures difficult HOT 7
- Feature Request: Add Read-Only CTX Descriptor.
- assert(!thread_local_options.assume_assertions || is_bottom()) hit when fuzzing with assume_assertions on HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from ebpf-verifier.