Dependable Systems Laboratory

EPFL, Switzerland

Pinned Repositories

asap
Official repository for ASAP: High System-code Security at Low Overhead
Language:C++24 24 28
chef
The Chef symbolic execution platform, based off S2E
Language:C13 19 352
chef-symbex-python
A modded Python interpreter that supports symbolic execution.
Language:Python11 22 71
cloud9
The Cloud9 main repository
Language:C++52 26 2029
ebpf-se
Tool to symbolically execute eBPF programs
Language:C12 3 07
lfi
Fault injection library
Language:Objective-C22 23 210
lpn
Repo for Performance Interfaces for Hardware Accelerators.
Language:C++12 2 00
pix
Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.
Language:C16 2 03
tinynf
Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without overhead is practical" (ICSE 2023)
Language:Roff62 1 07
tpot
Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)
Language:C11 2 01

Dependable Systems Laboratory's Repositories

dslab-epfl/tinynf
Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without overhead is practical" (ICSE 2023)
Language:Roff62 1 07
dslab-epfl/asap
Official repository for ASAP: High System-code Security at Low Overhead
Language:C++24 24 28
dslab-epfl/pix
Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.
Language:C16 2 03
dslab-epfl/chef
The Chef symbolic execution platform, based off S2E
Language:C13 19 352
dslab-epfl/ebpf-se
Tool to symbolically execute eBPF programs
Language:C12 3 07
dslab-epfl/lpn
Repo for Performance Interfaces for Hardware Accelerators.
Language:C++12 2 00
dslab-epfl/chef-symbex-python
A modded Python interpreter that supports symbolic execution.
Language:Python11 22 71
dslab-epfl/tpot
Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)
Language:C11 2 01
dslab-epfl/svshi
Formal verification for smart infrastructure (buildings, cities, etc.)
Language:Python9 8 03
dslab-epfl/concord
Language:C8 4 02
dslab-epfl/klint
Repository for the "Automated Verification of Network Function Binaries" paper (NSDI'22).
Language:Python8 2 55
dslab-epfl/chef-symbex-lua
Lua interpreter modded to support symbolic execution
Language:C7 22 13
dslab-epfl/gist-static-analyzer
Language:C++7 7 32
dslab-epfl/nfos
A framework for productive development of scalable network functions
Language:C6 3 00
dslab-epfl/bugbase
A framework to reproduce known bugs in major systems software and do performance benchmarking of various bug finding tools
Language:Python5 23 09
dslab-epfl/systems-epfl.github.io
Systems @EPFL research group home page.
Language:HTML5 3 09
dslab-epfl/cloud9-depot
The Cloud9 depot (root repository)
Language:C++3 21 017
dslab-epfl/dimmunix
Automatically exported from code.google.com/p/dimmunix
Language:C2 17 31
dslab-epfl/symbex-smt-queries
A collection of SMT queries arising in symbolic execution workloads
2 19 0
dslab-epfl/warr
Automatically exported from code.google.com/p/warr
Language:C++2 18 01
dslab-epfl/buddy-suite
Automatically exported from code.google.com/p/buddy-suite
Language:Scala1 17 0
dslab-epfl/jagr
Automatically exported from code.google.com/p/jagr
Language:Java1 18 01
dslab-epfl/s2e-guest
S2E guest utilities
Language:C++1 19 11
dslab-epfl/s2e2-gui
GUI for interacting with S2E2
Language:Python1 3 21
dslab-epfl/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
Language:Python1 0
dslab-epfl/mv-rlu
MV-RLU: Scaling Read-Log-Update with Multi-Versioning
Language:HTML1 0
dslab-epfl/nfos-experiments
Language:Lua2 0
dslab-epfl/old-cloud9-uclibc
Old version of uclibc, just in case.
Language:C1 0
dslab-epfl/security-group.epfl.ch
Language:HTML1 0
dslab-epfl/state-merging
Old repository for the PLDI'12 paper.
Language:C++10 01