Ada und Spark: Mehr Sicherheit durch bessere Programmiersprachen

Viele Sicherheitslücken in Software sind auf Programmierfehler zurückzuführen. Diese Fehler lassen sich aber vermeiden - und zwar unter anderem durch die Wahl einer guten Programmiersprache. Ada und Spark gehören dazu, leider sind sie immer noch wenig bekannt.

Artikel von Johannes Kanig veröffentlicht am
Spark ist eine Teilmenge von Ada.
Spark ist eine Teilmenge von Ada. (Bild: Pixabay)

Es klingt auf den ersten Blick unwahrscheinlich, ist aber wahr: Die Wahl der Programmiersprache hat maßgeblichen Anteil daran, ob Fehler passieren. Gerade bei systemnaher Programmierung wie bei Mozilla und Embedded-Programmierung wie bei Nvidia können Softwarefehler viel Schaden anrichten. Mozilla verwendet für seine neue Rendering-Engine Rust, Nvidia für bestimmte Firmware-Elemente Ada und Spark. Warum haben sie sich für diese Sprachen entschieden statt etwa für Haskell oder Kotlin? Vor allem, weil Rust und Ada anders als die beiden anderen ohne Virtual Machine und Garbage Collector auskommen. Rust haben wir schon in einem früheren Artikel auf Golem.de vorgestellt, jetzt ist Ada dran.


Weitere Golem-Plus-Artikel
Framework: Cross-Plattform mit Tauri
Framework: Cross-Plattform mit Tauri

Tauri ist ein besonders flexibles Framework, um Anwendungen auf verschiedene Plattformen zu bringen. Wir erklären, was es kann, schauen unter die Haube und implementieren auch gleich eine erste Anwendung.
Von Fabian Deitelhoff


Energiewende: Wie das Stromnetz der Zukunft aussehen muss
Energiewende: Wie das Stromnetz der Zukunft aussehen muss

Der Umstieg auf erneuerbare Energiequellen funktioniert nur, wenn das Stromnetz ausgebaut und digitalisiert wird. Wie die Infrastruktur in Zukunft aussehen muss.
Eine Analyse von Gerd Mischler


Virtualisieren mit Windows, Teil 2: In Hyper-V eine VM erstellen und konfigurieren
Virtualisieren mit Windows, Teil 2: In Hyper-V eine VM erstellen und konfigurieren

Hyper-V ist eine gute Lösung, um mehrere VMs auf einem Rechner zu betreiben. Wir stellen es in einer dreiteiligen Reihe im Detail vor. In Teil 2 geht es um das Erstellen einer VM.
Eine Anleitung von Holger Voges


    •  /