X-RA: uma análise de intervalos para programas em redes

=== This work 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...

Full description

Bibliographic Details
Main Author: Luiz Felipe Zafra Saggioro
Other Authors: Leonardo Barbosa e Oliveira
Format: Others
Language:Portuguese
Published: Universidade Federal de Minas Gerais 2015
Online Access:http://hdl.handle.net/1843/ESBF-9XYPU6

Similar Items