Google stapt geleidelijk over naar Java en Rust: 'C++ wordt geen veilige taal'
Google gaat in de toekomst steeds vaker gebruikmaken van programmeertalen zoals Java, Rust en Go, die meer veiligheidsgaranties bieden dan C++, dat nu op grote schaal wordt gebruikt. Het techbedrijf spreekt over honderden miljoenen regels C++-code waar actief gebruik van wordt gemaakt en in ontwikkeling is. "Deze grote bestaande codebase zorgt voor grote uitdagingen bij een transitie naar memory safety", aldus Alex Rebert van Google.
Onlangs riep het Witte Huis softwareleveranciers en programmeurs op om 'memory safe' programmeertalen te gebruiken. Memory safety kwetsbaarheden, zoals buffer overflows, kunnen grote gevolgen hebben en worden op grote schaal gebruikt bij het aanvallen van systemen. Voorbeelden van memory unsafe programmeertalen zijn C en C++. Het Witte Huis ziet dan ook graag dat er meer gebruik wordt gemaakt van 'memory safe' talen zoals Rust.
Dat is volgens Google geen eenvoudige opgave, mede vanwege het grootschalige gebruik van C++. "We zien geen realistisch pad waarbij C++ evolueert tot een taal met strenge memory safety garanties die temporal safety bevatten", merkt Rebert op. Ook is het herschrijven van alle bestaande C++-code in een andere, memory safe programmeertaal zeer lastig en onpraktisch. Voor nieuwe code wil Google dan ook geleidelijk overstappen op Java, Rust en Go.
"We weten dat memory safe programmeertalen niet alle kwetsbaarheden verhelpen", laat Rebert weten. "Maar het verwijderen van hele klassen aan exploits komt meteen ten goede aan softwaregebruikers en geeft ons de mogelijkheid om andere klassen kwetsbaarheden aan te pakken."
However, Rust has a second language hidden inside it that doesn’t enforce these memory safety guarantees: it’s called unsafe Rust and works just like regular Rust, but gives us extra superpowers.
En daar ligt het probleem met programmeren je kan de taal nog zo veilig maken als de gebruiker dat negeert heb je niks aan dat predikaat. Naast dat er low level systems zijn (wat ook toegelicht wordt door hun zelf) wat het vereist maakt.
En dit soort loopholes vind je in bijna alle talen terug.
Ik heb overigens zelf ook een aantal C++ apps op mijn telefoon.
Dat haalt ook zeker niets uit als je de code op front- en back-end maar laat "voort rotten".
Wie de beslissingen nemen, zijn niet diezelfde lieden, die ze door moeten voeren of er verstand van hebben.
En zo modderen we maar voort en verder.
De aanvaller heeft aan een klein geheugengaatje genoeg, de verdediging zal over de hele linie moeten gelden.
luntrus
In de veilige modus van de taal geldt een heel simpele regel: elke referentie verwijst naar geldig geheugen. Als dat niet zo blijkt te zijn dan is dat geen ontwerpfout, want die regel is heel recht voor zijn raap, maar een implementatiefout, de compiler houdt zich niet aan zijn eigen ontwerpregel. Dat kan men in de volgende release van de compiler oplossen zonder het ontwerp van de taal aan te passen.
Daarnaast is er een goede application sandbox.
Het google Google Security Engineering Technical Report hierover gooit Java en Kotlin op één hoop als 'JVM languages' (Java, Kotlin).
Je moet management summaries die een paar bekende voorbeelden noemen niet beschouwen als een uitputtende en exclusieve lijst - en je dan gaan afvragen waarom taal Y/Z/W niet ook genoemd staan.
FBI en NSA houden zich bezig met de nationale veiligheid van de VS, en we leven in een tijd dat fouten in software een forse impact hebben op die veiligheid. Het is vanuit dat perspectief niet raar dat zij ontwikkelaars oproepen om aan te haken bij waar andere ontwikkelaars allang actief mee bezig zijn.
Klopt. Hoewel het doel van java (of in elk geval de push erachter) beloofde 'write once, run anywhere' dankzij het runnen in een jvm - java virtual machine in plaats van op tig verschillende CPUS.
Dat een taal-ontwerper in de jaren 90 probeert inmiddels bekende nadelen van oudere talen te vermijden is logisch, en het probleem van memory-unsafe was wijd en zijd bekend. Ook zonder security , "core dump" na null pointer access was welbekend en gehaat.
Er zijn eerder talen ontwikkeld vanuit een bepaalde filosofie (functional programming - Lisp, Haskell), of om extra geschikt te zijn voor probleem domeinen (4GL) , voor parallel programming (occam), voor beginners (basic, logo) - en soms om extra veilig te zijn - Ada .
Ada was een sponsor/ontwikkeld verzoek door DoD .
FBI en NSA houden zich bezig met de nationale veiligheid van de VS, en we leven in een tijd dat fouten in software een forse impact hebben op die veiligheid. Het is vanuit dat perspectief niet raar dat zij ontwikkelaars oproepen om aan te haken bij waar andere ontwikkelaars allang actief mee bezig zijn.
Natuurlijk - ze hebben ook een missie om "de VS" veilig te houden, en vergelijkenderwijs is de VS kwetsbaarder voor digitale verstoring dan een 'primitief' land als Noord Korea.
Je bent niet ingelogd en reageert "Anoniem". Dit betekent dat Security.NL geen accountgegevens (e-mailadres en alias) opslaat voor deze reactie. Je reactie wordt niet direct geplaatst maar eerst gemodereerd. Als je nog geen account hebt kun je hier direct een account aanmaken. Wanneer je Anoniem reageert moet je altijd een captchacode opgeven.
Ketenregisseur Gedigitaliseerde Criminaliteit en Cybercrime
Ben jij er klaar voor om de leiding te nemen in het bevorderen van de regionale samen-werking in de strijd tegen gedigitaliseerde criminaliteit en cybercrime? Samen met collega's, politie en regionale en landelijke partners? Dan is de dynamische rol van Ketenregisseur Gedigitaliseerde Criminaliteit en Cybercrime bij het Regionaal Samenwerkingsverband Integrale Veiligheid (RSIV) jouw op het lijf geschreven!
Digital Designer
Ben jij een Grafisch vormgever, UI-designer, Game-artist of gewoon een ‘self-proclaimed creative genius’, die op zoek is naar een leuke en uitdagende baan waarin je al je creativiteit kwijt kan?Je werkt samen met onze developers en UI/UX-designer aan onze Gamified Cybersecurity Challenges welke jij voorziet van de mooiste designs.
Cyber Security Trainer
"You know that feeling after you have been to the cinema and seen an exciting movie? It's the same after this training. I can only say that this is probably the BEST TRAINING that I've ever done!!!”
Are you ready for a challenge?
Senior Full Stack Developer
Als full stack developer bij Certified Secure maak je de mooiste cybersecurity challenges die onze deelnemers wereldwijd uitdagen en inspireren. Alle challenges zijn gebaseerd op actuele kwetsbaarheden, je komt dus telkens nieuwe technieken tegen, van machine learning tot web assembly, van Swift UI tot GCP.