IceCY's repositories
awesome-llvm
A curated list of awesome LLVM related docs, tools, and other resources.
Language:Shell000
Language:CBSD-3-Clause000
consensus-specs
Ethereum Proof-of-Stake Consensus Specifications
Language:PythonCC0-1.0000
fuchsia-notes
Some random notes taken when reading through the Fuchsia source code
000
how2heap
A repository for learning various heap exploitation techniques.
Language:C000
000
linux-insides
A little bit about a linux kernel
Language:Python000
linux-sgx
Intel SGX for Linux*
Language:C++NOASSERTION000
osdev
Fourth rewrite of LevOS, aiming for POSIX compliance.
Language:C000
sgxrop
The code to the SGX-ROP paper
Language:C000
simple-toolkit
some useful tools (collected or wrote)
000
symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
CC-BY-SA-4.0000
symexbib
A bibliography of papers related to symbolic execution
000