Microsofts udbyggede variant af programmeringssproget C – Checked C – er nu lagt ud som open source og skal tilbyde en hjælpende hånd til udviklere, så nogle af de mest almindelige fejl undgåes, allerede mens koden skrives.
I praksis skulle fejl som de, der ledte til Heartbleed- og Shellshock-sikkerhedshullerne, kunne opfanges, skriver InfoWorld.
C bliver blandt andet brugt til programmering af styresystemer og andre systemkomponenter. Derfor er fejl i lige netop C-koden noget, der kan give store problemer.
Midlet til at nå målet er her ‘bounds checking’, der bruges til at verificere, at dataen, der tilgåes, falder inden for de grænser, programmøren på forhånd har defineret. Den løsning er allerede indarbejdet i andre højniveausprog som Java og C#.
En udfordring ved dette er, at Checked C i praksis skal fungere med eksisterende kode. Det lover Microsoft, kan lade sig gøre. Eksisterende C-kode kan tilføjes de nye funktioner, når man alligevel ændrer i koden.