Ja és még elfelejtettem: a programozók bizony betartanak biztonsági alapelveket, például épp ezért találták fel annak idején az objektumorientált programozást. Például egy igy megirt programban az objektumok biztonságosan kezelik az adatokat egy másik objektum nem férhet ahhoz hozzá stb... és ennél már újabb modellek is vannak. De ezek csak azért felelnek hogy a programon belül helyesen müködjenek a folyamatok.De nincs az a módszer(a teljes tesztelésen kivül amikor mindenen megnézed ahogy #33 irta) amivel bárki is meg tudná elõre mondani hogy két ilyen módon megirt program nem fog e összeakadni.Ha egy oprendszerre felteszel egy drivert, lehet hogy mindkettõ jól van megirva, mégis elõfordulhat hogy pl keletkezik egy biztonsági rés, amit senkise láthatott elõre.