Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities
Record details
- ISBN: 9781848000179
- Physical Description: online resource.
- Publisher: London : Springer London, 2008.
Search for related items by subject
Subject: | Computer science. Software engineering. Logic design. Electronic data processing. Computer Science. Logics and Meanings of Programs. Software Engineering. Numeric Computing. |