UTSASRG / GuarderLinks
☆13Updated 6 years ago
Alternatives and similar repositories for Guarder
Users that are interested in Guarder are comparing it to the libraries listed below
Sorting:
- A (GCC) compiler plugin for multiversing functions☆20Updated 3 years ago
- code for examining determinism of performance counters☆21Updated 4 years ago
- ☆16Updated 6 years ago
- ☆36Updated 7 years ago
- memTrace, a framework for lightweight memory tracing☆58Updated 5 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆54Updated 3 years ago
- XML representation of the x86 instruction set☆28Updated last week
- ☆30Updated 3 years ago
- dthreads: Efficient Deterministic Multithreading☆51Updated 10 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 5 years ago
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- GNU Superoptimizer Version 2☆26Updated 4 years ago
- A Tool for the Static Analysis of Cache Side Channels☆40Updated 8 years ago
- ☆27Updated 2 months ago
- Crellvm: Verified Credible Compilation for LLVM☆16Updated 6 years ago
- Experimental setup of "Intel MPX explained"☆28Updated 5 years ago
- DINAMITE LLVM Pass☆11Updated 8 years ago
- ☆50Updated 3 years ago
- ☆18Updated 5 years ago
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- Efficient Path Profiling using LLVM☆19Updated 7 years ago
- ☆23Updated 6 months ago
- Runtime type and bounds-error checking for C/C++☆103Updated 6 months ago
- ☆29Updated 4 years ago
- Memory access tracing QEMU☆97Updated 8 years ago
- Rust Bindings to interact with SMTLIB2 compliant solvers☆16Updated 6 years ago
- ☆31Updated 6 years ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 3 years ago