hardenedapple / gdb-walkers

Related projects: ⓘ

• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆53Updated 4 months ago
• allvm / allvm-tools
  ALLVM Tools
  ☆55Updated 2 years ago
• jacereda / fsatrace
  Filesystem access tracer
  ☆78Updated 3 weeks ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 8 years ago
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆14Updated 5 years ago
• terminaldweller / cgrep
  grep for C/C++ source files.
  ☆25Updated last week
• thestr4ng3r / llvm-dbas
  LLVM Assembler adding Debug Information at IR Level.
  ☆31Updated 5 years ago
• travitch / llvm-tools
  A set of tools for visualizing and inspecting LLVM bitcode modules
  ☆30Updated 9 years ago
• frdwarf / dwarf-synthesis
  ☆24Updated 4 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated 11 months ago
• BR903 / cppp
  A program for automatically resolving #ifdef statements in C code.
  ☆34Updated last year
• drepper / optmark
  Markup source code showing optimizations
  ☆35Updated 4 years ago
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆59Updated last year
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆65Updated 8 years ago
• lally / ppt
  Production Performance Telemetry
  ☆21Updated 3 years ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆18Updated 3 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• cemeyer / structhole
  A feature-incomplete peekahole (pahole) clone that doesn't rely on libdwarves (and doesn't choke on Clang output)
  ☆22Updated 6 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆100Updated last week
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆28Updated 5 years ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆19Updated 9 months ago
• kristerw / deadstores
  A Valgrind tool for finding redundant loads/stores
  ☆21Updated 4 years ago
• deater / deterministic
  code for examining determinism of performance counters
  ☆20Updated 3 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated 3 weeks ago
• tromey / gdb-gui
  A gdb gui written in Python, running inside gdb itself.
  ☆44Updated 5 months ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 4 years ago
• da-x / fancydiff
  Colorful Git diffs for terminal and web, including source syntax highlighting
  ☆24Updated 4 years ago