stephenrkell

Cambridge / London, United Kingdom

Pinned Repositories

cake
An implementation of the Cake composition language (or something resembling one)
Language:C++111
donald
The Mickey Mouse of dynamic linkers
Language:C14 6 01
elftin
Rag-bag of utilities and scripts that do strange things with ELF files
Language:C++15 6 20
liballocs
Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
Language:C216 16 7726
libcrunch
A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
Language:OCaml100 9 74
libdlbind
Dynamic creation and update of ELF files, or: an allocator for JIT compilers
Language:C32 6 21
libdwarfpp
A high-level API for accessing DWARF debugging information, in C++
Language:C++23 6 1112
libmallochooks
Composable high-level instrumentation for C libraries' malloc and friends
Language:C17 5 01
libsystrap
Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
Language:C59 8 187
linksem
Executable semantics of linking (ELF static linking only, for now). This repository is archived -- see https://github.com/rems-project/linksem for the live version.
Language:Standard ML12

stephenrkell's Repositories

stephenrkell/liballocs
Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
Language:C216 16 7726
stephenrkell/libcrunch
A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
Language:OCaml100 9 74
stephenrkell/libsystrap
Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
Language:C59 8 187
stephenrkell/libdlbind
Dynamic creation and update of ELF files, or: an allocator for JIT compilers
Language:C32 6 21
stephenrkell/libdwarfpp
A high-level API for accessing DWARF debugging information, in C++
Language:C++23 6 1112
stephenrkell/libmallochooks
Composable high-level instrumentation for C libraries' malloc and friends
Language:C17 5 01
stephenrkell/elftin
Rag-bag of utilities and scripts that do strange things with ELF files
Language:C++15 6 20
stephenrkell/donald
The Mickey Mouse of dynamic linkers
Language:C14 6 01
stephenrkell/librunt
A minimal basis for LD_PRELOAD-able runtime extensions and similar tools
Language:C11 5 2
stephenrkell/dwarfidl
Language, library and tools for DWARF-described interfaces
Language:C++6 5 04
stephenrkell/dbgcov
Enumerate which source lines should be covered by debug info
Language:C++5 5 21
stephenrkell/toolsub
Toolchain subversion: utilities for taking back control of C/C++ compilation, assembling, linking
Language:Shell5 5 33
stephenrkell/liballocstool
Helpers for generating descriptions of binaries' ABIs, types, allocation sites and the like
Language:C++4 5 0
stephenrkell/libsrk31cxx
Stephen's rag-bag of C++ utilities
Language:C++4 4 02
stephenrkell/cil
C Intermediate Language
Language:OCaml3 4 03
stephenrkell/libx86emulate
Keir Fraser's x86-on-x86 emulator from the Xen hypervisor, hacked in various ways (currently for decode-only operation)
Language:C3 4 01
stephenrkell/binutils-gdb
Stephen's hacked version of binutils-gdb
Language:C2 4 01
stephenrkell/libcxxgen
Help for those foolish enough to want to generate C++ code.
Language:C++2 3 01
stephenrkell/syscall-interfaces
Scripts for extracting DWARF and C header descriptions of various kernels' system call interfaces (Linux, for now).
Language:Makefile2 4 0
stephenrkell/sysfoot
Trace userland memory accesses made by Linux/FreeBSD kernels, and check them against a spec
Language:C2 4 0
stephenrkell/autofeedback
Unix-y tools for submission and feedback on/of assessed work
Language:C1 3 0
stephenrkell/libantlr3cxx
C++ helpers for using ANTLR3 parsers and trees
Language:C++1 3 02
stephenrkell/xv6-public
xv6 OS
Language:C168
stephenrkell/gramorip
Interactive track-splitting tool useful when recording from vinyl; based on Gramofile
Language:C
stephenrkell/hacktools
Tools related to the nand2tetris Hack system
Language:Makefile3 0
stephenrkell/infos
The School of Informatics (University of Edinburgh) Research Operating System
stephenrkell/infos-user
School of Informatics (University of Edinburgh) Research Operating System User-space
stephenrkell/libfootprints
Parsing and evaluating dwarfidl memory footprint expressions and making syscalls based on them. See also trap-syscalls
Language:C
stephenrkell/m4ntlr
M4 macros for building language-independent ANTLR grammars
Language:M43 0
stephenrkell/nand2tetris
Stephen's lightly modified version(s) of the Nand to Tetris software open-source release
Language:Java