Code used in a short tutorial on LLVM passes for the Software Reliablity Group (SRG) at Imperial
☆19Apr 26, 2015Updated 10 years ago
Alternatives and similar repositories for srg-llvm-pass-tutorial
Users that are interested in srg-llvm-pass-tutorial are comparing it to the libraries listed below
Sorting:
- Collection of various llvm passes☆130Jun 2, 2015Updated 10 years ago
- Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.☆14Mar 14, 2019Updated 6 years ago
- Minimal tool for measuring cost of mode switch☆15Jun 26, 2021Updated 4 years ago
- IDA Pro plugin manager☆22Jan 23, 2023Updated 3 years ago
- manipulate LLVM IR files☆32Jul 15, 2015Updated 10 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Feb 18, 2020Updated 6 years ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- ☆26Oct 5, 2016Updated 9 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- rcu example of linux kernel. tag : rcu, list rcu, linux kernel rcu, kernel rcu, read copy update, rcu example☆34Dec 15, 2022Updated 3 years ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- Effective System Call Aggregation☆39Nov 3, 2022Updated 3 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 10 years ago
- A risc-v simulator based on SystrmC☆14Jan 7, 2022Updated 4 years ago
- 計算機結構 -- Nand2tetris Part I (金門大學 / 資訊工程系 106 上學期 )☆12Dec 21, 2017Updated 8 years ago
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- ☆18Dec 4, 2025Updated 2 months ago
- Code coverage reporting tool☆51Nov 27, 2016Updated 9 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Oct 26, 2022Updated 3 years ago
- ☆74Feb 20, 2023Updated 3 years ago
- MetroHash v1: Exceptionally fast and statistically robust hash functions☆10Apr 10, 2025Updated 10 months ago
- The labs of ARC university courses☆12Aug 29, 2023Updated 2 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Feb 23, 2026Updated last week
- biRISC-V - 32-bit dual issue RISC-V CPU Software Environment☆15Jun 24, 2021Updated 4 years ago
- Fast poor man's profiler for Linux☆12Jun 8, 2023Updated 2 years ago
- ☆13Feb 13, 2026Updated 2 weeks ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- design, run and test desired situations using human, AI, bot or computer control☆11Oct 9, 2018Updated 7 years ago
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 5 years ago
- Native Linux KVM tool☆12Feb 4, 2026Updated 3 weeks ago
- A platform that provides users with easy access to AI services developed by Montimage and usage of explainable AI techniques (e.g., LIME,…☆10Feb 17, 2026Updated last week
- Tiny C library for inter-thread/process communication via channels. Linux-only.☆12Feb 21, 2016Updated 10 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- BOSSA is the programming software used to program SAM-based Arduino boards like Flutter. We added our chip.☆12Mar 17, 2015Updated 10 years ago
- Minimal ZX Spectrum for Ulx3s ECP5 board☆12May 7, 2020Updated 5 years ago
- ☆17Jan 6, 2024Updated 2 years ago