Robuta

https://www.jetbrains.com/help/resharper/MergeCastWithTypeCheck.html

Code inspection: Type check and casts can be merged | ReSharper Documentation

code inspection type check casts merged

https://openwall.com/lists/kernel-hardening/2016/12/16/55

kernel-hardening - [PATCH v4 2/4] util: Move type casts into is_kernel_rodata

type casts kernel hardening patch util