luhsra / multiverse
A (GCC) compiler plugin for multiversing functions
☆19Updated 2 years ago
Related projects: ⓘ
- memTrace, a framework for lightweight memory tracing☆54Updated 4 years ago
- Crellvm: Verified Credible Compilation for LLVM☆15Updated 6 years ago
- code for examining determinism of performance counters☆20Updated 3 years ago
- Common dependency management for various Trail of Bits C++ codebases☆31Updated 3 months ago
- XML representation of the x86 instruction set☆27Updated last year
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- AST - Extractor for LLVM☆17Updated 3 years ago
- NOVA userland☆47Updated 10 years ago
- A Python DTrace consumer using libdtrace - Now Python can be used as DTrace Provider and Consumer...☆69Updated 2 years ago
- NOVA runtime environment (official branch)☆33Updated 3 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 8 years ago
- GNU Superoptimizer Version 2☆25Updated 3 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago
- wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.☆20Updated 2 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 9 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆32Updated 3 years ago
- CLang Plugin for calculating AST hashes☆14Updated 5 years ago
- x86info : x86 processor register decoder.☆40Updated 7 months ago
- ☆13Updated 5 years ago
- Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer☆27Updated 6 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Updated 8 years ago
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆36Updated 3 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆39Updated 5 years ago
- Secure Virtual Architecture☆42Updated 5 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆59Updated last year
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆75Updated 6 years ago
- Turn an interpreter into a code generator☆29Updated 8 years ago
- reverse engineering branch predictors☆17Updated 8 years ago
- I-cache line packing and branch misprediction measuring tool☆17Updated 7 years ago