PredatorHP攻击区间大小的区域
软件工程
2019-09-17 v1
摘要
本文简要描述了PredatorHP（Predator Hunting Party）形状分析器的基本原理并介绍了其近期改进。最显著的变化之一是PredatorHP处理区间大小内存区域的方式，这对于处理大小未预先固定的数组特别有用。此外，本文刻画了PredatorHP在SV-COMP 2019中的参与情况，指出了其优势与弱点，以及它们受工具最新变化影响的方式。
引用
@article{arxiv.1909.07152,
title = {PredatorHP Attacks Interval-Sized Regions},
author = {Michal Kotoun and Petr Peringer and Veronika Šoková and Tomáš Vojnar},
journal= {arXiv preprint arXiv:1909.07152},
year = {2019}
}
备注
System description for contribution to Software Verification Competition SV-COMP'19