Links auf weitere News:
Firma
Testwell CMT++/CMTJava
Testwell CTC++
CodeSentry
CodeSonar
Imagix
Events/Seminare
ALLE NEWS
Bug-Hunting mit Statischer Codeanalyse: Vortrag auf dem ESE-Kongress gibt Überblick
(Sindelfingen/Deutschland, 5. Dezember 2013)
Verifysoft war wie auch in den vergangenen Jahren auf dem diesjährigen ESE-Kongress wieder mit einem eigenem Stand vertreten und informierte über Code-Coverage auf kleinen Targets, Vermeidung von Software-Erosion und statische Codeanalyse. Unter allen Besuchern an unserem Messestand wurde ein 2-Tages-Seminar "Testen von Embedded Software" inkl. Hotelübernachtung verlost. > weitere Infos
Mitgründer von GrammaTech zum Mitglied der Academia Europaea gewählt
(Ithaca, New York/USA, 24. Oktober 2013)
Dr. Thomas Reps, Präsident und Mitgründer von GrammaTech, ist zum Mitglied der führenden europäischen Akademie Academia Europaea gewählt worden. "Hiermit wird seine bahnbrechende Forschung über die automatische Programmanalyse und die EDV-Sicherheit geehrt. Die Grundlage dafür ist seine Arbeit an der Wisconsiner Universität und bei GrammaTech", erklärt Professor Dr. Dr. h.c. Reinhard Wilhelm von der Universität des Saarlandes in Saarbrücken, der selbst auch Mitglied der Akademie ist.
Ziel der Academia Europaea ist es, die höchstmöglichen Standards in Wissenschaft, Forschung und Bildung durch die Förderung interdisziplinärer und internationaler Forschung anzuregen.
Ziel der Academia Europaea ist es, die höchstmöglichen Standards in Wissenschaft, Forschung und Bildung durch die Förderung interdisziplinärer und internationaler Forschung anzuregen.
US Navy wählt GrammaTech für die Verbesserung der Softwaresicherheit
Ithaca (New York/USA), 19. August 2013
GrammaTech hat von der US Navy den Auftrag zur Entwicklung eines Tools bekommen, welches die Fähigkeit hat, böswillige Angriffe zu erkennen und hierauf zu reagieren. Die GrammaTech-Forscher werden in diesem Projekt eine Kombination von automatischer Programmanalyse und manuellen Tuningtechniken nutzen, um ein Modell des beabsichtigten Verhaltens der Software zu erstellen, seine wichtigsten Eigenschaften zu erfassen und die Ereignisse zu bestimmen, die verfolgt werden müssen. Das Werkzeug wird zusätzlichen Schutz für sicherheitskritische Systeme bieten.
GrammaTech kündigt Integration von CodeSonar® in die Eclipse-IDE an
(Ithaca, New York/USA, 23. April 2013)
Das statische Code-Analyse-Werkzeug GrammaTech CodeSonar wird in die Eclipse-Entwicklungsumgebung integriert. Hierdurch können Entwickler Programmierfehler, die durch CodeSonar aufgedeckt worden sind, direkt in der Eclipse-Umgebung korrigieren.
Die statische Codeanalyse von CodeSonar wird direkt aus Eclipse heraus gestartet werden können. Fehler können dadurch schon vor dem Einschecken gefixt werden. Die Ergebnisse werden automatisch mit dem zentralen Server synchronisiert und erlauben somit eine effiziente Verwaltung der Korrekturaktivitäten. Wenn ein Nutzer beispielsweise eine Warnung mit einer hohen Priorität einstuft, wird dies für seine Kollegen sichtbar. Ebenfalls können Ergebnisse von verschiedenen Analyseläufen verglichen werden.
Das CodeSonar-Eclipse-Plug-In wird im Spätsommer verfügbar sein. Kunden mit gültiger Softwarewartung erhalten das Plug-In ohne Zusatzkosten.
Die statische Codeanalyse von CodeSonar wird direkt aus Eclipse heraus gestartet werden können. Fehler können dadurch schon vor dem Einschecken gefixt werden. Die Ergebnisse werden automatisch mit dem zentralen Server synchronisiert und erlauben somit eine effiziente Verwaltung der Korrekturaktivitäten. Wenn ein Nutzer beispielsweise eine Warnung mit einer hohen Priorität einstuft, wird dies für seine Kollegen sichtbar. Ebenfalls können Ergebnisse von verschiedenen Analyseläufen verglichen werden.
Das CodeSonar-Eclipse-Plug-In wird im Spätsommer verfügbar sein. Kunden mit gültiger Softwarewartung erhalten das Plug-In ohne Zusatzkosten.
GrammaTech erhält für über acht Millionen US-Dollar Forschungsaufträge
(Ithaca, New York/USA, 22. April 2013)
In den letzten vier Monaten hat GrammaTech acht Vorschläge eingereicht, von denen sechs bereits ausgewählt worden sind. Die Entscheidung über die beiden anderen Projekte steht noch aus.
"Die Auswahl unterstreicht den Erfolg und die Stärke des GrammaTech-Forschungs-Teams und deren Experten für automatische Code-Analyse, die zur Weltklasse gehören", erklärt Tim Teitelbaum, GrammaTech-CEO und emeritierter Professor des Cornell Computer Science Departments. "Wir haben kürzlich eine neue Filiale in Madison (Wisconsin) eröffnet und unsere Teams in Ithaca und New York City verstärkt.".
Das Ergebnis der Forschung sind Werkzeuge, die von Softwareentwicklern in aller Welt zum Aufdecken von kritischen Fehlern und Sicherheitslücken in deren Quellcode eingesetzt werden.
Verbesserungen in der Visualisierung bei CodeSonar®
(Ithaca, New York/USA, 26. Februar 2013)
Embedded World: Visualisierung der Softwarearchitektur mit Statischer Analyse
"Visualizing Program Structure with Static Analysis", Mittwoch 27.02.2013 ab 11h45.
Die Embedded World ist mit über 22.000 Besuchern aus 57 Ländern das weltweit größte Treffen der "embedded Community".
Informieren Sie sich über GrammaTech CodeSonar®:
GrammaTech Inc.: Halle 4 Stand 626
Verifysoft Technology GmbH: Halle 4 Stand 308
Beantragen Sie hier Ihre kostenlose Trialversion von GrammaTech CodeSonar.
Verifysoft wird Distributor für die statischen Codeanalysetools von GrammaTech
(Ithaca, New York/USA, Offenburg/Deutschland, 1. Februar 2013)
CodeSonar ist ein leistungsfähiges System für die Quellcodeanalyse. Da durchschnittlich etwa doppelt so viele kritische Defekte wie bei anderen statischen Codeanalysetools gefunden werden, wird CodeSonar insbesondere in sicherheitskritischen Projekten eingesetzt. So wird das Werkzeug in Luft- und Raumfahrt, Medizintechnik, Automotive und anderen sicherheits- und missionskritischen Projekten genutzt. CodeSonar ist beispielsweise bei Airbus, Boeing und der NASA erfolgreich im Einsatz.
Aus unternehmensstrategischen Gründen hatte Verifysoft den Distributionsvertrag mit dem bisherigem Partner f¨r statische Codeanalyse aus San Francisco nicht mehr verlängert. weitere Informationen