bpfverif
Pinned Loading
Repositories
Showing 10 of 10 repositories
- agni Public
- ebpf-domains-intersection Public
- tnums-cgo22 Public
- speculativeNotes Public
Notes and code storage for a thesis on how the verifier handles speculative side channel attacks
- agni-smt-verification Public
Tests for checking consistency between eBPF verifier behavior and Agni SMT formula behavior.
- ebpf-verifier-bugs Public
This repository is a collection of bugs in the eBPF verifier's range analysis discovered by our tool Agni
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…