Cleanness checking of string manipulations in C programs via integer analysis (2001)
by
Nurit Dor
,
Michael Rodeh
,
Mooly Sagiv
| Venue: | In The 8th International Static Analysis Symposium |
| Citations: | 35 - 1 self |
BibTeX
@INPROCEEDINGS{Dor01cleannesschecking,
author = {Nurit Dor and Michael Rodeh and Mooly Sagiv},
title = {Cleanness checking of string manipulations in C programs via integer analysis},
booktitle = {In The 8th International Static Analysis Symposium},
year = {2001},
pages = {194--212},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
1
