We present a refined segmentation abstract domain for the analysis of strings in the C programming language, properly extending the parametric segmentation approach to array representation introduced by P. Cousot et al. to the case of text values. In particular, we capture the so-called string of interest of an array of char, in order to distinguish well-formed string arrays. A concrete and abstract semantics of the main C header file string.h functions are worked out in full detail.
Autori: | OLLIARO, MARTINA (Corresponding) |
Data di pubblicazione: | 2018 |
Titolo: | M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs |
Titolo del libro: | Proceedings of the IEEE 12th International Symposium on Theoretical Aspects of Software Engineering TASE 2018 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1109/TASE.2018.00009 |
Appare nelle tipologie: | 4.1 Articolo in Atti di convegno |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
Tase2018_Olliaro.pdf | preprint TASE | Documento in Pre-print | Accesso gratuito (solo visione) | Riservato |
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.