[LLVMdev] Static analysis across across translation units

[Karthik Bhat]

Hi All,

I was going through projects in clang and stumbled across Static
analyzer in clang which seems to be quite interesting.
But it seems static analyzer currently does one translation unit at a
time and currently there is no support for inter procedural analysis
across translation unit.

Current design seems to process one file at a time.

Is there any plan to extent it to support inter procedural analysis
across translation unit?

If yes what kind on infrastructure would clang static analyzer require
to make it possible?

I went through the Checker mechanism in clang static analyzer and I'm
partially aware of clang fronted.
Would like to work on it,any inputs from experts on how this can be
extended to support inter procedural analysis across translation unit?

Thanks
Karthik