Beast code in Giters

Stephen Kell's repositories

liballocs

Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s

Language:CNOASSERTION207 16 65

libcrunch

A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.

Language:OCaml96 9 6

libsystrap

Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.

Language:CGPL-3.059 6 17

libdlbind

Dynamic creation and update of ELF files, or: an allocator for JIT compilers

Language:C2800

libdwarfpp

A high-level API for accessing DWARF debugging information, in C++

Language:C++NOASSERTION22 6 11

libmallochooks

Composable high-level instrumentation for C libraries' malloc and friends

Language:C1700

elftin

Rag-bag of utilities and scripts that do strange things with ELF files

Language:C++MIT15 6 2

donald

The Mickey Mouse of dynamic linkers

Language:C13 60

librunt

A minimal basis for LD_PRELOAD-able runtime extensions and similar tools

Language:C1000

dwarfidl

Language, library and tools for DWARF-described interfaces

Language:C++6 50

libsrk31cxx

Stephen's rag-bag of C++ utilities

Language:C++400

toolsub

Toolchain subversion: utilities for taking back control of C/C++ compilation, assembling, linking

Language:C++4 5 3

cil

C Intermediate Language

Language:OCamlNOASSERTION300

dbgcov

Enumerate which source lines should be covered by debug info

Language:C++300

liballocstool

Helpers for generating descriptions of binaries' ABIs, types, allocation sites and the like

Language:C++NOASSERTION300

libx86emulate

Keir Fraser's x86-on-x86 emulator from the Xen hypervisor, hacked in various ways (currently for decode-only operation)

Language:CGPL-2.0300

binutils-gdb

Stephen's hacked version of binutils-gdb

Language:CGPL-2.0200

libcxxgen

Help for those foolish enough to want to generate C++ code.

Language:C++200

syscall-interfaces

Scripts for extracting DWARF and C header descriptions of various kernels' system call interfaces (Linux, for now).

Language:Makefile200

sysfoot

Trace userland memory accesses made by Linux/FreeBSD kernels, and check them against a spec

Language:C200

autofeedback

Unix-y tools for submission and feedback on/of assessed work

Language:C100

libantlr3cxx

C++ helpers for using ANTLR3 parsers and trees

Language:C++100

xv6-public

xv6 OS

Language:CNOASSERTION100

gramorip

Interactive track-splitting tool useful when recording from vinyl; based on Gramofile

Language:CGPL-2.0000

hacktools

Tools related to the nand2tetris Hack system

Language:Makefile000

infos

The School of Informatics (University of Edinburgh) Research Operating System

MIT000

infos-user

School of Informatics (University of Edinburgh) Research Operating System User-space

MIT000

libfootprints

Parsing and evaluating dwarfidl memory footprint expressions and making syscalls based on them. See also trap-syscalls

Language:C000

m4ntlr

M4 macros for building language-independent ANTLR grammars

Language:M4000

nand2tetris

Stephen's lightly modified version(s) of the Nand to Tetris software open-source release

Language:Java000