@dslab-epfl

Dependable Systems Laboratory

  • GUI for interacting with S2E2

    Python Updated Jul 6, 2017
  • The Cloud9 depot (root repository)

    C++ 2 14 Updated Jun 13, 2016
  • C++ 6 2 Updated Dec 25, 2015
  • Official repository for ASAP: High System-code Security at Low Overhead

    C++ 9 4 BSD-2-Clause Updated Dec 4, 2015
  • A framework to reproduce known bugs in major systems software and do performance benchmarking of various bug finding tools

    Python 4 5 Updated Oct 7, 2015
  • The Chef symbolic execution platform, based off S2E

    C 3 1 Updated Aug 26, 2015
  • S2E guest utilities

    C++ 1 Updated Aug 23, 2015
  • A modded Python interpreter that supports symbolic execution.

    Python 7 Updated Aug 23, 2015
  • A collection of SMT queries arising in symbolic execution workloads

    1 MIT Updated Jul 5, 2015
  • Automatically exported from code.google.com/p/jagr

    Java Updated Apr 6, 2015
  • Automatically exported from code.google.com/p/warr

    C++ 1 1 Updated Apr 6, 2015
  • Automatically exported from code.google.com/p/buddy-suite

    Scala Updated Apr 6, 2015
  • Automatically exported from code.google.com/p/dimmunix

    C Updated Apr 6, 2015
  • Lua interpreter modded to support symbolic execution

    C 3 1 Updated Mar 18, 2015
  • Python 2 2 Updated Jan 16, 2015
  • Fault injection library

    Objective-C 17 7 GPL-3.0 Updated Dec 2, 2014
  • Flavor of simplejson that does not compile native extensions

    Python 249 Updated Jun 13, 2014
  • Tools to check the accessibility of course material and provide suggestions for improving it.

    PHP 1 GPL-3.0 Updated Jun 6, 2014
  • Like Selenium, but for Android

    Java 3 745 Apache-2.0 Updated Mar 18, 2014
  • A tool to increase the probability of deadlock occurrence

    Shell Updated Feb 26, 2014
  • A small webapp that computes scores for SwEng 2013 Homework 6

    Clojure AGPL-3.0 Updated Dec 19, 2013
  • The Cloud9 main repository

    C++ 29 23 Updated Sep 12, 2013
  • EPFL MyEdu Course Catalog

    Python 5 1 Updated Jun 24, 2013
  • Compact Executor Status Jenkins Plugin

    Java Updated Jan 24, 2013
  • Jenkins heavy-job plugin

    Java 13 Updated Jan 23, 2013
  • A memcached version adapted for LLVM

    C 3 BSD-3-Clause Updated Jul 25, 2012
  • Mirror of the Cloud9 Boolector repository

    C 1 4 GPL-3.0 Updated Jul 25, 2012
  • The Cloud9/KLEE uClibc library

    C 4 4 LGPL-2.1 Updated Jul 25, 2012