Ordered Systems Lab

Repositories

• linux

  Forked from torvalds/linux

  Linux kernel source tree
  C 35,351 0 0 0 Updated Dec 28, 2020

• violet

  Violet root repository
  Shell 0 5 0 0 Updated Oct 16, 2020

• violet-trace-analyzer

  Performance analyzer for logs generated from violet S2E plugin
  C++ 0 0 0 0 Updated Oct 15, 2020

• violet-checker

  Violet external checker
  Python 0 0 0 0 Updated Oct 10, 2020

• violet-target-sys

  Target systems that have been analyzed by Violet
  C 0 0 0 0 Updated Sep 17, 2020

• violet-target-sys-hooks

  Common library for hooks to be invoked by Violet target systems
  C 0 0 0 0 Updated Sep 17, 2020

• violet-static-analyzer
  C++ 0 0 0 0 Updated Sep 5, 2020

• violet-s2e-plugins

  Custom S2E plugins for Violet project
  C++ 0 0 1 0 Updated Sep 5, 2020

• violet-s2e-guest-tools

  Fork of S2E/guest-tools
  C 0 0 0 0 Updated Sep 4, 2020

• violet-libs2ecore

  Fork of S2E/libs2ecore
  C++ 0 0 0 0 Updated Sep 4, 2020

• violet-s2e-klee

  Fork of S2E/klee
  C++ 0 0 0 0 Updated Sep 4, 2020

• violet-s2e-guest-images
  Shell 0 0 0 0 Updated Sep 2, 2020

• violet-s2e-env

  Forked from S2E/s2e-env

  Your S2E project management tools. Visit https://s2e.systems/docs to get started.
  Python 30 0 0 0 Updated Aug 31, 2020

• violet-s2e-manifest

  Forked from S2E/manifest

  Contains the Google repo manifests to manage S2E sources
  6 0 0 0 Updated Aug 27, 2020

• violet-s2e-build-scripts

  Forked from S2E/build-scripts
  Makefile 6 0 0 0 Updated Aug 27, 2020

• violet-target-sys-configs

  Forked from gongxini/mysql_configuration
  1 0 0 0 Updated Aug 24, 2020

• s2e-libcoroutine

  Forked from S2E/s2e-libcoroutine
  C 0 0 0 0 Updated Feb 21, 2020

• s2e-libvmi

  Forked from S2E/libvmi
  C++ 0 0 0 0 Updated Feb 21, 2020

• s2e-libq

  Forked from S2E/libq
  C 0 0 0 0 Updated Feb 21, 2020

• s2e-tools

  Fork of S2E/tools
  C++ 0 0 0 0 Updated Jan 1, 2020

• s2e-libfsigcxx

  Forked from S2E/libfsigcxx
  C++ MIT 0 0 0 0 Updated Jan 1, 2020

• violet-s2e-linux-kernel

  Fork of S2E/s2e-linux-kernel
  0 0 0 0 Updated Dec 10, 2019

• violet-libs2e

  Fork of S2E/libs2e
  C++ 0 0 0 0 Updated Nov 25, 2019

• YCSB

  Forked from brianfrankcooper/YCSB

  Yahoo! Cloud Serving Benchmark
  Java Apache-2.0 1,782 0 0 0 Updated Apr 22, 2019

• leaseos-www

  LeaseOS project website
  CSS CC0-1.0 0 1 0 0 Updated Apr 11, 2019

• leaseos_local_manifests

  Local manifests file to override the AOSP repo manifests
  0 0 0 0 Updated Apr 11, 2019

• klee

  Forked from klee/klee

  KLEE Symbolic Execution Engine
  C++ 477 0 0 0 Updated Feb 18, 2019

• phasar

  Forked from secure-software-engineering/phasar

  A LLVM-based static analysis framework.
  C++ 80 0 0 0 Updated Dec 11, 2018

• soot

  Forked from soot-oss/soot

  Soot - A Java optimization framework
  Java LGPL-2.1 559 0 0 0 Updated Nov 20, 2018

• panorama

  Forked from ryanphuang/panorama

  Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection
  Go Apache-2.0 10 0 0 0 Updated Sep 25, 2018