There is also https://sparse.docs.kernel.org/ that can be used to help refactoring C code.