Alternatives and similar repositories for codepunk:

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

• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• ISRC-CAS / PLCT-OpenDay-2020
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Updated 4 years ago
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 7 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• SchrodingerZhu / memcpy-amd64
  An implementation of memcpy for amd64 with clang/gcc
  ☆15Updated 3 years ago
• wcphkust / tutorialpass
  LLVM pass
  ☆22Updated 4 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆26Updated 2 weeks ago
• sekirio-rs / Kuro
  Linux io_uring based c++ 20 coroutine library
  ☆29Updated 2 years ago
• eliphatfs / yapyjit
  Yet another python JIT.
  ☆20Updated last year
• SVF-tools / Simplified-STL
  A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation
  ☆11Updated 2 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆102Updated 2 months ago
• akemimadoka / GC
  ☆12Updated 3 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆39Updated last week
• sdasgup3 / partial-redundancy-elimination
  Partial Redundancy Elimination Pass in LLVM
  ☆13Updated 5 years ago
• tqyaaaaang / Hyper-OS
  Operating System Simulator
  ☆19Updated 5 years ago
• laithsakka / Grafter
  TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.
  ☆10Updated last year
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• binsec / icse2021-artifact992
  ☆10Updated 4 years ago
• jiangyy / rwtrace
  A shared memory dependence tracing tool for dynamic concurrent program analysis
  ☆12Updated 10 years ago
• ganler / GanlerCS
  Some CS notes during Jiawei's undergrad.
  ☆31Updated 3 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• mit-pdos / ward
  ☆31Updated 3 years ago
• Jonathan2251 / lbt
  Develop toolchain based on llvm to for Cpu0 processor
  ☆45Updated last year
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆39Updated 3 months ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• bhumbers / optcomp
  CMU 15-745 Spring 2014
  ☆10Updated 11 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 2 years ago
• hundt98847 / mao
  Automatically exported from code.google.com/p/mao
  ☆11Updated 4 years ago