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:
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆21Updated last month
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- UB-aware interpreter for LLVM debugging☆43Updated 3 weeks ago
- CCG is a random C Code Generator☆43Updated 3 years ago
- Runtime type and bounds-error checking for C/C++☆106Updated last year
- An implementation of memcpy for amd64 with clang/gcc☆15Updated 4 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 8 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Updated 5 months ago
- Linux io_uring based c++ 20 coroutine library☆28Updated 3 years ago
- A compiler of C subset by USTB OWL Wheel Lab.☆13Updated 3 years ago
- DIY Compiler☆45Updated last year
- Yet another python JIT.☆20Updated 2 years ago
- A simple implementation of Yet another script language Chtholly☆21Updated 6 years 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
- ☆14Updated last year
- Develop toolchain based on llvm to for Cpu0 processor☆53Updated 3 months ago
- Ocolos is the first open-sourced online code layout optimization system for unmodified applications written in unmanaged languages.☆53Updated last month
- LLVM pass☆23Updated 5 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆18Updated 10 months ago
- Embedded Universal DSL: a good DSL for us, by us☆66Updated this week
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 6 years ago
- A simple example of defining custom plugins for clang and the clang static analyzer.☆91Updated 5 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆31Updated 10 years ago
- Generic model checker for concurrent C programs (mirror repository)☆190Updated 2 months ago
- memTrace, a framework for lightweight memory tracing☆58Updated 6 years ago
- LLVM Call Graph☆28Updated 4 years ago
- ☆30Updated 3 years ago
- Example of Antlr4 C++ Target☆40Updated 5 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆50Updated 2 months ago
- ☆12Updated 4 years ago