[SystemSafety] 'Safer C' Static checking toolset

From: Matthew Squair < >
Date: Tue, 3 Sep 2013 10:35:39 +1000

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_xxxxxx
Website: www.criticaluncertainties.com <http://criticaluncertainties.com/>




_______________________________________________
The System Safety Mailing List
systemsafety_at_xxxxxx

Received on Tue Sep 03 2013 - 09:34:31 CEST