Tipo sauga yra kompiuterio programavimo dalis, padedanti išvengti klaidų, atsirandančių paleidžiant programą, kūrimo. Jei tipo sauga yra silpna, tada yra didelė tikimybė, kad atsiras klaidų, kurios gali sukelti įvairių klaidų. Dažniausias būdas užtikrinti, kad šios klaidos neatsirastų, yra naudoti stiprų kodavimą. Nors daugelis programavimo kalbų iš prigimties turi funkcijas, užtikrinančias programavimo tikslumą ir užkirsti kelią klaidoms, dėl prasto kodavimo šios funkcijos gali būti bejėgės. Yra du būdai, kaip programavimo kalba gali patikrinti šias klaidas – statines arba dinamines – ir abu gali būti veiksmingi.
Klaidos yra dažnos programose ir kodavime, o dėl tipo saugos klaida atsiranda dėl skirtingų duomenų tipų, kurie nėra tinkamai reguliuojami. Klaidos, kurios gali atsirasti, svyruoja nuo vardinių iki rimtų, tačiau dažniausiai jos būna rimtos. Tai gali išjungti programą arba prastas kodavimas gali sukelti dar daugiau problemų, dėl kurių kodavimas gali būti nenaudingas ir suskaidytas.
Yra daug būdų, kaip užtikrinti tipo saugą, tačiau vienas iš paprastesnių ir labiau paplitusių būdų yra stipraus tipo kodavimas. Skirtingai nuo švelnesnių kodavimo metodų, dėl kurių programavimo kalba gali netinkamai apibrėžti nepatogų kodavimą, stipraus tipo kodavimas yra labai tiesioginis. Stipraus tipo kodavimui taip pat taikomos taisyklės ir reglamentai, siekiant užtikrinti, kad kodavimas nebūtų netinkamai apibrėžtas ir kad būtų nedaug klaidų.
Tipo saugos pažeidimas gali sukelti didelių problemų, todėl daugelis programavimo kalbų pritaikė funkcijas, skirtas išbandyti ir pašalinti šias problemas arba įspėti programuotojus apie jas. Prieš pradedant programavimą, kalba patikrins, ar nėra įprastų klaidų, ir paprastai nutraukia vykdymo laiką, jei aptinkama klaidų. Tuo pačiu metu šios funkcijos gali būti nenaudingos, jei programuotojas sukuria labai prastą kodavimą. Kalba negalės atpažinti įprastų tipo saugos ženklų, todėl programa veiks, net jei ir yra klaida.
Yra du būdai, kaip nustatyti galimas tipo saugos problemas, ir jie taikomi tik programavimo kalboms, kurios automatiškai tikrina, ar nėra klaidų. Statiniai metodai tiesiog ieško bendrų problemos požymių, kai programa pradeda veikti. Kitas metodas, dinaminis, kruopščiai patikrina kodą ir ieško kiekvieno kodavimo elemento vaidmens kietųjų dalelių programoje. Tada ji ieško visoje programoje, kad sužinotų, ar nėra specialių kodavimo išimčių, kurios gali būti klaida, ir tada leidžia ją perduoti arba sustabdo programos paleidimą.