Linuxtrent: Re: Perche passare alla 2.2.19
- From: Matteo Ianeselli <ianezz@xxxxxxxxxx>
- To: linuxtrent@xxxxxxxxxxxxxxxxx
- Date: Thu, 19 Apr 2001 10:25:21 +0200
Diaolin (Natali Giuliano) writes:
> Bestia!
> Diaolin
Beh, ti ricordi quel mio messaggio di qualche tempo fa riguardo a un
gcc modificato per permettere di effettuare controlli statici sul
codice (tipo definire una serie di condizioni che devono sempre essere
vere per poi esaminare i possibili percorsi all'interno del codice per
vedere se vengono violate)?
Una buona parte di questi errori li hanno trovati proprio grazie a
quell'attrezzo (e tra l'altro sono stati corretti anche nei 2.4.x) con
una serie di regole ad hoc per i vari pezzi del kernel. Sicuramente
aiuta ad individuare situazioni sospette, che poi possono essere
analizzate piu` a fondo.
Se l'uso dell'attrezzo in questione diventera` popolare (cosa peraltro
quasi certa), e` molto probabile che si riesca a trovarne ancora una
bella dose.
--
UNIX diapers by Pannolini USPTO 2039887 http://www.uspto.gov
Matteo Ianeselli ianezz AT sodalia.it (+39) 0461 316452
Visita il LinuxTrent: http://linuxtrent.grinta.net
--
Per iscriversi (o disiscriversi), basta spedire un messaggio con SOGGETTO
"subscribe" (o "unsubscribe") a mailto:linuxtrent-request@xxxxxxxxxxxxxxxxx
Other related posts:
- » Linuxtrent: Re: Perche passare alla 2.2.19