mseaborn

mseaborn's Stars

• mseaborn/x86-decoder

  A DFA-based x86-32 validator for Native Client

  Language:Python13313

• mseaborn/coconut-shell

  Coconut Shell (formerly "Shell 2"), a Bash-like shell implemented in Python, with an optional integrated terminal GUI. Will potentially become the successor to pola-shell in Plash, but it initially aims to be a non-POLA shell.

  Language:Python9300

• mseaborn/portable-dynamic-linker

  Prototype for a minimal, portable dynamic linking API

  Language:C9301

• mseaborn/seccompsandbox

  This is a sandbox based on Linux's seccomp mechanism. This is a mirror of the SVN repository.

  Language:C++6200

• mseaborn/pyrepl

  Branch of Pyrepl for use in Coconut Shell. Adds support for using Pyrepl directly with libvte, in-process.

  Language:Python5506

• mseaborn/gdb-debug-stub

  Prototype for a GDB debug stub (using GDB's Remote Serial Protocol)

  Language:C4313

• mseaborn/nacl-dev-tools

  Tools to help with development of Native Client

  Language:Python4401

• mseaborn/plash

  A sandboxing system for Linux. This is a Git mirror of the SVN repository.

  Language:C4200

• mseaborn/nacl-glibc

  Port of glibc to Google Native Client (NaCl). Mirror of repo.or.cz.

  Language:C3401

• mseaborn/nacl-model-check

  Model checker for NaCl's Windows thread suspension

  Language:Python230

• mseaborn/nacl-modular-build

  Prototype modular build system for building NaCl toolchain

  Language:Python240

• mseaborn/nacl-validator-zoo

  Collection of DFAs describing NaCl x86 validators

  230

• mseaborn/nacl-wiki

  Backup of the old NaCl wiki (from the Google Code SVN repo)

  220

• mseaborn/gnu-make

  GNU Make: changes for building glibc faster

  Language:C130

• mseaborn/hgt

  HGT: A patch management tool (on top of Git)

  Language:Python120

• mseaborn/plash-glibc

  Plash glibc

  Language:C130

• mseaborn/powerbox-spec

  Web Powerbox spec

  120

• mseaborn/sbrowse

  Simple web-based cross-referencing source code browser

  Language:Python130