PAClab: a program analysis collaboratory

Rebecca Brunner, Robert Dyer, Maria Paquin, Elena Sherman

Abstract

We present a web-based Program Analysis Collaboratory (PAClab) tool that helps researchers to obtain realistic program benchmarks using user-defined selection criteria. Based on selection criteria, PAClab identifies relevant projects and its programs from open-source repositories, obtains those programs, and if necessary performs sound program transformations to adapt them to the targeted verification tool. PAClab makes the resulting program benchmarks available for download. PAClab is designed as a scalable, modular, and parametrizable tool that takes advantage of a computer cluster to handle multiple user requests.

BibTeX

@inproceedings{Brunner-al:FSE20,
  author    = {Rebecca Brunner and
               Robert Dyer and
               Maria Paquin and
               Elena Sherman},
  title     = {{PAClab:} a program analysis collaboratory},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {1616--1620},
  publisher = {{ACM}},
  year      = {2020},
}

PAClab: a program analysis collaboratory

Abstract

Related papers