Useful Links¶

• TrustInSoft

• Frama-C

• ACSL (ANSI/ISO C Specification Language)

  • 📎 ACSL Documentation

  • 📎 ACSL Implementation Manual

• the ISO/IEC 9899:1999 standard (Final version of the C99 standard)

• the ISO/IEC 9899:2011 standard (Late draft of the C11 standard)

• the ISO/IEC 9899:2018 standard (Early draft of the C2x standard)

• the ISO/IEC CD 9899.2 standard (Latest draft of the C2x standard)

• Coq

• the MITRE Corporation

  • The CWE Coverage Claims Representation

  • CWE-658: Weaknesses in Software Written in C