dtcxzyw / llvm-apr-benchmarkView external linksLinks
A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs
☆21Updated this week
Alternatives and similar repositories for llvm-apr-benchmark
Users that are interested in llvm-apr-benchmark are comparing it to the libraries listed below
Sorting:
- An LLVM IR dataset for data-driven compiler optimization research☆75Updated this week
- UB-aware interpreter for LLVM debugging☆44Updated this week
- ☆16Aug 19, 2024Updated last year
- Terribly incorrect and incomplete AOT compiler for mRuby. Source code for the LLVM Social Berlin #20☆10Aug 25, 2022Updated 3 years ago
- scripts for testing TiDB☆10Feb 4, 2026Updated last week
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Oct 30, 2018Updated 7 years ago
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- Verifying the optimization phases of the GraalVM compiler☆14Jan 13, 2025Updated last year
- Most influential papers in programming languages☆59Jan 20, 2025Updated last year
- Do integer arithmetic with fsub.☆35Feb 7, 2026Updated last week
- ☆18Jul 26, 2024Updated last year
- ☆23Mar 21, 2024Updated last year
- A bounded exhaustive testing tool☆22Jul 3, 2025Updated 7 months ago
- PL/SE conference deadline countdowns☆19Nov 23, 2020Updated 5 years ago
- python exp of pwnable' problems☆18Feb 5, 2024Updated 2 years ago
- Lean 4 as a scripting language in Houdini☆21Mar 13, 2024Updated last year
- ULPatch is open source user space live patch tool.☆13Jan 11, 2026Updated last month
- CS315 Lab & Assignment in SUSTech☆22Dec 14, 2021Updated 4 years ago
- The SysY compiler competition. A backup before official path gets set up.☆47Aug 20, 2025Updated 5 months ago
- OpenCL extension for csmith.☆27Nov 27, 2025Updated 2 months ago
- ☆21Nov 10, 2019Updated 6 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆31Apr 10, 2021Updated 4 years ago
- A randomized program fuzzer for the Rust programming language☆64Jul 21, 2023Updated 2 years ago
- An unofficial reference implementation of the C Minus Minus Compiler☆70Feb 3, 2025Updated last year
- FoRTE-Research's fuzzing benchmarks☆57Mar 12, 2019Updated 6 years ago
- SUSTech CS202 (Computer Organization) Project, with CPU hardware implemented in Chisel(Scala) and software cross-compiled from Rust.☆34Jun 16, 2023Updated 2 years ago
- Java decompilation & deobfuscation lab - dockerized toolset☆14Updated this week
- ☆45Apr 10, 2021Updated 4 years ago
- ☆14Aug 4, 2021Updated 4 years ago
- Smart Sessions with EIP-7702 EOA☆16Nov 15, 2024Updated last year
- Statistics from our binary transformation framework☆10Jan 16, 2025Updated last year
- CERE: Codelet Extractor and REplayer☆40Sep 27, 2023Updated 2 years ago
- Compiler-instrumented app tracing.☆53May 17, 2024Updated last year
- Yet Another Random Program Generator☆543Nov 24, 2025Updated 2 months ago
- Neon lights in the night tonight and stars that shine in the open sky☆46Dec 17, 2023Updated 2 years ago
- greenforce LLVM clang compiled with LTO, BOLT, and PGO.☆10Updated this week
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- EWDK C++ toolchain for bazel☆11Feb 1, 2026Updated 2 weeks ago
- Cheat Engine alternative written in Rust☆12Nov 15, 2022Updated 3 years ago