jtcriswell / llvm-dsaView external linksLinks
LLVM trunk with poolalloc trunk modified to compile only DSA
☆12Jul 9, 2015Updated 10 years ago
Alternatives and similar repositories for llvm-dsa
Users that are interested in llvm-dsa are comparing it to the libraries listed below
Sorting:
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆31Nov 7, 2015Updated 10 years ago
- Automatic Binary Parallelisation☆43Feb 28, 2025Updated 11 months ago
- Implementation of Tagged Memory security policies into Rocket Core☆10Nov 8, 2016Updated 9 years ago
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 4 years ago
- CERE: Codelet Extractor and REplayer☆40Sep 27, 2023Updated 2 years ago
- ☆11Jan 10, 2024Updated 2 years ago
- Spectre variant 1 exploitation via PRIME+PROBE☆10May 22, 2019Updated 6 years ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago
- Artifact of paper "Exploiting Recent SIMD Architectural Advances for Irregular Applications"☆11Jun 23, 2016Updated 9 years ago
- 一个命令行弹幕姬 / display bullet from bilibili live stream comments in command line.☆11Sep 27, 2024Updated last year
- A sample kernel module showing the memory reordering.☆11May 30, 2020Updated 5 years ago
- Helpful CMake modules - 3.0+☆12May 16, 2017Updated 8 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 5 months ago
- Graph the dependencies of your repositories☆18Jan 16, 2019Updated 7 years ago
- NeonGoby alias analysis checker☆14Jul 2, 2013Updated 12 years ago
- Chaitin-Briggs register-allocation algorithm (LLVM back-end)☆12Jan 6, 2016Updated 10 years ago
- Source code of the double-fetch bug detection approach based on Coccinelle engine☆10Jan 2, 2017Updated 9 years ago
- Slides on memory and caches☆14May 9, 2024Updated last year
- Predictive-Corrective Incompressible SPH paper implementation☆13May 13, 2016Updated 9 years ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- 4096bit Iterative digit-digit Montgomery Multiplication in Verilog☆18Apr 18, 2022Updated 3 years ago
- Lightweight C++ API for Lua☆26Feb 1, 2026Updated last week
- View the dependencies of your repositories.☆11Nov 8, 2022Updated 3 years ago
- An MLIR to Native Code generator☆14Jan 3, 2024Updated 2 years ago
- Architect's workbench☆10May 5, 2016Updated 9 years ago
- Automatically exported from code.google.com/p/eqntott☆15Sep 23, 2015Updated 10 years ago
- Kernel for the SDM845 modules☆13Jan 31, 2026Updated 2 weeks ago
- 7️⃣ systemd source-git for RHEL7☆11Jul 11, 2025Updated 7 months ago
- Plugin to clang's static analyzer with PHP specific tests☆12Jan 27, 2015Updated 11 years ago
- A solution for nested array in bash☆10Apr 23, 2013Updated 12 years ago
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆13May 19, 2025Updated 8 months ago
- hardening-check from debian checks binarys for Pie (Position Independent Executeable), Stack protection, fortify source and immediate bin…☆12Sep 12, 2016Updated 9 years ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆12May 3, 2024Updated last year
- A suite of simple programs to test Intels' TSX extension☆14May 13, 2017Updated 8 years ago
- A curated collection of scripts for kernel-related devops☆13Nov 23, 2023Updated 2 years ago
- A lightweight IPC mechanism☆13Mar 29, 2016Updated 9 years ago
- git://g.csail.mit.edu/kint☆51Oct 20, 2013Updated 12 years ago
- Collection of full, mini, proxy, and benchmark apps.☆11Feb 14, 2020Updated 6 years ago
- ERA runtime made with Rust☆14Nov 10, 2024Updated last year