Garbage In, Memory Safety Out! (opens in new tab)

Fil-C achieves memory safety by introducing a garbage in, memory safety out (GIMSO) pass to LLVM. This pass ascribes a memory safe semantics to the incoming LLVM IR so that given any possible LLVM module (including one created adversarially), the resulting module will obey Fil-C pointer capability rules.