Capturing and Manipulating Context-sensitive Program Information

Designers of context-sensitive program analyses need to take special care of the memory consumption of the analysis results. In general, they need to sacrifice accuracy to cope with restricted memo ...