[LLVMbugs] [Bug 14128] New: Do static analysis at link time

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=14128

             Bug #: 14128
           Summary: Do static analysis at link time
           Product: clang
           Version: trunk
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: john.kare.alsaker at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Static analysis should be done on link/archive time so it can work across whole
program and libraries at a time. It should also analyze linked libraries and
their dependencies, although only if it's functionality is used (similar to how
headers work now).

A number of things is missing for this to be supported:
- The analyzer must work on multiple compilation units.
- The analyzer must know of some the compilation options (especially
preprocessor defines and include paths) on all compilation units.
- The analyzer must have access to the source of the compilation units.

Debug information could give the analyzer access to the source of the
compilation units. I don't know if the debug information can give you the
required compilation options. If not, this information would have to be stored
somewhere (probably as a DWARF extension) and ccc-analyzer could append that
information to object files.

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.