Staff View: Value-range analysis of C programs

Value-range analysis of C programs towards proving the absence of buffer overflow vulnerabilities

Saved in:

Bibliographic Details
Main Author:	Simon, Axel (Author)
Format:	eBook
Language:	English
Published:	London : Springer, c2008
Subjects:	C (programovací jazyk) paměť (výpočetní technika) C (computer program language) computer storage elektronické knihy electronic books
ISBN:	9781848000179
Physical Description:	xxii, 300 s. : il.


LEADER	01654nam a2200433 a 4500
001	55730
003	CZ ZlUTB
005	20240911205850.0
006	m d
007	cr cn
008	100426s2008 xxk s 000 0 eng d
999			\|c 55730 \|d 55730
020			\|a 9781848000179 \|q (online)
024	7		\|a 10.1007/978-1-84800-017-9 \|2 doi
040			\|a ZLD002 \|b cze
072		7	\|a 004.4/.6 \|x Programování. Software \|2 Konspekt \|9 23
080			\|a 004.438C \|2 MRF
080			\|a 004.33 \|2 MRF
080			\|a (0.034.2:08) \|2 MRF
100	1		\|a Simon, Axel \|7 utb2010570114 \|4 aut
245	1	0	\|a Value-range analysis of C programs \|h [elektronický zdroj] : \|b towards proving the absence of buffer overflow vulnerabilities / \|c Axel Simon
260			\|a London : \|b Springer, \|c c2008
300			\|a xxii, 300 s. : \|b il.
500			\|a Název z titulní obrazovky
504			\|a Obsahuje bibliografii
506			\|a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity
533			\|a Elektronická reprodukce
538			\|a Způsob přístupu: World Wide Web
650	0	7	\|a C (programovací jazyk) \|7 ph116955 \|2 czenas
650	0	7	\|a paměť (výpočetní technika) \|7 ph136822 \|2 czenas
650	0	9	\|a C (computer program language) \|2 eczenas
650	0	9	\|a computer storage \|2 eczenas
655		7	\|a elektronické knihy \|7 fd186907 \|2 czenas
655		9	\|a electronic books \|2 eczenas
856	4	0	\|u https://proxy.k.utb.cz/login?url=https://doi.org/10.1007/978-1-84800-017-9 \|y Plný text
910			\|a ZLD002
942			\|2 udc
992			\|a BK \|b SK \|c SPRINGER
993			\|x NEPOSILAT \|y EIZ