frdwarf / dwarf-synthesis

Related projects ⓘ

Alternatives and complementary repositories for dwarf-synthesis

• frdwarf / dwarf-assembly
  ☆17Updated 5 years ago
• MaskRay / picolld
  A stripped-down LLD (LLVM linker)
  ☆29Updated 4 years ago
• drepper / optmark
  Markup source code showing optimizations
  ☆35Updated 4 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• HexHive / memTrace
  memTrace, a framework for lightweight memory tracing
  ☆55Updated 4 years ago
• stephenrkell / libdlbind
  Dynamic creation and update of ELF files, or: an allocator for JIT compilers
  ☆32Updated 10 months ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 8 years ago
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 5 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆68Updated 8 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆101Updated 2 months ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆41Updated 4 months ago
• CompArchCam / Janus
  Automatic Binary Parallelisation
  ☆37Updated last year
• 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
• andikleen / ftracer
  Function tracer for gcc
  ☆34Updated 7 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• eschulte / llvm-mutate
  manipulate LLVM IR files
  ☆32Updated 9 years ago
• jfbastien / jit-talk
  ☆47Updated 4 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆29Updated 9 years ago
• facebookarchive / Rseq
  Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations
  ☆33Updated 5 years ago
• m4b / elf2json
  Converts an ELF binary to a JSON representation
  ☆33Updated 9 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• thestr4ng3r / llvm-dbas
  LLVM Assembler adding Debug Information at IR Level.
  ☆31Updated 6 years ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆32Updated 5 months ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆51Updated 2 years ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 8 years ago
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆59Updated last week
• usi-systems / freud
  Freud, a tool to create Performance Annotations for C/C++ programs
  ☆21Updated 4 months ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 4 years ago
• davidmalcolm / pygccjit
  Python bindings for libgccjit.so
  ☆48Updated 9 years ago