@HexHive

HexHive

Enforcing memory safety guarantees and type safety guarantees at the compiler and runtime level

  • HexHive homepage

    HTML 2 1 Updated Jul 13, 2018
  • qemu

    Forked from qemu/qemu

    Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored.

    C 1,822 Updated Jul 6, 2018
  • C++ 8 1 Updated Jul 4, 2018
  • Python 101 11 Updated Jun 21, 2018
  • 1 Updated Jun 6, 2018
  • C++ 7 1 GPL-3.0 Updated Jun 4, 2018
  • HexType: Efficient Detection of Type Confusion Errors for C++

    C++ 57 10 Updated Mar 26, 2018
  • Brainfuck interpreter inside printf

    Brainfuck 278 15 Updated Oct 6, 2017
  • C++ 8 3 Updated Aug 15, 2017
  • Root Repo for the EPOXY tool that applies Privilege Overlays on bare-metal systems

    C 14 4 Updated May 18, 2017
  • Fork of Clang used to create EPOXY

    C++ 1 Updated May 17, 2017
  • Fork of LLVM for used to create EPOXY

    C++ 1 Updated May 17, 2017
  • C++ 3 1 Updated Apr 3, 2017
  • Fast and efficient binary translator

    C 30 9 Updated Oct 16, 2016
  • C++ 53 14 GPL-3.0 Updated Aug 9, 2016
  • x86 to machine code translation framework

    C++ 1 168 Updated Mar 28, 2016
  • HexPADS, a host-based, Performance-counter-based Attack Detection System

    C 25 6 Updated Jan 7, 2016
  • adaptSTM, a competitive, word-based STM library that is based on a global clock and an array of combined global versions (timestamps) and locks.

    C 2 Updated Nov 20, 2015
  • memTrace, a framework for lightweight memory tracing

    C 30 15 Updated Jul 10, 2013