ephox-gcc-plugins / initify
initify gcc plugin
☆8Updated 7 years ago
Alternatives and similar repositories for initify:
Users that are interested in initify are comparing it to the libraries listed below
- Formal verification of SecVisor, a secure hypervisor☆13Updated 11 years ago
- An implementation of the IETF QUIC protocol in F*☆19Updated 5 years ago
- Picon☆38Updated 7 years ago
- ikgt manifest☆42Updated 2 years ago
- ☆70Updated 4 years ago
- Secure Virtual Architecture☆42Updated 5 years ago
- Tracking grsecurity and PaX enabled kernels...☆21Updated 7 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆27Updated 6 years ago
- A stack tracer/profiler for Xen domains☆30Updated 2 years ago
- Mirage support for writing QubesOS AppVM unikernels☆63Updated 5 months ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆59Updated 8 years ago
- Run any command transparently in a VM (this repo isn't part of Cappsule)☆27Updated 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
- Generator of "nothing-up-my-sleeve" constants☆23Updated 9 years ago
- Allows to execute haskell code in Ida Pro.☆27Updated 9 years ago
- GrSecurity and PaX Patches Before End of Public Release☆63Updated 6 years ago
- An example Mirage unikernel that runs as a Qubes AppVM☆23Updated 4 years ago
- Kernel Address Isolation to have Side-channels Efficiently Removed☆214Updated 3 years ago
- NOVA userland☆48Updated 11 years ago
- ☆110Updated 11 years ago
- grsecurity is the most advanced Linux kernel hardening patchset. This repository, not affiliated with the upstream project, aggregate mos…☆85Updated 7 years ago
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆36Updated 3 years ago
- Experimental setup of "Intel MPX explained"☆26Updated 4 years ago
- Steps to build the Linux kernel using Clang☆99Updated 2 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago
- Huffman decompression for version 11.x Intel ME modules☆30Updated 7 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆68Updated 8 years ago
- Routines for hunting down kernel symbols.☆82Updated 13 years ago
- Security-Oriented Analysis of Application Programs☆13Updated 6 years ago
- Some scripts to create a reproducible build for grsecurity☆31Updated 7 years ago