HexHive
Enforcing memory safety guarantees and type safety guarantees at the compiler and runtime level
- 160 followers
- Switzerland
- https://hexhive.epfl.ch
- @gannimo
Popular repositories Loading
-
retrowrite
retrowrite PublicRetroWrite -- Retrofitting compiler passes through binary rewriting