hardenedapple / gdb-walkersLinks
Bring mdb walkers to gdb, also add other helpful commands.
☆34Updated 10 months ago
Alternatives and similar repositories for gdb-walkers
Users that are interested in gdb-walkers are comparing it to the libraries listed below
Sorting:
- ALLVM Tools☆56Updated 3 years ago
- a tool for querying Dwarf (debuginfo) graphs☆58Updated last year
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆107Updated last year
- ☆29Updated 6 years ago
- Automatic regression verification for LLVM programs☆19Updated 4 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆50Updated 5 months ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Filesystem access tracer☆86Updated last year
- ☆20Updated 6 years ago
- Linux kernel library functions formally verified.☆52Updated last month
- GDB helper scripts☆47Updated 3 weeks ago
- Markup source code showing optimizations☆36Updated 5 years ago
- Some experiments with SMT solvers and GIMPLE IR☆40Updated 2 years ago
- A Valgrind tool for finding redundant loads/stores☆21Updated 5 years ago
- A program for automatically resolving #ifdef statements in C code.☆37Updated last year
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 5 years ago
- Automatically spawn gdb on error.☆69Updated 3 years ago
- A library for binary analysis and rewriting☆49Updated 2 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆64Updated last month
- Production Performance Telemetry☆21Updated 5 years ago
- The Mickey Mouse of dynamic linkers☆16Updated last month
- Clade is a tool for extracting information about software build process and source code☆22Updated 2 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆27Updated 2 years ago
- Parser for the llvm bitcode format☆60Updated last week
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆124Updated 2 years ago
- BSD-licensed CTF Implementation☆21Updated 10 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Updated 4 months ago
- Command line editor, C api, readline replacement☆26Updated last year
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Updated 4 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆184Updated 6 years ago