Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features - Myungho Lee; Hakjoo Oh; Minseok Jeon (Zenodo, 2020)
Graphick Graphick is a new technique for automatically learning graph-based heuristics for pointer analys. We implemetned Graphick on top of Doop and used it to learn graph-based heuristics for object sensitivity and heap abstraction. This is the artifact (VirtualBox image) of our technique Graphick in the paper "Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features". For more details, please read our paper.
Keywords: mit