Notes de publication

aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer

Release 17.04

Release 16.10

Release 16.04

Astrée

Release 17.10

Release 17.04

  • Standalone RuleChecker
  • Improved performance and
    reduced memory consumption

Release 16.10

Release 16.04

RuleChecker

Release 17.10

  • Improved support for 30+ MISRA rules
  • Support for CWE guidelines
  • Style rules for naming identifiers
  • Re-categorizations of MISRA rules
  • Flags for automatically-generated code
  • 226 new QSK test cases

Release 17.04

  • First standalone version
  • Support for SEI CERT C rules
  • Improved support for 50+ MISRA rules

Release 16.10

  • Support for Amendment 1
    to MISRA-C:2012
  • Changes to type compatibility rules

Release 16.04

  • Summary report
  • Simplified configuration
  • New frontend

CompCert

Release 17.10

  • New backend for hybrid 64-bit/32-bit PowerPC code
  • Improved code generation for ARM and PowerPC
  • New generic compiler optimizations
  • Qualification Support Kit for Valex

Release 17.04

  • Full support for C11 anonymous compound types
  • Checks for unused variables and parameters

Release 16.10

  • Improved support for K&R, ARM and PowerPC
  • Compatibility with coq v8.5pl2

Release 16.04

  • New options for GCC compatibility
  • More built-in functions
  • Various fixes