Vyhody/nevyhody Open Source SW

[Pavel Kankovsky]

On Mon, 15 Mar 2004, Jan Marek wrote:

> > 3. Automatizovane nastroje na hledani chyb, specialne tech bezpecnostnich,
> > co se uz pomalu (az bolestne pomalu) ale jiste objevuji, lze v principu
[...]
> Existuje neco takoveho i v OSS pod GPL (tedy snad krome knihoven
> hledajicich problemy s alokaci/odalokaci pameti)? Mohl byste
> uvest priklad?

Treba Splint (http://www.splint.org/).

Existuji i dalsi veci (ne nutne GPL), akorat si ted vybavuju jen takova
hesla/klicova slova: Extended Static Checking, MOPS, EauClaire. Mam dojem,
ze nekdo take delal neco postavene na theorem proveru Isabelle.

Pak jsou nektere mene sofistikovane programy, ktere proste v programu
vyhledavaji zname podezrele konstrukce (hlavne volani nebezpecnych
funkci). Matne si vzpominam na neco, co se jmenovalo ITS4 nebo tak nejak.

--Pavel Kankovsky aka Peak  [ Boycott Microsoft--http://www.vcnet.com/bms ]
"Resistance is futile. Open your source code and prepare for assimilation."