5 open source projects by stephenrkell

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

Runtime + instrumentation adding precise, accurate and fash(-ish) dynamic checking to C (bounds errors, type confusion, ...).

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

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

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