Code scan plan to harden the TVM

Does the TVM have a plan to do the code scan to harden the software? LLVM uses the coverity to scan the code(https://scan.coverity.com/projects/llvm).