Videos

Release 18.04 Webinar for Astrée and RuleChecker

  • Rule checks for C++ code 0:14
  • CompCert integration 3:04
  • macOS support 4:09

Release 18.04 Webinar for a³

  • AIS annotations 0:18:
    • Value partitioning 0:18
    • Annotating call targets from DWARF view 11:36
  • Trace-iterative decoding 15:28
  • GUI improvements 20:42
  • Improvements to TimeWeaver 26:08

Release 17.10 Webinar for a³

  • Floating licenses 0:31
  • Concurrent analyses 3:01
  • C++ Virtual Call Target Analyzer 5:38
  • C++ type inheritance graphs 13:17
  • Excluding subgraphs 14:38
  • Hybrid WCET analysis with TimeWeaver 16:49

Release 17.10 Webinar for Astrée and RuleChecker

  • New comment mode 1:02
  • Dealing with uninitialized reads 7:12
  • Improved wrapper generator 9:47
  • Support for GCC-extended assembly 13:29
  • Improved handling of invalid function calls 16:21
  • Re-categorization of MISRA rules 22:07
  • Improved support for TargetLink 28:06

Release 17.04 Webinar for a³

  • Context-sensitive help 0:30
  • New AIS Files view 3:27
  • New Statistics view for timing contributions of code snippets 6:13
  • AIS2 Standard Mode vs AIS1 Legacy Mode 10:29
  • Improved creation of project archives for support requests 12:27
  • Local call-string increase 14:12
  • Unrolling for recursive functions 16:54
  • Irreducible loops and recursions 17:40
  • Support for C++ namespaces 19:58

Release 16.10 Webinar for a³

  • Workspaces 0:03
  • Point-and-click annotations 6:02
  • Project file generator 16:18
  • Stack area specifications 19:30
  • Jenkins plugin 21:28
  • Extended AIS annotations 25:59:
    • Collecting initializations 26:03
    • Annotating tail calls 27:56
    • New functors end and offset 28:38

Release 16.04 Webinar for a³

  • Automatic variable initialization analysis
  • Advanced C++ support
  • New AIS2 features
  • Memory Usage view
  • Import of ORTI files (OSEK/AUTOSAR)