Ezeken a készülékeken szoftverek futnak, melyek meghatározzák azok viselkedését. A szoftverek működését programfejlesztő szakemberek írják le ún. forráskódok formájában, melyek lényegében valamilyen programozási nyelven megfogalmazott szövegek, írásos alkotások. Mivel ezeket a szövegeket emberek írják, így időnként sajnos hibák is kerülnek bele.

Az előadás során betekintést nyújtunk a számítógép programozás világába, és hogy miért kerülhetnek a szoftverekbe időnként dollármilliós károkat okozó programhibák, melyek akár emberéleteket is követelhetnek. Megmutatjuk, hogy a forráskód gépi átvizsgálásával sok esetben azonosíthatók a kód veszélyes részei, megtalálhatók a túlságosan bonyolult részek és tetten érhetők a jellemzően rossz programozási megoldások, szokások.