Some time ago I tried this with our programming rules and guides. Unfortunately most of them can't be enforced through Splint.
Please let us know about your mileage. Mit freundlichen Grüßen i. A. Bodo Wenzel - Entwicklung Software - -- BBR - Baudis Bergmann Rösch Verkehrstechnik GmbH Pillaustraße 1e D - 38126 Braunschweig T: +49.531.27300-766 F: +49.531.27300-999 @: wen...@bbr-vt.de W: http://www.bbr-vt.de Registergericht: AG Braunschweig HRB 3037 Geschäftsführer: Dipl.-Ing. Arne Baudis Dipl.-Ing. Thomas Bergmann Dipl.-Ing. Frank-Michael Rösch USt.-ID-Nr.: DE 114 877 881 _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
