Alternatives and similar repositories for clairvoyance:

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

• embecosm / gso2
  GNU Superoptimizer Version 2
  ☆26Updated 3 years ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆29Updated 5 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆52Updated 2 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• benchmark-subsetting / cere
  CERE: Codelet Extractor and REplayer
  ☆40Updated last year
• eschulte / llvm-mutate
  manipulate LLVM IR files
  ☆32Updated 9 years ago
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆115Updated 5 years ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆84Updated 3 years ago
• quarkslab / llvm-dev-meeting-tutorial-2015
  Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015
  ☆49Updated 8 years ago
• SNSystems / dexter
  DExTer - Debug Experience Tester
  ☆33Updated 3 years ago
• b-shi / PMC-PMI
  Performance Counter Measurements at the cycle granularity
  ☆18Updated 3 years ago
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆32Updated 4 years ago
• CompArchCam / Janus
  Automatic Binary Parallelisation
  ☆42Updated 3 weeks ago
• SNSystems / DIVA
  Debug Information Visual Analyzer
  ☆77Updated 5 months ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆97Updated 9 years ago
• rems-project / rmem
  rmem public repo
  ☆41Updated this week
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• travitch / llvm-tools
  A set of tools for visualizing and inspecting LLVM bitcode modules
  ☆31Updated 10 years ago
• rcorcs / fmsa
  Function Merging & Branch Fusion
  ☆19Updated 5 years ago
• UTSASRG / FreeGuard
  ☆35Updated 7 years ago
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆82Updated 3 months ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆28Updated 2 years ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆60Updated 10 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 8 years ago
• SNSystems / llvm-project-prepo
  Fork of LLVM with modifications to support a program repository
  ☆26Updated 2 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆85Updated this week
• sfu-arch / llvm-epp
  Efficient Path Profiling using LLVM
  ☆19Updated 7 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• boegel / MICA
  a Pin tool for collecting microarchitecture-independent workload characteristics
  ☆60Updated last year