PragmaTwice / codepunkLinks
[WIP] Interval Analysis on LLVM IR
☆12Updated 5 years ago
Alternatives and similar repositories for codepunk
Users that are interested in codepunk are comparing it to the libraries listed below
Sorting:
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Updated 3 years ago
- CCG is a random C Code Generator☆44Updated 3 years ago
- UB-aware interpreter for LLVM debugging☆31Updated this week
- Runtime type and bounds-error checking for C/C++☆105Updated 8 months ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆10Updated 2 weeks ago
- ☆31Updated 3 years ago
- Develop toolchain based on llvm to for Cpu0 processor☆49Updated this week
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆31Updated 9 years ago
- ☆14Updated last year
- Function Merging & Branch Fusion☆19Updated 6 years ago
- autotuning C++, just-in-time!☆52Updated 5 years ago
- Experimental patches to implement missing C++20 modules features for the clang/LLVM toolchain.☆23Updated 3 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆15Updated last year
- LLVM Call Graph☆28Updated 4 years ago
- Linux io_uring based c++ 20 coroutine library☆29Updated 3 years ago
- Tutorial for LLVM Dev Conference 2019.☆15Updated 5 years ago
- extensible interpreter for LLVM dynamic analyses☆45Updated 12 years ago
- website of hellollvm.org☆39Updated 2 months ago
- A simple implementation of Yet another script language Chtholly☆20Updated 6 years ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆16Updated last week
- A simple example of defining custom plugins for clang and the clang static analyzer.☆87Updated 4 years ago
- Header-only C/C++ static keys to avoid the overhead of conditional branches☆14Updated last year
- LLVM pass☆24Updated 5 years ago
- Tool to demangle C++ symbols.☆58Updated 2 years ago
- Performance Counter Measurements at the cycle granularity☆18Updated 4 years ago
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Updated 5 years ago
- 这是个中文版的C++小测题。☆22Updated 5 years ago
- Operating System Simulator☆19Updated 6 years ago