Pinned Repositories
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.
gdb-debug-stub
Prototype for a GDB debug stub (using GDB's Remote Serial Protocol)
nacl-dev-tools
Tools to help with development of Native Client
plash
A sandboxing system for Linux. This is a Git mirror of the SVN repository.
portable-dynamic-linker
Prototype for a minimal, portable dynamic linking API
pyrepl
Branch of Pyrepl for use in Coconut Shell. Adds support for using Pyrepl directly with libvte, in-process.
rowhammer-test
Test DRAM for bit flips caused by the rowhammer problem
seccompsandbox
This is a sandbox based on Linux's seccomp mechanism. This is a mirror of the SVN repository.
tiny-llvm-codegen
A fast, dumb and small LLVM code generator. This generates x86-32 code from LLVM bitcode.
x86-decoder
A DFA-based x86-32 validator for Native Client
mseaborn's Repositories
mseaborn/tiny-llvm-codegen
A fast, dumb and small LLVM code generator. This generates x86-32 code from LLVM bitcode.
mseaborn/x86-decoder
A DFA-based x86-32 validator for Native Client
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.
mseaborn/portable-dynamic-linker
Prototype for a minimal, portable dynamic linking API
mseaborn/rowhammer-test
Test DRAM for bit flips caused by the rowhammer problem
mseaborn/seccompsandbox
This is a sandbox based on Linux's seccomp mechanism. This is a mirror of the SVN repository.
mseaborn/gdb-debug-stub
Prototype for a GDB debug stub (using GDB's Remote Serial Protocol)
mseaborn/nacl-dev-tools
Tools to help with development of Native Client
mseaborn/plash
A sandboxing system for Linux. This is a Git mirror of the SVN repository.
mseaborn/nacl-model-check
Model checker for NaCl's Windows thread suspension
mseaborn/nacl-modular-build
Prototype modular build system for building NaCl toolchain
mseaborn/nacl-validator-zoo
Collection of DFAs describing NaCl x86 validators
mseaborn/nacl-wiki
Backup of the old NaCl wiki (from the Google Code SVN repo)
mseaborn/hgt
HGT: A patch management tool (on top of Git)
mseaborn/minsfi-unzip
Zip file unpacker, sandboxed using MinSFI
mseaborn/powerbox-spec
Web Powerbox spec
mseaborn/sandboxing-zlib-proxy
Wrapper for zlib that does decompression inside a sandbox
mseaborn/sbrowse
Simple web-based cross-referencing source code browser
mseaborn/tiny-llvm-bitcode
Reader and writer for an alternative, minimal, compact LLVM wire format
mseaborn/cape-ivy-removal
Notes on removing cape ivy (Delairea odorata), an invasive plant
mseaborn/cfi-ret-microbenchmark
Microbenchmark for CFI-RET scheme
mseaborn/compare-patches
Tool for reviewing a Git merge commit by comparing patches before and after the merge
mseaborn/nativeclient-issues
Backup of Native Client issue tracker from Google Code
mseaborn/ppapi-example-without-libc
Example of a NaCl program that uses PPAPI without a libc
mseaborn/pywind
Python files for getting
mseaborn/sandstorm
Personal Cloud Sandbox
mseaborn/switch
A Pyomo / Pysp implementation of the SWITCH grid planning model
mseaborn/switch-gb-data
Datasets for Switch GB (Britain) model
mseaborn/switch-v1
Archive of Switch v1, based on Ampl
mseaborn/switch_py
A Pyomo / Pysp implementation of the SWITCH grid planning model