Logikens lagar avlusar C och C++

Trustinsofts utvecklingsverktyg använder formella metoder, matematik, för att avgöra huruvida det finns några buggar i din kod eller inte.

Franska Trustinsoft letar efter fler kunder inom fordonsbranschen för sitt statiska kodgranskningsverktyg Analyzer. Det är ett område där du behöver kunna garantera att koden inte innehåller buggar som äventyrar cybersäkerhet och personsäkerhet, påpekar Trustinsoft.

Sedan tidigare har Trustinsoft kunder som arbetar med kritiska system inom telekom, IoT och halvledarproduktion.

Det finns att antal approacher för att kvalitetsgranska kod. Trustinsoft levererar matematiska bevis. Andra kanske testar en funktion med en miljon slumpmässigt utvalda indata och ser om utdata stämmer. Det är bättre än inget, men inget bevis.

Kod som använder odefinierade beteenden kan ofta ändå fungera. Men om programmet plötsligt presenteras för ovanliga indata – kanske i en medveten cyberattack – kan det locka fram ett oväntat beteende som öppnar ett säkerhetshål.

Med hjälp av Trustinsoft kunde en ensam utvecklare göra fyra personers jobb, med bättre resultat, i en utvärdering som en kund inom flygområdet gjorde.

Verktygen bygger på franska forskningsresultat.

– Frankrike är känt för att vara framstående inom logikområdet, säger företagets coo Caroline Guillaume

Företaget grundades 2013, tog in investeringspengar 2020 och har idag ett drygt 40-tal anställda.

Det som Trustinsoft lyfter fram under mässan är två nya kunder inom autonoma fordon: japanska Esol och fransktyska Easymile. Den förra är känd för realtidsoperativsystemet och hypervisorn Emcos. Det är i vidareutvecklingen av dem som Esol ska använda ska använda Trustinsoft – för att säkra kodkvaliteten.

Easymile utvecklar mjukvara för diverse självkörande fordon, som skyttelbussar och dragtraktorer.

Trustinsoft stöder C och C++. Nästa mål är Java. Bland de idag knappt 20 kunderna finns biltillverkaren Mitsubishi och en organisation inom den franska kärnkraftsindustrin.

JAN TÅNGRING jan@etn.se