Videos

Zurzeit sind alle Videos nur in Englisch verfügbar.


Astrée und RuleChecker Release 24.04

  • Navigation mit Ctrl + Klick 1:16
  • Navigation mit der neuen Quick-HUD 2:09
  • Bequemere Einbindung von Standard-Stubs 3:31
  • Neue und verbesserte Taint-Analyse 4:12
  • Regelsatzüberprüfung für MISRA C++:2023 7:21

a³ Release 23.10

  • TLS-verschlüsselte Verbindung zwischen den Tools und dem Lizenzmanager
  • Verbesserungen an der Benutzeroberfläche
  • Verbesserte interaktive Value-Analyse
  • Verbesserungen am TimeWeaver
  • Neue AIS2-Annotationen

Astrée und RuleChecker Release 23.10

  • Verbesserungen am Aufrufgraphen 1:22
  • Neuer Projekt-Wizard mit JSON-Importer 2:40
  • Neue Datenwettlaufberichte 3:54
  • TLS-Verschlüsselung der Kommunikation zwischen Analyse-Servern, Astrée-Clients und dem Lizenzmanager 5:03
  • Externe Benutzer-Authentifizierung über OpenID Connect (OIDC) 6:02
  • Zusätzliche Tooltips für die Wertebereiche aller Unterausdrücke 6:49
  • Darstellung von dynamischen Speicherblöcken in der Datenflußansicht 7:27
  • Regelüberprüfungen für MISRA C:2023 8:32
  • Diff-basierte Kommentare 9:05
  • C++-Verbesserungen für std::vector und std::string 11:06

a³ Release 23.04


a³ Release 22.10


a³ Release 22.04


a³ Release 21.04

  • Verbesserungen an der Benutzeroberfläche 0:53
  • Value-Analyse 10:08
  • Pfad-Analyse 14:22
  • Neue Annotationen 16:58

Release 21.04: Videocast für Astrée und RuleChecker

  • Automatischer Import der Präprozessor-Konfiguration aus JSON
  • Unterstützung für AUTOSAR-Projekte mit mehreren ARXML-Dateien
  • Verbesserte Präzision
  • State-Machine-Domain für C++-Analysen
  • Stub-Implementierung für Standardbibliothek-Container
  • Verbesserte Abdeckung von MISRA C:2012 und AUTOSAR C++14
  • Neue Optionen für Speicherlecks

Release 20.10: Videocast für a³

  • Verbesserte Workspaces 0:38
  • Zusammengelegte Ansicht für Symbole und DWARF 11:01
  • Neue Ansicht für Disassembly 13:47
  • Statistiken zu Variablen 15:12
  • Parallel laufende Analysen 16:14
  • TriCore-spezifische Änderungen 18:00
  • Verbesserte Value-Analyse 21:21
  • Analyse von C++-Code 32:28
  • Neue AIS2-Annotationen 37:22

Webinar: RuleChecker-Plugin für KEIL

Anleitung zur Installation des RuleChecker-Plugins in KEIL µVision und der Nutzung von RuleChecker in Ihrer KEIL-µVision-Umgebung.


StackAnalyzer: Toolvorstellung und Demo

Eine 15-minütige Einführung in die statische Stackanalyse für eingebettete Systeme.


Release 20.04: Videocast für a³

  • Unterstützung für Desktop-Themes (Dark-Mode)
  • Verbesserte Lizenzbehandlung für ValueAnalyzer
  • Neue Konsistenz-Checks für die Stackanalyse
  • Neue Analyse für TimeWeaver
  • Diverse Verbesserungen an der AIS2-Annotationssprache
  • Unterstützung für den DDC-I-SCORE-Compiler für PowerPC und den Renesas-CS+-Compiler für PowerPC RH850/V850

Release 20.04: Webinar für Astrée und RuleChecker

  • Verbesserte Fehlermeldungen
  • Automatisches Filtern von asm {…}
  • Verbesserungen an RuleChecker für C++
  • Ruleset T jetzt auch für C++-Code

Release 19.10: Videocast für a³

  • Verbesserte Benutzeroberfläche 0:40
  • TimeWeaver-Verbesserungen 4:56
  • Verbesserte Value-Analyse 10:50
  • Neue und verbesserte Annotationen 14:04

Release 19.10: Webinar für Astrée und RuleChecker

  • RuleChecker-Konfigurationen 0:26
  • Code-Metriken für C++-Code 2:16
  • Verbesserte Analyseberichte 3:01
  • Vereinfachte Meldungen 4:59

Release 19.04: Videocast für a³

  • Verbesserte Lizenzverwaltung 0:22
  • Querverweise zwischen verschiedenen Analysen 4:18
  • Globale Suche 11:06
  • Einfacheres Nachschlagen von DWARF-Info 13:45
  • Verbesserungen an TimeWeaver 15:14
  • Value-Analyse für alle Eintrittspunkte gleichzeitig 20:49

Release 18.10: Webinar für a³

  • AIS-Annotationen 0:19:
    • Neues Default-Mapping 0:26
    • Neue AIS-Funktoren 1:14
    • Neue Annotationsreichweite 4:10
  • GUI-Verbesserungen 7:42:
    • Interaktive Analysen 7:42
    • Export von Workspaces 11:39
  • Verbesserungen beim TimeWeaver 13:07:
    • Interaktives MCDS-Tracing 15:13
    • Demo zu Trace-Streaming 16:28

Release 18.04: Webinar für Astrée und RuleChecker

  • Regelüberprüfungen für C++-Code 0:14
  • Integration mit CompCert 3:04
  • Unterstützung für macOS 4:09

Release 18.04: Webinar für a³

  • AIS-Annotationen 0:18:
    • Value-Partitioning 0:18
    • Annotieren von Aufrufzielen aus der DWARF-Ansicht heraus 11:36
  • Iteratives Dekodieren mit Traces 15:28
  • Verbesserungen an der GUI 20:42
  • Neue Features im TimeWeaver 26:08

Release 17.10: Webinar für a³

  • Floating-Lizenzen 0:31
  • Parallel laufende Analysen 3:01
  • Call-Target-Analyse für C++ 5:38
  • Type-Inheritance-Graphen 13:17
  • Herausziehen von Untergraphen 14:38
  • Hybride WCET-Analyse mit TimeWeaver 16:49

Release 17.10: Webinar für Astrée und RuleChecker

  • Neuer Comment-Mode 1:02
  • Arbeiten mit nichtinitialisierten Lesezugriffen 7:12
  • Verbesserter Wrapper-Generator 9:47
  • Unterstützung für GCC-erweiterten Assembler 13:29
  • Verbesserte Behandlung von ungültigen Funktionsaufrufen 16:21
  • Rekategorisierung von MISRA-Regeln 22:07
  • Verbesserte Unterstützung für TargetLink 28:06

Release 17.04: Webinar für a³

  • Kontextsensitive Hilfe 0:30
  • Neue Ansicht für AIS-Dateien 3:27
  • Statistiken zu Timing-Beiträgen einzelner Code-Abschnitte 6:13
  • AIS2-Standard-Mode und AIS1-Kompatibilitätsmode 10:29
  • Verbessertes Packen von Projekten für Supportanfragen 12:27
  • Lokal verlängerbare Call-Strings 14:12
  • Unrolling für rekursive Funktionen 16:54
  • Nichtreduzierbare Schleifen und Rekursionen 17:40
  • Unterstützung für C++-Namespaces 19:58

Release 16.10: Webinar für a³

  • Workspaces 0:03
  • Annotationen-Assistent 6:02
  • Projektdateiengenerator 16:18
  • Stack-Area-Spezifikationen 19:30
  • Jenkins-Plugin 21:28
  • Erweiterte AIS-Annotationen 25:59:
    • Sammeln von Initialisierungen 26:03
    • Annotieren von Tail-Calls 27:56
    • Neue Funktoren end und offset 28:38

Release 16.04: Webinar für a³

  • Automatische Variableninitialisierungsanalyse
  • Erweiterte Unterstützung für C++
  • Neue AIS2-Features
  • Dynamische Anzeige des Speicherverbrauchs
  • Import von ORTI-Dateien (OSEK/AUTOSAR)