Artifact for ICSE-22 submission "Fast and Precise Application Code Analysis using a Partial Library"
Creators
Description
This artifact contains two compressed files for the code and the detailed experimental results. It also contains the Virtualbox VM image that can be used to reproduce the experiments in the paper.
The benchmark set used is the publicly available NJR-1 dataset (https://doi.org/10.5281/zenodo.4839913)
Code
The Readme file in the code details instructions on how to use the tool on a jar-file or run it on the entire benchmark-set and reproduce the experimental results.
Results
The results for the null-pointer and cast-check are included. There is one folder of results for every experiment conducted. The 'final_result_stats' folder in each of these summarizes the results for each experiment.
The file 'benchmarks_skipped.txt' lists the set of NJR-1 benchmarks skipped (the reason is detailed in the paper) for the experiments in the paper.
Files
INSTALL.txt
Files
(9.7 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:bda24084915dc05bc76d2f192a68b751
|
489.8 kB | Download |
|
md5:d77777ea8bc4f6b7968ba08bdc1c6c4b
|
3.6 MB | Download |
|
md5:afe59f9900c8c46d64e3f248057ebb5e
|
9.7 GB | Download |
|
md5:515f3ca521d2ceab7f925b40c01a1c0f
|
46 Bytes | Preview Download |
|
md5:8c3a5880ef26385cbb37fe31e13d65d4
|
1.6 kB | Download |
|
md5:602271c4f0a6c2f7c63972cdea2fd42f
|
759.9 kB | Preview Download |
|
md5:594bcb3930c077111bd6cb8aeeb840a5
|
12.4 kB | Preview Download |
|
md5:3948f7b81760a450921fd3b04b2865d9
|
158 Bytes | Preview Download |
|
md5:e8bd2d6e71b9a66cb04da8664dacef5d
|
424 Bytes | Preview Download |