Hinter dem Akronym verbirgt sich eine Library für die statische Codeanalyse auf Basis abstrakter Interpretation. Sie steht Entwicklern nun quelloffen bereit.
Umsatz in Höhe von 4,1 Milliarden Euro bedeutet Minus von 3,9 Prozent: 70 Prozent der gekauften Geräte sind größer als 45 Zoll, OLEDs sind gefragt
Kaum sind in der Schweiz die neuen 5G-Frequenzen versteigert, wird auch schon der erste Teilstart bekannt. Bereits im März soll es losgehen.
Das einflussreiche US-Verbrauchermagazin Consumer Reports nimmt das Tesla Model 3 von seiner Liste empfehlenswerter Autos. Die Aktie verliert vier Prozent.
Bei vom Abgasbetrug betroffenen Dieselautos ist die illegale Abschalteinrichtung als Sachmangel einzustufen. Das hat der BGH in einem Beschluss klargestellt
Wenn die Gerichte nicht noch für Verzögerungen sorgen, soll die Auktion der 5G-Frequenzen am 19. März beginnen.
Die EU-Kommission sieht einen möglichen Verstoß von Telefónica bei der Übernahme von E-Plus. Das könnte richtig teuer werden.
Der zweite IT-Sicherheitstag befasst sich vor allem mit der Frage, ob nachhaltige IT-Sicherheit für Unternehmen möglich ist.
Die USA werden keine streng geheimen Informationen mit Verbündeten austauschen, die Netzwerk-Technik von Huawei einsetzen, erklärt der US-Außenminister.
Die Entwicklungsumgebung hat eine verbesserte UI für den Clang-Analyzer an Bord. Auch die LSP-Anbindung hat das Team erweitert.