Links auf weitere News:
Firma
Testwell CMT++/CMTJava
Testwell CTC++
CodeSentry
CodeSonar
Imagix
Events/Seminare
ALLE NEWS
ESE-Kongress 2014: Interview mit Verifysoft-Geschäftsführer Klaus Lambertz
(Sindelfingen, Offenburg, 3. Dezember 2014)
Testwell CTC++ analysiert die Testabdeckung auf allen embedded Targets und kann für Zertifikationen nach DO178-C, ISO 26262 und anderen Normen eingesetzt werden. GrammaTech CodeSonar, ein statisches Analysetool welches eigens für den Einsatz in eingebetteter Software entwickelt worden ist, wurde kürzlich durch den SGS-TÜV Saar zertifiziert.
Das Interview wurde am 3. Dezember auf dem Software Engineering Kongress (ESE) in Sindelfingen aufgezeichnet. Lesen Sie den Artikel der Elektronik Praxis und sehen Sie das Interview hier.
Jahresumsatz mit GrammaTech CodeSonar um 60% gestiegen
(Ithaca/New York, Offenburg, 18. September 2014)
Immer mehr Kunden aus der Luft- und Raumfahrt, Medizintechnik, Autombil- und Telekommunikationsindustrie verlassen sich auf die Expertise von GrammaTech CodeSonar, dem führenden Werkzeug für die statische Code-Analyse. Heute verkündete GrammaTech eine 60%-ige Steigerung des Jahresumsatzes für das Geschäftsjahr, das am 31. Juli endete. Auch Verifysoft verbuchte seit Anfang 2014 eine deutliche Steigerung der CodeSonar-Bestellungen im deutschsprachigen Raum.
Der Erfolg von CodeSonar ist nicht zuletzt den neuen Features des Analysetools zu verdanken, die die Einhaltung von Standards überwachen. Auch das Auffinden von Nebenläufigkeitsproblemen, die Binary-Analyse von Fremdkomponenten sowie die Verbesserung der Software-Sicherheit durch das Aufspüren gefährlicher Datenflüsse gehören zu den Stärken von CodeSonar. CodeSonar wurde für fehlerintolerante Embedded Projekte konzipiert, hilft aber ebenso in der Entwicklung anderer Applikationen Risiken und Kosten zu senken. Das Tool analysiert sowohl Quellcode als auch Binaries und identifiziert schwerwiegende Sicherheits- und Qualitätsschwachstellen. Systemabstürze und unerwartetes Laufzeitverhalten bedingt durch z. B. Speicherlecks, Race Conditions, Divisionen durch 0 etc. können so frühzeitig im Entwicklungsprozess ausgeschlossen werden.
Überzeugen Sie sich durch die Analyse Ihrer eigenen Projekte von der Leistungsfähigkeit unseres Werkzeuges im Vergleich zu anderen statischen Codeanalysetools. Kontaktieren Sie uns für Ihre kostenlose Evaluationslizenz und erfahren Sie mehr über die interessanten Lizenzmodelle für CodeSonar.
Der Erfolg von CodeSonar ist nicht zuletzt den neuen Features des Analysetools zu verdanken, die die Einhaltung von Standards überwachen. Auch das Auffinden von Nebenläufigkeitsproblemen, die Binary-Analyse von Fremdkomponenten sowie die Verbesserung der Software-Sicherheit durch das Aufspüren gefährlicher Datenflüsse gehören zu den Stärken von CodeSonar. CodeSonar wurde für fehlerintolerante Embedded Projekte konzipiert, hilft aber ebenso in der Entwicklung anderer Applikationen Risiken und Kosten zu senken. Das Tool analysiert sowohl Quellcode als auch Binaries und identifiziert schwerwiegende Sicherheits- und Qualitätsschwachstellen. Systemabstürze und unerwartetes Laufzeitverhalten bedingt durch z. B. Speicherlecks, Race Conditions, Divisionen durch 0 etc. können so frühzeitig im Entwicklungsprozess ausgeschlossen werden.
Überzeugen Sie sich durch die Analyse Ihrer eigenen Projekte von der Leistungsfähigkeit unseres Werkzeuges im Vergleich zu anderen statischen Codeanalysetools. Kontaktieren Sie uns für Ihre kostenlose Evaluationslizenz und erfahren Sie mehr über die interessanten Lizenzmodelle für CodeSonar.
Verifysoft ernennt Royd Lüdtke zum Direktor für Statische Analysetools
(Offenburg, 29. August 2014)
Royd Lüdtke hat umfangreiche Berufserfahrung als Applikationsingenieur und Berater bei einer Vielzahl von Firmen und Institutionen wie New Era Of Networks, Sybase, Rogue Wave Software und dem Fraunhofer Institut. Lüdtke studierte in Dortmund Elektrotechnik und Energietechnik, hält mehrere Patente und ist Autor von Veröffentlichungen im IT-Bereich.
Royd Lüdtke wird den Pre-Sales und Support für GrammaTech CodeSonar im deutschsprachigen Raum verantworten.
GrammaTech CodeSonar vom SGS TÜV Saar zertifiziert
(Ithaca, New York/USA, 2. Juli 2014)
ISO 26262, IEC 61508 und EN 50128 dienen der Sicherheit und Zuverlässigkeit von Applikationen für Automotive Systeme, medizintechnische Anwendungen und Bahnbetrieb. CodeSonar wurde von der SGS TÜV Saar GmbH geprüft und erhält mit der Zertifizierung die Fähigkeit bescheinigt Software auf diese Standards hin prüfen zu können.
> weitere Informationen > Zertifikat
GrammaTech CodeSonar: Version 4.0 verfügbar
(Ithaca, New York/USA, 4. April 2014)
Die Version 4.0 bietet neue Vorteile wie die Analyse des Drittanbieter-Codes, Einhaltung von Standards, Beseitigung von anspruchsvollen Multi-Core-Problemen und die Verbesserung der Codesicherheit durch Handling fehlerhafter Datenflüsse.
CodeSonar setzt damit neue Standards in der automatisierten Code-Analyse. Die Entwicklungsteams von Embedded Systems gewährleisten damit verbesserte Code-Qualität und schützen die Software einfacher und schneller von den steigenden Bedrohungen durch komplexe Sicherheitslücken.
Visuelle Fehleranalyse von CodeSonar entdeckt gefährliche Datenflüsse im Code
(Nürnberg/Deutschland, 24.-26. Februar 2014)
Dank der visuellen Darstellung der fehlerhaften Datenflüsse sehen die Entwickler die Auswirkungen gefährlicher Eingaben auf das Verhalten ihres Codes. Während andere Tools nur einfache Warnungen für Fehlerwerte ausgeben, zeigt die Visualisierungsengine von CodeSonar bereits bestehende Schwachstellen.
Die visuelle Fehleranalyse zeigt schwer auffindbare und fehlerhafte Datenpfade in den Embedded Anwendungen an, die auf C/C++ basieren. Sie steigert die Geschwindigkeit und Genauigkeit bei der Verfolgung der Datenflüsse. Die Lösung analysiert sowohl Quellcode als auch Binärcode um schwerwiegende Sicherheits- und Qualitätsprobleme zu identifizieren, die Systemabstürze, Speicherschäden, Datenlecks, Data Races oder unerwartete Schwachstellen verursachen.
Static Code Analysis Day 2014 in Offenburg
Wir zeigen, wie Sie durch Einsatz von statischer Codeanalyse Ihre Softwarequalität effizient verbessern. Sie erfahren mehr über die Vorteile von Advanced Static Code Analysis-Tools im Vergleich zu herkömmlichen Werkzeugen wie Lint. Sie sehen, wie komplexe Softwaredefekte problemlos aufgedeckt werden und wie Sie Checker für individuelle Prüfungen erstellen.
Vorträge:
- Bug-Hunting mit Statischer Codeanalyse
- Tücken von Multi-Core-Software: Nebenläufigkeiten sind gefährlich
- Suche nach der optimalen Balance zwischen tatsächlichen Fehlern und False-Positives
- Visualisierung von Programmstrukturen mit statischer Codeanalyse
> weitere Infos Seminarflyer