memory-safety topic
List
memory-safety repositories
sbt-instrumentation
31
Stars
12
Forks
Watchers
Configurable instrumentation of LLVM bitcode
must-read
23
Stars
0
Forks
Watchers
Lists of must-read papers (mainly security papers)
obscure-go
15
Stars
3
Forks
Watchers
In-memory security with secure data types
occult
19
Stars
1
Forks
Watchers
An enigmatic programming language.