About cross-translational-unit taint checking

Dear LLVMers,

There are several great LLVM based static taint analysis tools. But It seems like most of the tools (both llvm passes and scan-build passes) do not support cross-translational-unit taint checking.

While analyzing large code bases, cross-translational-unit analysis seems quite useful.

Any suggestions on how can I accommodate cross-translational-unit taint analysis or any tool(s) that can provide such functionality will be greatly appreciated.

Thanks in advance!

Best Regards,

Sazzadur Rahaman