dinamite-toolkit / dinamiteLinks
DINAMITE LLVM Pass
☆11Updated 8 years ago
Alternatives and similar repositories for dinamite
Users that are interested in dinamite are comparing it to the libraries listed below
Sorting:
- ☆36Updated 7 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆54Updated 3 years ago
- Function Merging & Branch Fusion☆19Updated 6 years ago
- dthreads: Efficient Deterministic Multithreading☆51Updated 10 years ago
- XML representation of the x86 instruction set☆28Updated 2 weeks ago
- Freud, a tool to create Performance Annotations for C/C++ programs☆21Updated 11 months ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆69Updated 8 years ago
- ☆13Updated 6 years ago
- Performance Counter Measurements at the cycle granularity☆18Updated 3 years ago
- Framework for creating simple, efficient, and composable lock-free data structures☆12Updated 9 years ago
- DMon Prototype for OSDI 2021 Artifact Evaluation☆22Updated 4 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- Automated multicore scalability testing tool☆88Updated 9 years ago
- Slice-aware Memory Management - Exploiting NUCA Characteristic of LLC in Intel Processors☆40Updated 6 years ago
- ☆16Updated 6 years ago
- Experimental setup of "Intel MPX explained"☆28Updated 5 years ago
- Runtime type and bounds-error checking for C/C++☆103Updated 6 months ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Updated 9 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆31Updated 5 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆30Updated 11 years ago
- code for examining determinism of performance counters☆21Updated 4 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 3 years ago
- Efficient Path Profiling using LLVM☆19Updated 7 years ago
- ☆15Updated 4 years ago
- memTrace, a framework for lightweight memory tracing☆58Updated 5 years ago
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 3 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- A small library and kernel module for easy access to x86 performance monitor counters under Linux.☆99Updated last year
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- Experimental translation of llvm to smt.☆56Updated 5 years ago