On 4/2/09 11:19 AM, Pavol Misik wrote:

> MS Vista SDK contains Visual C++ compiler (Program Files\Microsoft
> SDKs\Windows\v6.0\VC). Is it really necessary to install Visual C++ ?

Perhaps not. The C++ compiler was not included until recent versions of the
SDK, so I'm not sure whether anyone has tried it.

> Why don’t use this to improve Mozilla code it is for free?
> A disadvantage of it is to use SAL language for decoration but I think
> preprocessor can resolve this problem simply.

If it requires annotations, it's no longer "free". I think we're open to the
possibility, but in most cases our code patterns are different enough that a
pre-built analysis doesn't work.

Mozilla does use static analysis of C++ code, but we do it using a slightly
modified GCC compilers and analysis scripts written in JavaScript. More
information is available at https://developer.mozilla.org/en/Dehydra and
some older planning docs are at https://wiki.mozilla.org/Static_Analysis

Send followup discussion to mozilla.dev.static-analysis.

--BDS
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis

Reply via email to