|
Descripción
|
|
|---|---|
| Los lenguajes de programación con asignación dinámica de memoria, como Java o C ++, permiten crear y manipular estructuras de datos vinculados en el montón. Esta característica amenaza la mayoría de los enfoques de análisis estático, ya que es bastante difícil realizar un seguimiento en tiempo de compilación de las posibles configuraciones de tiempo de ejecución del montón. Una de las principales fuentes de pérdida de precisión en el análisis estático del montón es la posibilidad de que las estructuras de datos accesibles desde dos variables diferentes no sean disjuntas: en este caso, se dice que las variables comparten alguna parte del montón, es decir, hay ubicaciones de almacenamiento dinámico a las que se puede acceder desde ambos. Esta es una imagen bastante común en los lenguajes orientados a objetos que manipulan el montón . El problema para las técnicas de análisis estático surge del riesgo de que una modificación a una variable afecte la estructura de datos señalada por la otra, aunque esto no es directamente visible en el código fuente. Compartir análisistiene como objetivo demostrar que dos variables no se comparten para descartar la posibilidad de que una actualización de una rompa algunas propiedades interesantes de la otra. Esta información se ha utilizado con éxito en una serie de técnicas de análisis de programas y, de hecho, es uno de los componentes fundamentales de la mayoría de los enfoques para el análisis estático de lenguajes de manipulación de montón. En el artículo se presenta un análisis de intercambio que no está vinculado (como lo están muchos análisis de formas) a un conjunto predefinido de estructuras o formas de datos , y puede inferir información precisa sobre los campos involucrados en las rutas en el montón. | |
|
Internacional
|
Si |
|
JCR del ISI
|
Si |
|
Título de la revista
|
Journal of Logical and Algebraic Methods in Programming |
|
ISSN
|
2352-2208 |
|
Factor de impacto JCR
|
0,636 |
|
Información de impacto
|
|
|
Volumen
|
95 |
|
DOI
|
|
|
Número de revista
|
|
|
Desde la página
|
103 |
|
Hasta la página
|
127 |
|
Mes
|
SIN MES |
|
Ranking
|
|