eBPF-SE
eBPF symbolic execution tool
eBPF-SE is a tool that symbolically executes eBPF programs written for the Linux kernel. It is based on the KLEE symbolic execution engine and uses models (stubs) for the Linux kernel's libbpf API. This allows exploring all program paths without path explosion from the real API implementation. eBPF-SE was previously part of PIX, a tool that extracts performance interfaces from network function code.
Code AnalysisDebugNetwork
- Technical
- Source code: Lab Github
- Last commit: 2024-03-05
The Dependable Systems Lab develops techniques and abstractions for building trustworthy computer systems, i.e., systems that are safe and secure. They:
- Explore the fundamental challenges posed to security and safety by large-scale systems consisting of many threads, many nodes, and millions of lines of code written by many programmers
- Seek solutions that solve real-world problems by overcoming theoretical worst-case limitations
- Build open-source prototypes that enable evaluation of these solutions with real-world workloads
- Operate at the intersection of operating systems, distributed systems, programming languages, formal methods, and computer architecture
This page was last edited on 2024-03-20.
This page was last edited on 2024-03-20.