Conference paper Open Access

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

Minseok Jeon; Myungho Lee; Hakjoo Oh

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.

Files (8.0 GB)
Name Size
Graphick.zip
md5:0b312499a3a93d8f44f6c3b0d45954fa 		8.0 GB Download
LICENSE
md5:b0645d6090063f01b740588bf3d6a2dd 		1.2 kB Download
README.md
md5:4400aa4bc39b89fde583f81302210e0f 		1.2 kB Download
166
52
views
downloads
All versions This version
Views 166166
Downloads 5252
Data volume 136.1 GB136.1 GB
Unique views 147147
Unique downloads 3838
More info on how stats are collected.
Indexed in
Publication date:
September 22, 2020
DOI:
10.5281/zenodo.4040341

Zenodo DOI Badge

DOI 

10.5281/zenodo.4040341

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4040341.svg)](https://doi.org/10.5281/zenodo.4040341)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4040341.svg
   :target: https://doi.org/10.5281/zenodo.4040341

HTML 

<a href="https://doi.org/10.5281/zenodo.4040341"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4040341.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4040341.svg

Target URL 

https://doi.org/10.5281/zenodo.4040341

License (for files):
MIT License

Versions

Version 1 10.5281/zenodo.4040341 Sep 22, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4040340. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export