Context Debloating for Object-Sensitive Pointer Analysis

We Introduce a new approach, Conch, for debloating contexts for all the object-sensitive pointer analysis algorithms developed for object-oriented languages, where the calling contexts of a method are distinguished by its receiver objects. Our key insight is to approximate a recently proposed set of...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] S. 79 - 91
Hauptverfasser:	He, Dongjie, Lu, Jingbo, Xue, Jingling
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.11.2021
Schlagworte:	Approximation algorithms Cognition Debloating Java Object Sensitivity Pointer Analysis Receivers Software engineering
ISSN:	2643-1572
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!