M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs | IEEE Conference Publication | IEEE Xplore

M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs


Abstract:

We present a refined segmentation abstract domain for the analysis of strings in the C programming language, properly extending the parametric segmentation approach to ar...Show More

Abstract:

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.
Date of Conference: 29-31 August 2018
Date Added to IEEE Xplore: 06 December 2018
ISBN Information:
Conference Location: Guangzhou, China

Contact IEEE to Subscribe

References

References is not available for this document.