This pre-release is now deprecated. It was replaced by SAL 3.0, available here

• Linux (Intel) • WHATS_NEW
• Cygwin (Intel) • WHATS_NEW
• Sources
• sal-atg (the SAL automated test generator) • README • manual • method