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

By:

Material type: Text

TextLanguage: English Series: Publication details: Springer 2010Edition: Description: xxii, 300pISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Barcode
Books	Central Library	005.435 SIM(VAL) (Browse shelf(Opens below))	1	Available	12685

Total holds: 0

Previous					No cover image available			Next
Previous	005.432 STE(ADV) Advanced programming in the UNIX environment	005.432 SUE(COM) CompTIA Linux+ and LPIC practice tests : exams LX0-103/LPIC-1 101-400, LX0-104/LPIC-1 102-400, LPIC-2 201, and LPIC-2 202	005.434 HER(ART) The art of multiprocessor programming	005.435 SIM(VAL) Value-range analysis of C programs: towards proving the absence of buffer overflow vulnerabilities	005.435 WES(SQU) Squid : the definitive guide	005.437 BUX(SKE) Sketching user experiences : getting the design right and the right design	005.44 SIN(DIS) Distributed operating systems : concepts and design	Next

SAR/13/2010/ dt.29-05-10

There are no comments on this title.

to post a comment.