Notes de publication

aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver

Release 18.04

Release 17.10

Release 17.04

Release 16.10

Astrée

Release 18.04

Release 17.10

  • New comment mode
  • Much faster analyses
  • Support for GCC-extended assembler

Release 17.04

  • Standalone RuleChecker
  • Improved performance and
    reduced memory consumption

Release 16.10

RuleChecker

Release 18.04

  • Analysis of C++ code
  • Improved support for 30+ MISRA rules
  • Extended support for MITRE CWE
  • Floating licenses
  • Support for macOS
  • 30+ new QSK test cases

Release 17.10

  • Support for CWE guidelines
  • Re-categorizations of MISRA rules
  • Style rules for naming identifiers

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

CompCert

Release 18.04

  • New builtin for integration with a
  • JSON export of ARM assembly
  • Valex for ARM
  • Improved diagnostics

Release 17.10

  • New backend for hybrid 64-bit/32-bit PowerPC code
  • New generic compiler optimizations
  • QSK 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