stephenrkell/libcrunch stephenrkell/libcrunch

  • Stars
    star
    100
  • Rank 340,703 (Top 7 %)
  • Language
    OCaml
  • Created about 12 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
stephenrkell/libcrunch
github

stephenrkell

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

liballocs

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

libsystrap

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

libdlbind

Dynamic creation and update of ELF files, or: an allocator for JIT compilers
C
31
star
4

libdwarfpp

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

libmallochooks

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

elftin

Rag-bag of utilities and scripts that do strange things with ELF files
C++
15
star
7

donald

The Mickey Mouse of dynamic linkers
C
14
star
8

cake

An implementation of the Cake composition language (or something resembling one)
C++
11
star
9

librunt

A minimal basis for LD_PRELOAD-able runtime extensions and similar tools
C
11
star
10

dwarfpython

Python interpreter which integrates with native debug infrastructure
C++
8
star
11

dwarfidl

Language, library and tools for DWARF-described interfaces
C++
6
star
12

dbgcov

Enumerate which source lines should be covered by debug info
C++
5
star
13

toolsub

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

libsrk31cxx

Stephen's rag-bag of C++ utilities
C++
4
star
15

liballocstool

Helpers for generating descriptions of binaries' ABIs, types, allocation sites and the like
C++
4
star
16

paper-scripts

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

libpmirror

Whole-process inspection and introspection library for Unix platforms
C++
3
star
18

libhighmalloc

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

libx86emulate

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

libgerald

Generate an extended dynamic linker
Makefile
3
star
21

libmemprof

A simple preloadable memory profiler (currently for Linux only)
C
2
star
22

xjig

The original X11 fuzzer from U. Wisconsin (Miller et al), updated for modern systems
C++
2
star
23

libmemtie

An implementation of tied heap storage
C++
2
star
24

sysfoot

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

libcxxfileno

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

libcxxgen

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

binutils-gdb

Stephen's hacked version of binutils-gdb
C
2
star
28

ptreetime

Profiler of process trees
C
1
star
29

autofeedback

Unix-y tools for submission and feedback on/of assessed work
C
1
star
30

instroscope

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

libantlr3cxx

C++ helpers for using ANTLR3 parsers and trees
C++
1
star
32

libdwarf

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

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.
Standard ML
1
star