Alternatives and similar repositories for BrainFTracing

Users that are interested in BrainFTracing are comparing it to the libraries listed below

• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• thestr4ng3r / llvm-dbas
  LLVM Assembler adding Debug Information at IR Level.
  ☆32Updated 6 years ago
• MaskRay / picolld
  A stripped-down LLD (LLVM linker)
  ☆29Updated 5 years ago
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆12Updated 12 years ago
• smowton / llpe
  ☆53Updated last year
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated last week
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆22Updated 2 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 5 months ago
• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 9 years ago
• ispras / quix86
  An x86-64 instruction decoder.
  ☆16Updated last year
• frdwarf / dwarf-synthesis
  ☆29Updated 5 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 8 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• kavon / atJIT
  autotuning C++, just-in-time!
  ☆52Updated 5 years ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 5 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆42Updated 10 months ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• davidmalcolm / pygccjit
  Python bindings for libgccjit.so
  ☆48Updated 9 years ago
• crange / crange
  Crange is a tool to index and cross-reference C/C++ source code
  ☆75Updated 8 years ago
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆117Updated 5 years ago
• grievejia / LLVMDynamicTools
  An LLVM interpreter that aims to compute points-to sets dynamically
  ☆32Updated 10 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆29Updated last week
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• hundt98847 / mao
  Automatically exported from code.google.com/p/mao
  ☆11Updated 4 years ago
• doublec / nanojit
  Fork of Adobe/Mozilla lightweight library for generating machine code from C++
  ☆35Updated 15 years ago