ephox-gcc-plugins / initifyLinks
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
Sorting:
- Secure Virtual Architecture☆42Updated 6 years ago
- Formal verification of SecVisor, a secure hypervisor☆12Updated 12 years ago
- A stack tracer/profiler for Xen domains☆30Updated 2 years ago
- Picon☆39Updated 8 years ago
- ☆70Updated 5 years ago
- Steps to build the Linux kernel using Clang☆101Updated 3 years ago
- An implementation of the IETF QUIC protocol in F*☆20Updated 5 years ago
- ikgt manifest☆42Updated 2 years ago
- Tracking grsecurity and PaX enabled kernels...☆21Updated 8 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 6 years ago
- Run any command transparently in a VM (this repo isn't part of Cappsule)☆27Updated 8 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 8 years ago
- GrSecurity and PaX Patches Before End of Public Release☆63Updated 6 years ago
- System call fuzzing of OpenBSD amd64 using TriforceAFL (i.e. AFL and QEMU)☆46Updated 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
- Prototype no-assurance reference OS personality built on seL4☆50Updated 3 months ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆61Updated 8 years ago
- Some scripts to create a reproducible build for grsecurity☆29Updated 7 years ago
- The Termite driver synthesis tool☆32Updated 7 years ago
- This is a simple utility for enumerating D-Bus endpoints, an nmap for D-Bus.☆78Updated 5 years ago
- [No more new test patches, repo will remain as archive] Unofficial grsecurity test patch archive.☆51Updated 8 years ago
- unofficial grsecurity gpl release☆22Updated 6 years ago
- Generator of "nothing-up-my-sleeve" constants☆24Updated 9 years ago
- Huffman decompression for version 11.x Intel ME modules☆30Updated 7 years ago
- Integer arithmetic with overflow detection☆71Updated 10 years ago
- Experimental setup of "Intel MPX explained"☆28Updated 5 years ago
- grsecurity is the most advanced Linux kernel hardening patchset. This repository, not affiliated with the upstream project, aggregate mos…☆85Updated 8 years ago
- an open source toolkit for PCI bus exploration☆71Updated 8 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago