Karthik Bhat
2013-Jan-11 11:59 UTC
[LLVMdev] Static analysis across across translation units
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
Reasonably Related Threads
- [LLVMdev] Value of structure passed byval to a recurse function not initialized when accessed through GDB
- [LLVMdev] Value of structure passed byval to a recurse function not initialized when accessed through GDB
- [LLVMdev] Value of structure passed byval to a recurse function not initialized when accessed through GDB
- [LLVMdev] Value of structure passed byval to a recurse function not initialized when accessed through GDB
- [LLVMdev] Value of structure passed byval to a recurse function not initialized when accessed through GDB