DocumentCode
62527
Title
Crosschecking Distributed Data to Detect Integer Overflow
Author
Zafra Saggioro, Luiz Felipe ; Mendes Paisante, Vitor ; Ernani Rodrigues, Raphel ; Barbosa e Oliveira, Leonardo ; Quintao Pereira, Fernando Magno
Author_Institution
Univ. Fed. de Minas Gerais (UFMG), Belo Horizonte, Brazil
Volume
13
Issue
4
fYear
2015
fDate
Apr-15
Firstpage
1083
Lastpage
1089
Abstract
This paper presents a strategy to improve the integer range analysis on networked programs by taking advantage of a key characteristic. The integer range analysis is one strategy to detect integer overflow occurrences in programs. Even though this analysis can be applied to networked programs as-is, the proposed approach aims at taking advantage of the messages that programs send to each other to improve the integer range analysis.
Keywords
program diagnostics; security of data; crosschecking distributed data; integer overflow occurrence detection; integer range analysis; networked program; software security; Buffer overflows; Distributed databases; Irrigation; Java; Layout; Security; Software; Range Analysis; Software Security; Statics Analysis;
fLanguage
English
Journal_Title
Latin America Transactions, IEEE (Revista IEEE America Latina)
Publisher
ieee
ISSN
1548-0992
Type
jour
DOI
10.1109/TLA.2015.7106361
Filename
7106361
Link To Document