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
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆11Updated 2 months ago
- UB-aware interpreter for LLVM debugging☆31Updated last month
- Linux io_uring based c++ 20 coroutine library☆29Updated 3 years ago
- ☆12Updated 4 years ago
- CCG is a random C Code Generator☆43Updated 3 years ago
- An April fools joke, a llvm backend to CMake☆48Updated 4 years ago
- A compiler of C subset by USTB OWL Wheel Lab.☆13Updated 2 years ago
- website of hellollvm.org☆39Updated 4 months ago
- Operating System Simulator☆18Updated 6 years ago
- A simple implementation of Yet another script language Chtholly☆20Updated 6 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆17Updated 7 months ago
- Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.☆34Updated 2 years ago
- LLVM pass☆24Updated 5 years ago
- DIY Compiler☆45Updated last year
- Partial Redundancy Elimination Pass in LLVM☆14Updated 6 years ago
- PLCT实验室2020年开放日活动的演讲资料☆13Updated 4 years ago
- A LR(1) parser generator targeting C++17.☆13Updated 5 years ago
- Yet another python JIT.☆20Updated 2 years ago
- Runtime type and bounds-error checking for C/C++☆105Updated 10 months ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆16Updated last week
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- Header-only C/C++ static keys to avoid the overhead of conditional branches☆14Updated last year
- C++ Compile-Time eValuator for scheme☆21Updated 5 years ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆145Updated 5 years ago
- eBPF version of https://github.com/brendangregg/wss☆11Updated 2 years ago
- Develop toolchain based on llvm to for Cpu0 processor☆49Updated last week
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- Tutorial for LLVM Dev Conference 2019.☆15Updated 6 years ago