[Haskell-cafe] US Homeland Security program language security risks

Isaac Dupree isaacdupree at charter.net
Wed Jan 9 11:29:46 EST 2008

Bryan O'Sullivan wrote:
> Yitzchak Gale wrote:
>> Perhaps Coverity's interest could be
>> piqued if they were made aware of Haskell's emergence
>> as an important platform in security-sensitive
>> industries such as finance and chip design, and of
>> the significant influence that Haskell is having on the
>> design of all other major programming languages.
> During one of Simon PJ's tutorials at OSCON last year, a Coverity
> engineer was in the audience.  He told us afterwards that he downloaded
> the GHC source and gave a try at analysing it while Simon talked.  He
> didn't get far, of course; their software wasn't built for the tricks
> that -fvia-C plays.  But they have at least one person who was that
> interested.

unregisterised, it should be standard C without tricks, though still 
nothing like ordinary C and therefore possibly not analyzable


More information about the Haskell-Cafe mailing list