Try using LLVM intrinsics for signature updates & checks to prevent dead code elimination.

hermannloose / cfcss

Futzing around with LLVM trying to implement compiler support for control-flow checking with software signatures (CFCSS) for the Fiasco micro-kernel. This is the topic of my "Großer Beleg" thesis in operating systems.

2 stars 3 forks source link

Try using LLVM intrinsics for signature updates & checks to prevent dead code elimination. #7

Open hermannloose opened 11 years ago

hermannloose commented 11 years ago

Use of InlineAsm for this purpose should also be investigated. This might prevent LLVM from reasoning about the signature update.