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...

Full description

Bibliographic Details

Published in:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] pp. 79 - 91
Main Authors:	He, Dongjie, Lu, Jingbo, Xue, Jingling
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.11.2021
Subjects:	Approximation algorithms Cognition Debloating Java Object Sensitivity Pointer Analysis Receivers Software engineering
ISSN:	2643-1572
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!