[SystemSafety] 'Safer C' Static checking toolset

[Matthew Squair]

Hi all,

I'm looking for tool support for static checking of Les Hatton's Safer C
subset, the one vendor I'd found (Oakwood) no longer supports it so is
anyone aware of any other vendors out there?

Regards,

-- 
*Matthew Squair*
MIEAust CPEng

Mob: +61 488770655
Email: MattSquair at gmail.com
Website: www.criticaluncertainties.com <http://criticaluncertainties.com/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20130903/09379562/attachment.html>