References:
A tight integration between the linker and LLVM optimizer.
The linker treats LLVM bitcode files like native object files and allows mixing and matching among them.
The linker use libLTO, a shared object, to handle LLVM bitcode files.
The linker input allows the optmizer to avoid relying on conservative escape analysis. (???)
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?