silentbicycle / autoclaveLinks
repeatedly run programs until they break, and be ready to attach a debugger
☆196Updated 7 years ago
Alternatives and similar repositories for autoclave
Users that are interested in autoclave are comparing it to the libraries listed below
Sorting:
- The engine that powers DeLorean!☆836Updated 5 years ago
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆438Updated 2 years ago
- X86_64 Linux webserver in assembler☆107Updated 10 years ago
- BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.☆117Updated 2 months ago
- Bill McCloskey's memoize.py, grabbed with archive.org from http://www.eecs.berkeley.edu/~billm/memoize.html☆117Updated 2 years ago
- undo in any program that uses readline☆162Updated 7 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 4 years ago
- Scripting with Least Privilege☆111Updated 8 years ago
- Simple code generator☆248Updated last year
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆287Updated 5 years ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆81Updated 8 years ago
- Structured shrinking of unknown file formats☆96Updated 8 years ago
- A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.☆105Updated 3 months ago
- An implementation of the unix commands yes, cat, and echo in as few bytes of executable as possible☆62Updated 9 years ago
- Superfast Line Counter☆51Updated 4 years ago
- Trace And Rewrite Delays In Syscalls: Hooking time-related Linux syscalls to warp a process's perspective of time, using ptrace.☆160Updated last year
- state machine visual debugger☆121Updated 10 years ago
- a tiny, custom launcher that handles namespacing, control groups, chroot'ing, and more☆55Updated 3 years ago
- yet another lexical preprocessor☆40Updated 4 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆325Updated 9 years ago
- a plot device☆323Updated 6 years ago
- Fault injection library☆51Updated 9 years ago
- Inline C/asm in Bash☆252Updated 8 years ago
- Ekam Build System☆232Updated 2 years ago
- Wireshark-Specific Dissector Language☆198Updated 8 years ago
- A practical interface generator for data formats.☆128Updated 5 years ago
- A collection of clang plugins for safer C programming☆92Updated 6 years ago
- Use some TLS servers for trusted timestamping☆42Updated 10 years ago
- A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux☆68Updated 12 years ago
- ZeroScript☆82Updated 10 years ago