Crosschecking Distributed Data to Detect Integer Overflow

Crosschecking Distributed Data to Detect Integer Overflow

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,...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Revista IEEE América Latina 2015-04, Vol.13 (4), p.1083-1089
Hauptverfasser: Zafra Saggioro, Luiz Felipe, Mendes Paisante, Vitor, Ernani Rodrigues, Raphel, Barbosa e Oliveira, Leonardo, Magno Quintao Pereira, Fernando
Format: Artikel
Sprache:eng
Schlagworte:
Americas
Buffer overflows
Distributed databases
Integers
Irrigation
Java
Layout
Messages
Range Analysis
Security
Software
Software Security
Statics Analysis
Strategy
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:1548-0992
1548-0992
DOI:10.1109/TLA.2015.7106361