[LLVMbugs] [Bug 15710] New: ability to cross check all source files

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Tue Apr 9 11:46:23 PDT 2013


            Bug ID: 15710
           Summary: ability to cross check all source files
           Product: clang
           Version: trunk
          Hardware: Macintosh
                OS: MacOS X
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: gryzman at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

So I'm doing a lot of security audits of code (hey apple!), it annoys me that I
cannot just dump all files into scan-build and let it do cross file checking. I
end up hacking code so it fits in one big file, and then analyse that. 

But with a standard ./configure/make way, or any other build process for that
matter - it should be possible for scan-build to do the hard lifting for me.
Each clang c.cc -o foo.o could also dump some pre-parsed form, and then when
linker is called - grab them - by using the .o files as reference to where to
find those, and do the long painful analysis that we all want. 

I'm guessing you guys are working on something like that, as it feels like a
natural step forward after cross function checking.

You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20130409/b29d12ef/attachment.html>

More information about the llvm-bugs mailing list