Alternatives and similar repositories for codepunk:

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

• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• ISRC-CAS / PLCT-OpenDay-2020
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Updated 4 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆102Updated 2 months ago
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 7 years ago
• wcphkust / tutorialpass
  LLVM pass
  ☆22Updated 4 years ago
• SchrodingerZhu / memcpy-amd64
  An implementation of memcpy for amd64 with clang/gcc
  ☆15Updated 3 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆22Updated this week
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• sekirio-rs / Kuro
  Linux io_uring based c++ 20 coroutine library
  ☆29Updated 2 years ago
• SVF-tools / Simplified-STL
  A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation
  ☆11Updated 2 years ago
• tqyaaaaang / Hyper-OS
  Operating System Simulator
  ☆19Updated 5 years ago
• Jonathan2251 / lbt
  Develop toolchain based on llvm to for Cpu0 processor
  ☆45Updated last year
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆55Updated 5 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 4 years ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• iains / clang-cxx20-modules
  Experimental patches to implement missing C++20 modules features for the clang/LLVM toolchain.
  ☆23Updated 3 years ago
• hundt98847 / mao
  Automatically exported from code.google.com/p/mao
  ☆11Updated 4 years ago
• akemimadoka / GC
  ☆12Updated 3 years ago
• bigconvience / llvm-ir-in-action
  ☆30Updated 2 years ago
• ustb-owl / Lava
  A compiler of C subset by USTB OWL Wheel Lab.
  ☆12Updated 2 years ago
• PragmaTwice / ChthollyLang
  A simple implementation of Yet another script language Chtholly
  ☆20Updated 5 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆139Updated 3 weeks ago
• mshockwave / SQLGen
  Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.
  ☆29Updated 2 years ago
• kitbarton / LLVMLoopOptTutorial
  Tutorial for LLVM Dev Conference 2019.
  ☆14Updated 5 years ago
• Cytosine2020 / crust
  A Rust style C++ library.
  ☆19Updated 2 years ago
• sdasgup3 / partial-redundancy-elimination
  Partial Redundancy Elimination Pass in LLVM
  ☆13Updated 5 years ago
• bhumbers / optcomp
  CMU 15-745 Spring 2014
  ☆10Updated 10 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆39Updated 2 months ago