Skip to main content

Range Analysis of Binaries with Minimal Effort

Barrett, Edd and King, Andy (1992) Range Analysis of Binaries with Minimal Effort. In: Formal Methods for Industrial Critical Systems. Lecture Notes in Computer Science, 7437 . Springer, pp. 93-107. ISBN 978-3-642-32468-0. (doi:10.1007/978-3-642-32469-7_7) (KAR id:41116)

PDF (Range Analysis of Binaries with Minimal E?ffort) Author's Accepted Manuscript
Language: English
Click to download this file (436kB) Preview
[thumbnail of Range Analysis of Binaries with Minimal E?ffort]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL:


COTS components are ubiquitous in military, industrial and governmental systems. However, the bene?fits of reduced development and maintainance costs are compromised by security concerns. Since source code is unavailable, security audits necessarily occur at the binary level. Push-button formal method techniques, such as model checking and abstract interpretation, can support this process by, among other things, inferring ranges of values for registers. Ranges aid the security engineer in checking for vulnerabilities that relate, for example, to integer wrapping, uninitialised variables and bu?er over ows. Yet the lack of structure in binaries limits the e?ffectiveness of classical range analyses based on widening. This paper thus contributes a simple but novel range analysis, formulated in terms of linear programming, which calculates ranges without manual intervention.

Item Type: Book section
DOI/Identification number: 10.1007/978-3-642-32469-7_7
Subjects: A General Works
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Andy King
Date Deposited: 22 May 2014 10:24 UTC
Last Modified: 16 Nov 2021 10:16 UTC
Resource URI: (The current URI for this page, for reference purposes)
King, Andy:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.