dslab-epfl Goto Github PK

accessibility-checker

Tools to check the accessibility of course material and provide suggestions for improving it.

asap

Official repository for ASAP: High System-code Security at Low Overhead

buddy-suite

Automatically exported from code.google.com/p/buddy-suite

bugbase

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

chef

The Chef symbolic execution platform, based off S2E

chef-symbex-lua

Lua interpreter modded to support symbolic execution

chef-symbex-python

A modded Python interpreter that supports symbolic execution.

chef-tools

cloud9

The Cloud9 main repository

cloud9-boolector

Mirror of the Cloud9 Boolector repository

cloud9-depot

The Cloud9 depot (root repository)

cloud9-uclibc

The Cloud9/KLEE uClibc library

compact-exe-status-plugin

Compact Executor Status Jenkins Plugin

concord

crosshair

An analysis tool for Python that blurs the line between testing and type systems.

dimmunix

Automatically exported from code.google.com/p/dimmunix

ebpf-se

Tool to symbolically execute eBPF programs

gist-static-analyzer

heavy-job-plugin

Jenkins heavy-job plugin

jagr

Automatically exported from code.google.com/p/jagr

klint

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

lfi

Fault injection library

lockout

A tool to increase the probability of deadlock occurrence

lpn

Repo for Performance Interfaces for Hardware Accelerators.

memcached-llvm

A memcached version adapted for LLVM

mv-rlu

MV-RLU: Scaling Read-Log-Update with Multi-Versioning

myedu-catalog

EPFL MyEdu Course Catalog

nfos

A framework for productive development of scalable network functions

nfos-experiments

old-cloud9-uclibc

Old version of uclibc, just in case.