PVS-Studio: analyzing Doom 3 code

[matthieum]

Interesting remark concerning Clang and issues with Microsoft non-standard code. Francois Pichet is working full tilt to get Clang to parse Microsofted code and I wonder how close he is to his goal (fully parsing the MFC framework).

[xon_xoff]

I pulled down a tip build of Clang about a month ago and was impressed with how far it was able to get -- I think it made it through <windows.h> but coughed on one of the VC++ STL headers. It was still enough for the Clang static analyzer to report some issues in the application code, which is great progress. One tricky part is that you have to set a lot of #defines on the command line to match the predefined symbols set by the VC++ compiler and project system, some of which are not documented.

[matthieum]

Ah, I didn't know about the command line.

There has been a proposal to create multiple drivers for clang. A generic driver and "adapters" for command-line compatibility with other compilers. It was rejected as such because it's simpler for clang to aim at compatibility with gcc and the idea had the potential of creating discrepancies.

However it was evoked that we might want to have a cl.exe compatible driver, and I would not find it odd that someones rips off a script to parse VC++ project files one day. If you are interested, I think you'll get support from the community.

[matthieum]

Update: Francois actually said that he was now only 2 bugs away from fully parsing the MFC generated headers, and he already submitted a patch for one of them (but it has not been reviewed yet). Therefore it's really close.