dslab-epfl/cloud9 dslab-epfl/cloud9

  • Stars
    star
    52
  • Rank 560,474 (Top 12 %)
  • Language
    C++
  • License
    Other
  • Created over 12 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dslab-epfl/cloud9
github

dslab-epfl

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The Cloud9 main repository

More Repositories

1

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)
Roff
58
star
2

asap

Official repository for ASAP: High System-code Security at Low Overhead
C++
24
star
3

lfi

Fault injection library
Objective-C
22
star
4

pix

Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.
C
16
star
5

chef

The Chef symbolic execution platform, based off S2E
C
13
star
6

chef-symbex-python

A modded Python interpreter that supports symbolic execution.
Python
11
star
7

svshi

Formal verification for smart infrastructure (buildings, cities, etc.)
Python
9
star
8

klint

Repository for the "Automated Verification of Network Function Binaries" paper (NSDI'22).
Python
8
star
9

ebpf-se

Tool to symbolically execute eBPF programs
C
8
star
10

gist-static-analyzer

C++
7
star
11

chef-symbex-lua

Lua interpreter modded to support symbolic execution
C
7
star
12

cloud9-uclibc

The Cloud9/KLEE uClibc library
C
6
star
13

concord

C
6
star
14

nfos

A framework for productive development of scalable network functions
C
6
star
15

chef-tools

Python
6
star
16

myedu-catalog

EPFL MyEdu Course Catalog
Python
5
star
17

bugbase

A framework to reproduce known bugs in major systems software and do performance benchmarking of various bug finding tools
Python
5
star
18

lpn

Repo for Performance Interfaces for Hardware Accelerators.
C++
5
star
19

systems-epfl.github.io

Systems @EPFL research group home page.
HTML
4
star
20

memcached-llvm

A memcached version adapted for LLVM
C
3
star
21

cloud9-depot

The Cloud9 depot (root repository)
C++
3
star
22

symbex-smt-queries

A collection of SMT queries arising in symbolic execution workloads
2
star
23

warr

Automatically exported from code.google.com/p/warr
C++
2
star
24

accessibility-checker

Tools to check the accessibility of course material and provide suggestions for improving it.
PHP
2
star
25

buddy-suite

Automatically exported from code.google.com/p/buddy-suite
Scala
1
star
26

cloud9-boolector

Mirror of the Cloud9 Boolector repository
C
1
star
27

dimmunix

Automatically exported from code.google.com/p/dimmunix
C
1
star
28

s2e2-gui

GUI for interacting with S2E2
Python
1
star
29

jagr

Automatically exported from code.google.com/p/jagr
Java
1
star
30

s2e-guest

S2E guest utilities
C++
1
star