1) Pokud jsem si všimnul, tak C toho moc neověřuje. Pokud použiji index za hranicí pole (což není technicky přesné, ve skutečnosti jde spíše o pointerovou aritmetiku), prostě zapíšu do paměti, kam nemám. Přesně tenhle typ chyb (plus strcpy) může za velké procento problémů dnešního světa IT, a přechod na managed jazyky dost pomůže.
3) Ověřit třeba návrh network stacku, nebo alokátoru u FS, jestli neobsahuje deadlock, je velmi záslužné. Samozřejmě drivery dnes píše každý idiot, a podle toho to vypadá :(. Ale jak jsem psal v jiném příspěvku, MS dodává nástroje pro statickou analýzu kódu driveru, plus Driver Verifier pro "škádlení" driveru za běhu (dynamická analýza).
E) Děkuji za informaci.
Názor k článku
Linspire a Microsoft: Další dva kamarádi
