Szerintem nem lenne egyszerűbb... a szoftver verifikáció messze el van maradva attól a komplexitástól, amit ma egy átlagos felhasználói program GUI-val és mindennel képvisel. Kb az italautomata-vezérlő bonyolultságú projekteket lehet teljes egészében verifikálni, különben kezelhetetlen méretű állapotterekkel találja szembe magát az ember. Egyszerűsíteni kell a feltételeket, hogy hatékonyabban lehessen verifikálni, de innentől kezdve máris teret nyitunk annak a bizonyos "jó ötletnek", amire a fejlesztők nem is gondoltak és amivel megintcsak megkerülhetővé válnak a biztonsági intézkedések.
Gondolj bele, hogyan nyitották ki az Xbox360 DRM rendszerét... gyakorlatilag nem is volt kihasználható hiba a bootloader DRM rendszerben (a Microsoft elképszető erőforrásokat ölt bele, hogy ne legyen), csak éppen a CPU-nak volt egy olyan kevéssé ismert feature-je, amire a fejlesztők nem gondoltak. Így is azt hiszem 10 hónapba került megtalálni és kifejleszteni a "modchip-mentes" exploitot hozzá.
UPDATE: sajnos nem találtam meg azt a videót, amiben eredetileg ezt a CPU mode-alapú hacket Michael Steil elmagyarázta, ugyan a linkelt videóban is szó van róla, de talán a másikban jobban el van magyarázva.
---
Internet Memetikai Tanszék