Skip to content

@dslab-epfl Dependable Systems Laboratory

Change the repository type filter

All

    Repositories list

    44 repositories

    • tpot

      Public
      Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)
      C
      •0•4•0•0•Updated Aug 21, 2024Aug 21, 2024

    • lpn

      Public
      Repo for Performance Interfaces for Hardware Accelerators.
      C++
      •0•7•0•0•Updated Jun 28, 2024Jun 28, 2024

    • klint

      Public
      Repository for the "Automated Verification of Network Function Binaries" paper (NSDI'22).
      Python
      •
      MIT License
      •5•8•2•0•Updated Mar 27, 2024Mar 27, 2024

    • concord

      Public
      C
      •
      MIT License
      •2•6•0•0•Updated Mar 25, 2024Mar 25, 2024

    • ebpf-se

      Public
      Tool to symbolically execute eBPF programs
      C
      •
      MIT License
      •6•8•0•0•Updated Mar 5, 2024Mar 5, 2024

    • mv-rlu

      Public
      MV-RLU: Scaling Read-Log-Update with Multi-Versioning
      HTML
      •
      Other
      •12•0•0•0•Updated Feb 5, 2024Feb 5, 2024

    • systems-epfl.github.io

      Public
      Systems @epfl research group home page.
      HTML
      •
      Other
      •9•4•0•3•Updated Dec 5, 2023Dec 5, 2023

    • nfos

      Public
      A framework for productive development of scalable network functions
      C
      •
      MIT License
      •0•6•0•0•Updated Nov 13, 2023Nov 13, 2023

    • nfos-experiments

      Public
      Lua
      •
      MIT License
      •0•0•0•0•Updated Nov 9, 2023Nov 9, 2023

    • tinynf

      Public
      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)
      Roff
      •
      MIT License
      •7•60•0•0•Updated Apr 14, 2023Apr 14, 2023

    • svshi

      Public
      Formal verification for smart infrastructure (buildings, cities, etc.)
      Python
      •
      MIT License
      •3•9•0•2•Updated Feb 7, 2023Feb 7, 2023

    • chef

      Public
      The Chef symbolic execution platform, based off S2E
      C
      •
      Other
      •2•13•11•0•Updated Nov 1, 2022Nov 1, 2022

    • pix

      Public
      Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.
      C
      •
      MIT License
      •2•16•0•0•Updated Jul 14, 2022Jul 14, 2022

    • CrossHair

      Public
      An analysis tool for Python that blurs the line between testing and type systems.
      Python
      •
      Other
      •49•0•0•0•Updated Jun 22, 2022Jun 22, 2022

    • state-merging

      Public
      Old repository for the PLDI'12 paper.
      C++
      •
      Other
      •1•0•0•0•Updated Nov 15, 2021Nov 15, 2021

    • old-cloud9-uclibc

      Public
      Old version of uclibc, just in case.
      C
      •
      GNU Lesser General Public License v2.1
      •0•0•0•0•Updated Nov 15, 2021Nov 15, 2021

    • security-group.epfl.ch

      Public
      HTML
      •9•0•0•0•Updated Sep 20, 2021Sep 20, 2021

    • s2e2-gui

      Public
      GUI for interacting with S2E2
      Python
      •1•1•0•0•Updated Jul 6, 2017Jul 6, 2017

    • cloud9-depot

      Public
      The Cloud9 depot (root repository)
      C++
      •17•3•0•2•Updated Jun 13, 2016Jun 13, 2016

    • gist-static-analyzer

      Public
      C++
      •
      Other
      •2•7•2•0•Updated Dec 25, 2015Dec 25, 2015

    • asap

      Public
      Official repository for ASAP: High System-code Security at Low Overhead
      C++
      •
      BSD 2-Clause "Simplified" License
      •8•24•2•0•Updated Dec 3, 2015Dec 3, 2015

    • bugbase

      Public
      A framework to reproduce known bugs in major systems software and do performance benchmarking of various bug finding tools
      Python
      •
      Other
      •9•5•0•0•Updated Oct 6, 2015Oct 6, 2015

    • s2e-guest

      Public
      S2E guest utilities
      C++
      •1•1•1•0•Updated Aug 23, 2015Aug 23, 2015

    • chef-symbex-python

      Public
      A modded Python interpreter that supports symbolic execution.
      Python
      •
      Other
      •1•11•0•0•Updated Aug 23, 2015Aug 23, 2015

    • symbex-smt-queries

      Public
      A collection of SMT queries arising in symbolic execution workloads
      MIT License
      •0•2•0•0•Updated Jul 4, 2015Jul 4, 2015

    • jagr

      Public
      Automatically exported from code.google.com/p/jagr
      Java
      •1•1•0•0•Updated Apr 6, 2015Apr 6, 2015

    • warr

      Public
      Automatically exported from code.google.com/p/warr
      C++
      •1•2•0•0•Updated Apr 6, 2015Apr 6, 2015

    • buddy-suite

      Public
      Automatically exported from code.google.com/p/buddy-suite
      Scala
      •0•1•0•0•Updated Apr 6, 2015Apr 6, 2015

    • dimmunix

      Public
      Automatically exported from code.google.com/p/dimmunix
      C
      •1•2•3•0•Updated Apr 6, 2015Apr 6, 2015

    • chef-symbex-lua

      Public
      Lua interpreter modded to support symbolic execution
      C
      •3•7•1•0•Updated Mar 17, 2015Mar 17, 2015