Alternatives and similar repositories for OptimizingCompiler:

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

• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• bin2415 / llvm_CFGPass
  llvm control flow graph
  ☆26Updated 5 years ago
• zihaoli-cn / compiler-paper-reading
  A group of students who are interested in Compilers, and they want to improve themselves together.
  ☆26Updated 2 years ago
• drzchen / movec
  Movec: A Tool for the Monitoring and Verification of C Programs
  ☆22Updated last year
• kitbarton / LLVMLoopOptTutorial
  Tutorial for LLVM Dev Conference 2019.
  ☆15Updated 5 years ago
• Jonathan2251 / lbt
  Develop toolchain based on llvm to for Cpu0 processor
  ☆45Updated last year
• travitch / llvm-analysis
  A library for analyzing LLVM bitcode in Haskell
  ☆43Updated 10 years ago
• ChinaNuke / ast-interpreter
  国科大编译作业：基于Clang的C语言解释执行器
  ☆40Updated 3 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆24Updated 6 months ago
• bin2415 / llvm-stack-guard
  简化版本llvm的stackprotector策略，将其包装成一个pass，对程序的stack进行保护
  ☆14Updated 7 years ago
• wcphkust / tutorialpass
  LLVM pass
  ☆23Updated 4 years ago
• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆25Updated 5 years ago
• kisslune / POCR
  ☆14Updated 9 months ago
• ZJU-Automated-Reasoning-Group / smtfuzz
  A fuzzer for SMT solvers
  ☆19Updated 2 months ago
• xiehuc / llvm-pred
  predicate scientific program performance model using llvm
  ☆28Updated 9 years ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆52Updated 2 weeks ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆49Updated 11 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆103Updated 3 months ago
• imdea-software / LLVM_Instrumentation_Pass
  ☆24Updated 8 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆39Updated 3 months ago
• pwwpche / CSE231-LLVM_Program_Analysis
  Program Analysis framework using LLVM. Course project of Advanced Compiler
  ☆17Updated 7 years ago
• bin2415 / llvm_DFGPass
  llvm Data Flow Graph dump
  ☆37Updated 3 years ago
• thu-pacman / Spindle
  ☆31Updated last year
• mrdrivingduck / paper-outline
  🔍 To record the papers I have read.
  ☆25Updated 3 years ago
• awen-li / PCA
  A data dependence analyzer for C program
  ☆21Updated 3 years ago
• ZJU-SEC / Readings
  ☆61Updated 2 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• goyalankit / compilers-and-llvm
  LLVM optimization passes (DCE, LICM), compilers and stuff
  ☆13Updated 4 years ago
• ksplit / ksplit-artifacts
  Artifacts for the paper "KSplit: Automating Device Driver Isolation"
  ☆11Updated 2 years ago