[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

This archive was generated by hypermail 2.3.0 : Sat Feb 23 2019 - 01:17:06 CET