Videos

• 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

• 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

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

• 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

• 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

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

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

• 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

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

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

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

• 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

• 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

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

• 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

• 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

• 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

• 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

• 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

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