V programech psaných v jazyku C se často objevují chyby jako přetečení bufferů, přístup mimo hranice polí nebo špatné přetypování. Tyto chyby mohou mít i bezpečnostní dopady, protože mohou umožňovat čtení nebo zápis mimo určená místa. Firma Microsoft vytvořila projekt Checked C a nyní ho otevřela pod permisivní licencí MIT.
Checked C přidává statické a dynamické kontroly na zmíněné chyby. V praxi ho lze využít prostřednictvím upravených verzí clang a LLVM. „Checked C umožňuje programátorům lépe popsat, jak chtějí používat ukazatele a oblast paměti s daty, kam mají tyto ukazatele ukazovat,“ píše Microsoft na stránce projektu. „Tyto informace se potom využijí k přidání kontrol za běhu, aby se detekovaly chyby při přístupu k datům, namísto toho, aby k těmto chybám došlo tiše a bez detekce.“