ephox-gcc-plugins / initify
initify gcc plugin
☆8Updated 8 years ago
Alternatives and similar repositories for initify:
Users that are interested in initify are comparing it to the libraries listed below
- Picon☆39Updated 8 years ago
- Formal verification of SecVisor, a secure hypervisor☆12Updated 12 years ago
- Allows to execute haskell code in Ida Pro.☆27Updated 9 years ago
- ☆70Updated 5 years ago
- Steps to build the Linux kernel using Clang☆99Updated 3 years ago
- Run any command transparently in a VM (this repo isn't part of Cappsule)☆27Updated 8 years ago
- An implementation of the IETF QUIC protocol in F*☆20Updated 5 years ago
- ikgt manifest☆42Updated 2 years ago
- Linux kernel with Capsicum support☆206Updated 4 years ago
- ☆112Updated 11 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- JEFF file format tools☆27Updated 9 years ago
- Experimental results of the strata project☆9Updated 9 years ago
- A stack tracer/profiler for Xen domains☆30Updated 2 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆59Updated 8 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago
- Security-Oriented Analysis of Application Programs☆13Updated 6 years ago
- ☆85Updated 8 years ago
- EsoLangVM Compiler Infrastructure☆11Updated 9 months ago
- Generic Decoder Specification Language Toolkit☆32Updated 6 years ago
- PaX exception daemon - Temporarily abandoned due to the PaX and grsecurity patches becoming private☆40Updated 8 years ago
- The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.☆25Updated 5 years ago
- Some scripts to create a reproducible build for grsecurity☆30Updated 7 years ago
- empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs☆9Updated 9 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆59Updated 2 months ago
- Experimental setup of "Intel MPX explained"☆26Updated 5 years ago
- A Retargettable CFI implementation in LLVM. Authors: Joseph Battaglia and Oulin Yao☆18Updated 10 years ago
- Huffman decompression for version 11.x Intel ME modules☆30Updated 7 years ago
- Xenpwn is a toolkit for memory access tracing using hardware-assisted virtualization☆144Updated 8 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago