Whitepapers
Detect bottlenecks: Identify problems with the cache usage (by Royd Lüdtke, Verifysoft)
Making Safety-Critical Software Development Affordable with Static Analysis (external link)
Finding Concurrency Errors with CodeSecure Static Analysis
Detecting Domain-specific Coding Errors with Static Analysis
Simplifying DO-178B Certification with CodeSecure Static Analysis Tools
Simplifying ISO 26262 Compliance with CodeSecure
Bug-Hunting mit Statischer Codeanalyse
Wegweiser zur Auswahl eines Werkzeuges zur Statische Codeanalyse
Auffinden von Nebenläufigkeitesfehlern durch Statische Codeanalyse
Lesen Sie hier die neusten Whitepaper von CodeSecure!
Informieren Sie sich hier über alle Neuigkeiten von CodeSecure!
CodeSonar 4 für Embedded Systeme
CodeSonar for C/C++ (Datenblatt, 1.5 MB)
CodeSonar for Java (Datenblatt, 1.1 MB)
Development Testing
Defect Detection
Concurrency Checks
Security Checks
Software-Metriken
Automatisierung der Quellcodeverifikation
CodeSonar for Java
Erfüllung von Normen
DO-178
ISO 26262
FDA-Normen
MISRA
CWE- und BSI-Regeln
"Power of Ten" und JPL-Regeln
IEC 62443
Wie Statische Codeanalyse funktioniert
Workflow-Features
Binary-Analyse
Visual-Taint-Analyse
Whitepapers
Referenzen
Hochschulprogramm
Fallstudien
Slide-Präsentation