Discover @stephenrkell Open Source projects

Stephen Kell (@stephenrkell)

stephenrkell

Stars
568
Global Rank 51,713 (Top 2 %)
Followers 208
Following 3
Registered about 13 years ago
Most used languages

C++
41.2 %

C
41.2 %

Shell
5.9 %

Makefile 5.9 %

Standard ML 2.9 %

OCaml
2.9 %
Location 🇬🇧 United Kingdom
Country Total Rank 2,725
Country Ranking

Standard ML 21

OCaml
31

C
146

Makefile 320

C++
527

Shell
1,905

liballocs

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

libcrunch

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

libsystrap

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

libdlbind

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

libdwarfpp

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

libmallochooks

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

elftin

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

donald

The Mickey Mouse of dynamic linkers

cake

An implementation of the Cake composition language (or something resembling one)

librunt

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

dwarfpython

Python interpreter which integrates with native debug infrastructure

dwarfidl

Language, library and tools for DWARF-described interfaces

dbgcov

Enumerate which source lines should be covered by debug info

toolsub

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

libsrk31cxx

Stephen's rag-bag of C++ utilities

liballocstool

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

paper-scripts

Handy scripts for those who read, print, share and cite research papers (or similar)

libpmirror

Whole-process inspection and introspection library for Unix platforms

libhighmalloc

A simple yet fun way to break 64-bit-unclean code (being a distribution of Doug Lea's dlmalloc)

libx86emulate

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

libgerald

Generate an extended dynamic linker

libmemprof

A simple preloadable memory profiler (currently for Linux only)

xjig

The original X11 fuzzer from U. Wisconsin (Miller et al), updated for modern systems

libmemtie

An implementation of tied heap storage

sysfoot

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

libcxxfileno

Distribution of Richard Kreckel's fileno() function for popular implementations of the C++ standard library

libcxxgen

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

binutils-gdb

Stephen's hacked version of binutils-gdb

ptreetime

Profiler of process trees

autofeedback

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

instroscope

Scripts for comparing machine code after instrumentation by various tools, on small code snippets (mostly C)

libantlr3cxx

C++ helpers for using ANTLR3 parsers and trees

libdwarf

Stephen's not-too-divergent fork of David Anderson's libdwarf (https://www.prevanders.net/dwarf.html)

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.