Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features

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.