PlatformLab / CoreArbiter
☆11Updated 5 years ago
Alternatives and similar repositories for CoreArbiter:
Users that are interested in CoreArbiter are comparing it to the libraries listed below
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- A stripped-down LLD (LLVM linker)☆29Updated 4 years ago
- Fast Binary Translator for the Kernel☆27Updated 11 years ago
- TSAR (Traits Static AnalyzeR)☆14Updated 10 months ago
- memTrace, a framework for lightweight memory tracing☆57Updated 5 years ago
- Hypervisor implementation for x86_64 ISA MIT JOS☆33Updated 10 years ago
- Automatically exported from code.google.com/p/mao☆11Updated 4 years ago
- Simple Library calls tracer☆22Updated 7 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- ☆31Updated 6 years ago
- BadgerTrap is a tool to instrument x86-64 TLB misses.☆11Updated 8 years ago
- ☆31Updated 3 years ago
- AST - Extractor for LLVM☆18Updated 4 years ago
- Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…☆32Updated 6 years ago
- Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)☆19Updated 8 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆13Updated 2 years ago
- PIN-based Fault-Injector is a fault injector based on the Intel PIN tool. For more information, please refer to the following paper:☆16Updated 6 years ago
- LLVM Metadata Visualizer☆22Updated 7 years ago
- ☆54Updated 2 years ago
- Hardware-Assisted Process Tracer for Fuzzing on ARM64 Linux☆24Updated 2 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆40Updated 5 years ago
- ☆29Updated 9 years ago
- dthreads: Efficient Deterministic Multithreading☆50Updated 10 years ago
- LLVM-based type and memory allocation tracking sanitizer☆53Updated this week
- Memory access tracing QEMU☆96Updated 8 years ago
- Virtual Machine eXtension for JOS☆22Updated 10 years ago
- Develop toolchain based on llvm to for Cpu0 processor☆45Updated last year
- deprecated☆46Updated 5 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 2 years ago
- Microbenchmarks for x86_64 kernel entry methods☆18Updated 3 years ago