Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions

• Autores: Radu Rugina, Martin C. Rinard
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 27, Nº 2, 2005, págs. 185-235
• Idioma: inglés
• Texto completo no disponible (Saber más ...)