G. Costantini, P. Ferrara and A. Cortesi.
Static Analysis of String Values

In Proceedings of the 13th International Conference on Formal Engineering Methods (ICFEM 2011), LNCS, Springer, Durham, United Kingdom, October 25-28, 2011

Final version: Pdf (216 KB)
Slides: Pdf (561 KB)

Abstract: In this paper we propose a unifying approach for the static analysis of string values based on abstract interpretation, and we present several abstract domains that track different types of information. In this way, the analysis can be tuned at diversified levels of precision and efficiency, and it can check various properties.

Keywords: Abstract interpretation, Static analysis,String values

Bibtex:

@inproceedings{CFC11,
  author = {Costantini, Giulia and Ferrara, Pietro and Cortesi, Agostino},
  title = {Static Analysis of String Values},
  booktitle = {Proceedings of the 13th International Conference on Formal Engineering Methods (ICFEM 2011)},
  year = {2011},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  month = {October},
}