Coverity, ClearMake, Erlang VM

Michael Turner leap@REDACTED
Fri Feb 19 08:16:32 CET 2010

On 2/18/2010, "Richard O'Keefe" <ok@REDACTED> wrote:

>On Feb 19, 2010, at 3:08 AM, Björn Gustavsson wrote:
>> That's it because we have always used Clearcase and Clearmake,
>> that handle most dependencies automatically. We will starting
>> working on updating the Makefiles to have the necessary
>> dependencies. (Patches accepted.)
>That reminds me of the article from Coverity in CACM.

With the important difference that the CACM article mentioned people who
thought that ClearCase Make was how all makes work; obviously,
Erlang/OTP people know better.

>Has anyone run the Erlang VM sources through Coverity?
>(It's open source: could be _anyone_ with a Coverity licence,
>doesn't have to be Ericsson.)

It would probably help to first know what the allowable combinations of
conditional compilation flags were, just to avoid spurious reports.  In
the one patch I submitted, it seemed it was for code that hadn't
actually compiled in almost a decade, and which will probably never be
compiled again.

-michael turner

More information about the erlang-questions mailing list